default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eduardo Zambon
@article{DBLP:journals/dke/BatistaAZG22,
author = {Jeferson O. Batista and
Jo{\~{a}}o Paulo A. Almeida and
Eduardo Zambon and
Giancarlo Guizzardi},
title = {Ontologically correct taxonomies by construction},
journal = {Data Knowl. Eng.},
volume = {139},
pages = {102012},
year = {2022},
url = {https://doi.org/10.1016/j.datak.2022.102012},
doi = {10.1016/J.DATAK.2022.102012},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/BatistaAZG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/BatistaAZG21,
author = {Jeferson O. Batista and
Jo{\~{a}}o Paulo A. Almeida and
Eduardo Zambon and
Giancarlo Guizzardi},
editor = {Samira Si{-}Said Cherfi and
Anna Perini and
Selmin Nurcan},
title = {Building Correct Taxonomies with a Well-Founded Graph Grammar},
booktitle = {Research Challenges in Information Science - 15th International Conference,
{RCIS} 2021, Limassol, Cyprus, May 11-14, 2021, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {415},
pages = {506--522},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75018-3\_33},
doi = {10.1007/978-3-030-75018-3\_33},
timestamp = {Fri, 14 May 2021 14:57:36 +0200},
biburl = {https://dblp.org/rec/conf/rcis/BatistaAZG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/DominiciniVVVRM20,
author = {Cristina K. Dominicini and
Gilmar L. Vassoler and
Rodolfo V. Valentim and
Rodolfo da Silva Villa{\c{c}}a and
Mois{\'{e}}s R. N. Ribeiro and
Magnos Martinello and
Eduardo Zambon},
title = {KeySFC: Traffic steering using strict source routing for dynamic and
efficient network orchestration},
journal = {Comput. Networks},
volume = {167},
year = {2020},
url = {https://doi.org/10.1016/j.comnet.2019.106975},
doi = {10.1016/J.COMNET.2019.106975},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/DominiciniVVVRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/DominiciniVVVRM19,
author = {Cristina K. Dominicini and
Gilmar L. Vassoler and
Rodolfo V. Valentim and
Rodolfo da Silva Villa{\c{c}}a and
Mois{\'{e}}s R. N. Ribeiro and
Magnos Martinello and
Eduardo Zambon},
title = {KeySFC: Agile Traffic Steering using Strict Source Routing},
booktitle = {Proceedings of the 2019 {ACM} Symposium on {SDN} Research, {SOSR}
2019, San Jose, CA, USA, April 3-4, 2019},
pages = {154--155},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314148.3318048},
doi = {10.1145/3314148.3318048},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosr/DominiciniVVVRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZambonR18,
author = {Eduardo Zambon and
Arend Rensink},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Recipes for Coffee: Compositional Construction of {JAVA} Control Flow
Graphs in {GROOVE}},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {305--323},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_19},
doi = {10.1007/978-3-319-98047-8\_19},
timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ZambonR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/BaldiCZA18,
author = {Alessandro M. Baldi and
Patricia Dockhorn Costa and
Eduardo Zambon and
Jo{\~{a}}o Paulo A. Almeida},
editor = {Galina L. Rogova and
Christian Lebiere and
Odd Erik Gundersen and
Andrea Salfinger and
Ken Baclawski},
title = {Situations in Simulations: An Initial Appraisal},
booktitle = {{IEEE} Conference on Cognitive and Computational Aspects of Situation
Management, CogSIMA 2018, Boston, MA, USA, June 11-14, 2018},
pages = {90--96},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COGSIMA.2018.8423971},
doi = {10.1109/COGSIMA.2018.8423971},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsima/BaldiCZA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/ZambonG17,
author = {Eduardo Zambon and
Giancarlo Guizzardi},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Formal Definition of a General Ontology Pattern Language using a Graph
Grammar},
booktitle = {Proceedings of the 2017 Federated Conference on Computer Science and
Information Systems, FedCSIS 2017, Prague, Czech Republic, September
3-6, 2017},
series = {Annals of Computer Science and Information Systems},
volume = {11},
pages = {1--10},
year = {2017},
url = {https://doi.org/10.15439/2017F001},
doi = {10.15439/2017F001},
timestamp = {Tue, 23 Apr 2024 10:03:21 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/ZambonG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RensinkZ15,
editor = {Arend Rensink and
Eduardo Zambon},
title = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
2015},
series = {{EPTCS}},
volume = {181},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.181},
doi = {10.4204/EPTCS.181},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RensinkZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ZambonR14,
author = {Eduardo Zambon and
Arend Rensink},
title = {Solving the N-Queens Problem with {GROOVE} - Towards a Compendium
of Best Practices},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {67},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.67.938},
doi = {10.14279/TUJ.ECEASST.67.938},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ZambonR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Zambon13,
author = {Eduardo Zambon},
title = {Abstract Graph Transformation - Theory and Practice},
school = {University of Twente, Enschede, Netherlands},
year = {2013},
url = {http://eprints.eemcs.utwente.nl/22860/},
timestamp = {Tue, 02 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Zambon13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GhamarianMRZZ12,
author = {Amir Hossein Ghamarian and
Maarten de Mol and
Arend Rensink and
Eduardo Zambon and
Maria Zimakova},
title = {Modelling and analysis using {GROOVE}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {1},
pages = {15--40},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0186-x},
doi = {10.1007/S10009-011-0186-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GhamarianMRZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RensinkZ12,
author = {Arend Rensink and
Eduardo Zambon},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Pattern-Based Graph Abstraction},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {66--80},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_5},
doi = {10.1007/978-3-642-33654-6\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/RensinkZ12.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:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ZambonR11,
author = {Eduardo Zambon and
Arend Rensink},
title = {Using Graph Transformations and Graph Abstractions for Software Verification},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {38},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.38.560},
doi = {10.14279/TUJ.ECEASST.38.560},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ZambonR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/GalvaoZRWA11,
author = {Ism{\^{e}}nia Galv{\~{a}}o and
Eduardo Zambon and
Arend Rensink and
Lesley Wevers and
Mehmet Aksit},
editor = {Andy Sch{\"{u}}rr and
D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}}},
title = {Knowledge-Based Graph Exploration Analysis},
booktitle = {Applications of Graph Transformations with Industrial Relevance -
4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October
4-7, 2011, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7233},
pages = {105--120},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34176-2\_11},
doi = {10.1007/978-3-642-34176-2\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/agtive/GalvaoZRWA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4746,
author = {Arend Rensink and
Eduardo Zambon},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Solving the {TTC} 2011 Compiler Optimization Case with {GROOVE}},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {126--130},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.11},
doi = {10.4204/EPTCS.74.11},
timestamp = {Wed, 07 Dec 2022 23:01:02 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4754,
author = {Amir Hossein Ghamarian and
Maarten de Mol and
Arend Rensink and
Eduardo Zambon},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Saying Hello World with {GROOVE} - {A} Solution to the {TTC} 2011
Instructive Case},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {215--222},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.19},
doi = {10.4204/EPTCS.74.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RensinkZ10,
author = {Arend Rensink and
Eduardo Zambon},
title = {Neighbourhood Abstraction in {GROOVE}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {32},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.32.501},
doi = {10.14279/TUJ.ECEASST.32.501},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RensinkZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Zambon10,
author = {Eduardo Zambon},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Using Graph Transformations and Graph Abstractions for Software Verification},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {416--418},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_37},
doi = {10.1007/978-3-642-15928-2\_37},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Zambon10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RensinkZ09,
author = {Arend Rensink and
Eduardo Zambon},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {A Type Graph Model for Java Programs},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {237--242},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_18},
doi = {10.1007/978-3-642-02138-1\_18},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/RensinkZ09.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.
last updated on 2024-04-24 23:05 CEST 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:
