Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs159.bht:"
@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} }
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.