Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/graphitew:"
download as .bib file
@inproceedings{DBLP:journals/corr/BlancoBM14,
author = {Roi Blanco and
Paolo Boldi and
Andrea Marino},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Entity-Linking via Graph-Distance Minimization},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {30--43},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.4},
doi = {10.4204/EPTCS.159.4},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlancoBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DelzannoRT14,
author = {Giorgio Delzanno and
Arend Rensink and
Riccardo Traverso},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Graph- versus Vector-Based Analysis of a Consensus Protocol},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {44--57},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.5},
doi = {10.4204/EPTCS.159.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DelzannoRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FernandezKP14,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Strategic Port Graph Rewriting: An Interactive Modelling and Analysis
Framework},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {15--29},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.3},
doi = {10.4204/EPTCS.159.3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FernandezKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KantP14,
author = {Gijs Kant and
Jaco van de Pol},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Generating and Solving Symbolic Parity Games},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {2--14},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.2},
doi = {10.4204/EPTCS.159.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KantP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ManskyGG14,
author = {William Mansky and
Dennis Griffith and
Elsa L. Gunter},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Specifying and Executing Optimizations for Parallel Programs},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {58--70},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.6},
doi = {10.4204/EPTCS.159.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManskyGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SenniS14,
author = {Valerio Senni and
Michele Stawowy},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Backwards State-space Reduction for Planning in Dynamic Knowledge
Bases},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {84--99},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.8},
doi = {10.4204/EPTCS.159.8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SenniS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ziegert14,
author = {Steffen Ziegert},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Graph Transformation Planning via Abstraction},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {71--83},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.7},
doi = {10.4204/EPTCS.159.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ziegert14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BosnackiELW14,
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159},
doi = {10.4204/EPTCS.159},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BosnackiELW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Majster-CederbaumS13,
author = {Mila E. Majster{-}Cederbaum and
Nils Semmelrock},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Reachability in Cooperating Systems with Architectural Constraints
is PSPACE-Complete},
booktitle = {Proceedings 2nd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2013, Rome, Italy, March 24, 2013},
series = {{EPTCS}},
volume = {138},
pages = {1--11},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.138.1},
doi = {10.4204/EPTCS.138.1},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Majster-CederbaumS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/WijsBE13,
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Proceedings 2nd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2013, Rome, Italy, March 24, 2013},
series = {{EPTCS}},
volume = {138},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.138},
doi = {10.4204/EPTCS.138},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WijsBE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6411,
author = {Andreas Beckmann and
Jaroslaw Fedorowicz and
J{\"{o}}rg Keller and
Ulrich Meyer},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {A structural analysis of the {A5/1} state transition graph},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {5--19},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.4},
doi = {10.4204/EPTCS.99.4},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6412,
author = {Elise Cormie{-}Bowins},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {A Comparison of Sequential and {GPU} Implementations of Iterative
Methods to Compute Reachability Probabilities},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {20--34},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.5},
doi = {10.4204/EPTCS.99.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6413,
author = {Eduardo Zambon and
Arend Rensink},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Graph Subsumption in Abstract State Space Exploration},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {35--49},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.6},
doi = {10.4204/EPTCS.99.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6414,
author = {Gijs Kant and
Jaco van de Pol},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Efficient Instantiation of Parameterised Boolean Equation Systems
to Parity Games},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {50--65},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.7},
doi = {10.4204/EPTCS.99.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6415,
author = {Stefan Edelkamp and
Peter Kissmann and
{\'{A}}lvaro Torralba},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Lex-Partitioning: {A} New Option for {BDD} Search},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {66--82},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.8},
doi = {10.4204/EPTCS.99.8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-6118,
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99},
doi = {10.4204/EPTCS.99},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-16 23:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
