@article{DBLP:journals/jlap/PinoOMP24,
author = {Elvira Pino and
Fernando Orejas and
Nikos Mylonakis and
Edelmira Pasarella},
title = {A logical approach to graph databases},
journal = {J. Log. Algebraic Methods Program.},
volume = {141},
pages = {100997},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2024.100997},
doi = {10.1016/J.JLAMP.2024.100997},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/PinoOMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Stoltenow000LO24,
author = {Lara Stoltenow and
Barbara K{\"{o}}nig and
Sven Schneider and
Andrea Corradini and
Leen Lambers and
Fernando Orejas},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {Coinductive Techniques for Checking Satisfiability of Generalized
Nested Conditions},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {39:1--39:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.39},
doi = {10.4230/LIPICS.CONCUR.2024.39},
timestamp = {Fri, 30 Aug 2024 16:44:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/Stoltenow000LO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-16046,
author = {Nachum Dershowitz and
Jean{-}Pierre Jouannaud and
Fernando Orejas},
title = {Drag Rewriting},
journal = {CoRR},
volume = {abs/2406.16046},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.16046},
doi = {10.48550/ARXIV.2406.16046},
eprinttype = {arXiv},
eprint = {2406.16046},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-16046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-06864,
author = {Lara Stoltenow and
Barbara K{\"{o}}nig and
Sven Schneider and
Andrea Corradini and
Leen Lambers and
Fernando Orejas},
title = {Coinductive Techniques for Checking Satisfiability of Generalized
Nested Conditions},
journal = {CoRR},
volume = {abs/2407.06864},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.06864},
doi = {10.48550/ARXIV.2407.06864},
eprinttype = {arXiv},
eprint = {2407.06864},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-06864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/JouannaudO23,
author = {Jean{-}Pierre Jouannaud and
Fernando Orejas},
title = {Unification of drags and confluence of drag rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {131},
pages = {100845},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100845},
doi = {10.1016/J.JLAMP.2022.100845},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/JouannaudO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/NavarroOPL21,
author = {Marisa Navarro and
Fernando Orejas and
Elvira Pino and
Leen Lambers},
title = {A navigational logic for reasoning about graph properties},
journal = {J. Log. Algebraic Methods Program.},
volume = {118},
pages = {100616},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2020.100616},
doi = {10.1016/J.JLAMP.2020.100616},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/NavarroOPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchneiderLO21,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
title = {A logic-based incremental approach to graph repair featuring delta
preservation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {369--410},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00584-x},
doi = {10.1007/S10009-020-00584-X},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchneiderLO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LambersO21,
author = {Leen Lambers and
Fernando Orejas},
title = {Transformation rules with nested application conditions: Critical
pairs, initial conflicts {\&} minimality},
journal = {Theor. Comput. Sci.},
volume = {884},
pages = {44--67},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.07.023},
doi = {10.1016/J.TCS.2021.07.023},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LambersO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GuerraO20,
author = {Esther Guerra and
Fernando Orejas},
title = {Preface to the special issue on the 12th International Conference
on Graph Transformation},
journal = {J. Log. Algebraic Methods Program.},
volume = {115},
pages = {100576},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100576},
doi = {10.1016/J.JLAMP.2020.100576},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/GuerraO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/OrejasPN20,
author = {Fernando Orejas and
Elvira Pino and
Marisa Navarro},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Incremental Concurrent Model Synchronization using Triple Graph Grammars},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {273--293},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_14},
doi = {10.1007/978-3-030-45234-6\_14},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/OrejasPN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/SaadatHO20,
author = {Maryam Ghaffari Saadat and
Reiko Heckel and
Fernando Orejas},
editor = {Fabio Gadducci and
Timo Kehrer},
title = {Unfolding Symbolic Attributed Graph Grammars},
booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020,
Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12150},
pages = {75--90},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51372-6\_5},
doi = {10.1007/978-3-030-51372-6\_5},
timestamp = {Fri, 26 Jun 2020 10:05:13 +0200},
biburl = {https://dblp.org/rec/conf/gg/SaadatHO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LambersO20,
author = {Leen Lambers and
Fernando Orejas},
editor = {Fabio Gadducci and
Timo Kehrer},
title = {Initial Conflicts for Transformation Rules with Nested Application
Conditions},
booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020,
Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12150},
pages = {109--127},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51372-6\_7},
doi = {10.1007/978-3-030-51372-6\_7},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/LambersO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/JouannaudO20,
author = {Jean{-}Pierre Jouannaud and
Fernando Orejas},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {Unification of Drags},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {8:1--8:7},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=45},
timestamp = {Wed, 20 Sep 2023 10:23:47 +0200},
biburl = {https://dblp.org/rec/conf/unif/JouannaudO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05901,
author = {Leen Lambers and
Fernando Orejas},
title = {Initial Conflicts for Transformation Rules with Nested Application
Conditions},
journal = {CoRR},
volume = {abs/2005.05901},
year = {2020},
url = {https://arxiv.org/abs/2005.05901},
eprinttype = {arXiv},
eprint = {2005.05901},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SchneiderLO19,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {A Logic-Based Incremental Approach to Graph Repair},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {151--167},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_9},
doi = {10.1007/978-3-030-16722-6\_9},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/SchneiderLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2019,
editor = {Esther Guerra and
Fernando Orejas},
title = {Graph Transformation - 12th International Conference, {ICGT} 2019,
Held as Part of {STAF} 2019, Eindhoven, The Netherlands, July 15-16,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11629},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23611-3},
doi = {10.1007/978-3-030-23611-3},
isbn = {978-3-030-23610-6},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchneiderLO18,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
title = {Automated reasoning for attributed graph properties},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {6},
pages = {705--737},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0496-3},
doi = {10.1007/S10009-018-0496-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchneiderLO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OrejasPNL18,
author = {Fernando Orejas and
Elvira Pino and
Marisa Navarro and
Leen Lambers},
title = {Institutions for navigational logics for graphical structures},
journal = {Theor. Comput. Sci.},
volume = {741},
pages = {19--24},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.02.031},
doi = {10.1016/J.TCS.2018.02.031},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/OrejasPNL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LambersBO0T18,
author = {Leen Lambers and
Kristopher Born and
Fernando Orejas and
Daniel Str{\"{u}}ber and
Gabriele Taentzer},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {Initial Conflicts and Dependencies: Critical Pairs Revisited},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {105--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_6},
doi = {10.1007/978-3-319-75396-6\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LambersBO0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LambersNOP18,
author = {Leen Lambers and
Marisa Navarro and
Fernando Orejas and
Elvira Pino},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {Towards a Navigational Logic for Graphical Structures},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {124--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_7},
doi = {10.1007/978-3-319-75396-6\_7},
timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LambersNOP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DuranMOZ17,
author = {Francisco Dur{\'{a}}n and
Antonio Moreno{-}Delgado and
Fernando Orejas and
Steffen Zschaler},
title = {Amalgamation of domain specific languages with behaviour},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {208--235},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2015.09.005},
doi = {10.1016/J.JLAMP.2015.09.005},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/DuranMOZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SchneiderLO17,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
editor = {Marieke Huisman and
Julia Rubin},
title = {Symbolic Model Generation for Graph Properties},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {226--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_13},
doi = {10.1007/978-3-662-54494-5\_13},
timestamp = {Fri, 09 Apr 2021 18:43:03 +0200},
biburl = {https://dblp.org/rec/conf/fase/SchneiderLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HeckelCMKOR16,
author = {Reiko Heckel and
Andrea Corradini and
Ugo Montanari and
Hans{-}J{\"{o}}rg Kreowski and
Fernando Orejas and
Grzegorz Rozenberg},
title = {Hartmut Ehrig {(1944-2016)}},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/412},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/HeckelCMKOR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChiritaFO16,
author = {Claudia Elena Chirita and
Jos{\'{e}} Luiz Fiadeiro and
Fernando Orejas},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Many-Valued Institutions for Constraint Specification},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {359--376},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_21},
doi = {10.1007/978-3-662-49665-7\_21},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/ChiritaFO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/0001EOCDXGE15,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Krzysztof Czarnecki and
Zinovy Diskin and
Yingfei Xiong and
Susann Gottmann and
Thomas Engel},
title = {Model synchronization based on triple graph grammars: correctness,
completeness and invertibility},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {241--269},
year = {2015},
url = {https://doi.org/10.1007/s10270-012-0309-1},
doi = {10.1007/S10270-012-0309-1},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/0001EOCDXGE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MylonakisOF15,
author = {Nikos Mylonakis and
Fernando Orejas and
Jos{\'{e}} Luiz Fiadeiro},
title = {A Semantics of Business Configurations Using Symbolic Graphs},
booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC}
2015, New York City, NY, USA, June 27 - July 2, 2015},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCC.2015.29},
doi = {10.1109/SCC.2015.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/MylonakisOF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FiadeiroO15,
author = {Jos{\'{e}} Luiz Fiadeiro and
Fernando Orejas},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Abstract Constraint Data Types},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_12},
doi = {10.1007/978-3-319-15545-6\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FiadeiroO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NavarroOP15,
author = {Marisa Navarro and
Fernando Orejas and
Elvira Pino},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Satisfiability of Constraint Specifications on {XML} Documents},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {539--561},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_25},
doi = {10.1007/978-3-319-23165-5\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NavarroOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/0001EGO14,
author = {Frank Hermann and
Hartmut Ehrig and
Ulrike Golas and
Fernando Orejas},
title = {Formal analysis of model transformations based on triple graph grammars},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000370},
doi = {10.1017/S0960129512000370},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/0001EGO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EhrigGHLO14,
author = {Hartmut Ehrig and
Ulrike Golas and
Annegret Habel and
Leen Lambers and
Fernando Orejas},
title = {{\(\mathscr{M}\)}-adhesive transformation systems with nested application
conditions. Part 1: parallelism, concurrency and amalgamation},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000357},
doi = {10.1017/S0960129512000357},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EhrigGHLO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LambersO14,
author = {Leen Lambers and
Fernando Orejas},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Tableau-Based Reasoning for Graph Properties},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {17--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_2},
doi = {10.1007/978-3-319-09108-2\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/LambersO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/OrejasP14,
author = {Fernando Orejas and
Elvira Pino},
editor = {Davide Di Ruscio and
D{\'{a}}niel Varr{\'{o}}},
title = {Correctness of Incremental Model Synchronization with Triple Graph
Grammars},
booktitle = {Theory and Practice of Model Transformations - 7th International Conference,
ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8568},
pages = {74--90},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08789-4\_6},
doi = {10.1007/978-3-319-08789-4\_6},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/OrejasP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/NavarroO14,
author = {Marisa Navarro and
Fernando Orejas},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {A refutation procedure for proving satisfiability of constraint specifications
on {XML} documents},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {47--61},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/jfwc},
doi = {10.29007/JFWC},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/NavarroO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/OrejasBE0S13,
author = {Fernando Orejas and
Artur Boronat and
Hartmut Ehrig and
Frank Hermann and
Hanna Sch{\"{o}}lzel},
title = {On Propagation-Based Concurrent Model Synchronization},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {57},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.57.871},
doi = {10.14279/TUJ.ECEASST.57.871},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/OrejasBE0S13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GaintzarainHLNO13,
author = {Jose Gaintzarain and
Montserrat Hermo and
Paqui Lucio and
Marisa Navarro and
Fernando Orejas},
title = {Invariant-Free Clausal Temporal Resolution},
journal = {J. Autom. Reason.},
volume = {50},
number = {1},
pages = {1--49},
year = {2013},
url = {https://doi.org/10.1007/s10817-011-9241-2},
doi = {10.1007/S10817-011-9241-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GaintzarainHLNO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GuerraLO13,
author = {Esther Guerra and
Juan de Lara and
Fernando Orejas},
title = {Inter-modelling with patterns},
journal = {Softw. Syst. Model.},
volume = {12},
number = {1},
pages = {145--174},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0192-1},
doi = {10.1007/S10270-011-0192-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GuerraLO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/OrejasBGM13,
author = {Fernando Orejas and
Artur Boronat and
Ulrike Golas and
Nikos Mylonakis},
editor = {Frank Pfenning},
title = {Checking Bisimilarity for Attributed Graph Transformation},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {113--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_8},
doi = {10.1007/978-3-642-37075-5\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/OrejasBGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LambersHGO12,
author = {Leen Lambers and
Stephan Hildebrandt and
Holger Giese and
Fernando Orejas},
title = {Attribute Handling for Bidirectional Model Transformations: The Triple
Graph Grammar Case},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {49},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.49.706},
doi = {10.14279/TUJ.ECEASST.49.706},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LambersHGO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EhrigGHLO12,
author = {Hartmut Ehrig and
Ulrike Golas and
Annegret Habel and
Leen Lambers and
Fernando Orejas},
title = {{\(\mathscr{M}\)}-Adhesive Transformation Systems with Nested Application
Conditions. Part 2: Embedding, Critical Pairs and Local Confluence},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
pages = {35--63},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-705},
doi = {10.3233/FI-2012-705},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EhrigGHLO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OrejasL12,
author = {Fernando Orejas and
Leen Lambers},
title = {Lazy Graph Transformation},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
pages = {65--96},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-706},
doi = {10.3233/FI-2012-706},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OrejasL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PasarellaOPN12,
author = {Edelmira Pasarella and
Fernando Orejas and
Elvira Pino and
Marisa Navarro},
title = {Semantics of structured normal logic programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {5},
pages = {559--584},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.03.001},
doi = {10.1016/J.JLAP.2012.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PasarellaOPN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GolasLEO12,
author = {Ulrike Golas and
Leen Lambers and
Hartmut Ehrig and
Fernando Orejas},
title = {Attributed graph transformation with inheritance: Efficient conflict
detection and local confluence analysis using abstract critical pairs},
journal = {Theor. Comput. Sci.},
volume = {424},
pages = {46--68},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.01.032},
doi = {10.1016/J.TCS.2012.01.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GolasLEO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HermannEEO12,
author = {Frank Hermann and
Hartmut Ehrig and
Claudia Ermel and
Fernando Orejas},
editor = {Juan de Lara and
Andrea Zisman},
title = {Concurrent Model Synchronization with Conflict Resolution Based on
Triple Graph Grammars},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {178--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_13},
doi = {10.1007/978-3-642-28872-2\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/HermannEEO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/OrejasBM12,
author = {Fernando Orejas and
Artur Boronat and
Nikos Mylonakis},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Borrowed Contexts for Attributed Graphs},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {126--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_9},
doi = {10.1007/978-3-642-33654-6\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/OrejasBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/DuranOZ12,
author = {Francisco Dur{\'{a}}n and
Fernando Orejas and
Steffen Zschaler},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Behaviour Protection in Modular Rule-Based System Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {24--49},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_2},
doi = {10.1007/978-3-642-37635-1\_2},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/DuranOZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Orejas11,
author = {Fernando Orejas},
title = {Symbolic graphs for attributed graph constraints},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {294--315},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.009},
doi = {10.1016/J.JSC.2010.09.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Orejas11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinXCEHO11,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki and
Hartmut Ehrig and
Frank Hermann and
Fernando Orejas},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {From State- to Delta-Based Bidirectional Model Transformations: The
Symmetric Case},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {304--318},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_22},
doi = {10.1007/978-3-642-24485-8\_22},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/DiskinXCEHO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HermannEOCDX11,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Krzysztof Czarnecki and
Zinovy Diskin and
Yingfei Xiong},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Correctness of Model Synchronization Based on Triple Graph Grammars},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {668--682},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_49},
doi = {10.1007/978-3-642-24485-8\_49},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HermannEOCDX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2011,
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3},
doi = {10.1007/978-3-642-19811-3},
isbn = {978-3-642-19810-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ErmelEOT10,
author = {Claudia Ermel and
Hartmut Ehrig and
Fernando Orejas and
Gabriele Taentzer},
title = {International Colloquium on Graph and Model Transformation (GraMoT)
2010: Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {30},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.30.436.427},
doi = {10.14279/TUJ.ECEASST.30.436.427},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ErmelEOT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/OrejasL10,
author = {Fernando Orejas and
Leen Lambers},
title = {Symbolic Attributed Graphs for Attributed Graph Transformation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {30},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.30.405},
doi = {10.14279/TUJ.ECEASST.30.405},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/OrejasL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OrejasEP10,
author = {Fernando Orejas and
Hartmut Ehrig and
Ulrike Prange},
title = {Reasoning with graph constraints},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {385--422},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0116-9},
doi = {10.1007/S00165-009-0116-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OrejasEP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OrejasEKPPP10,
author = {Fernando Orejas and
Hartmut Ehrig and
Markus Klein and
Julia Padberg and
Elvira Pino and
Sonia P{\'{e}}rez},
title = {A Generic Approach to Connector Architectures Part {I:} The General
Framework},
journal = {Fundam. Informaticae},
volume = {99},
number = {1},
pages = {63--93},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-239},
doi = {10.3233/FI-2010-239},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OrejasEKPPP10a,
author = {Fernando Orejas and
Hartmut Ehrig and
Markus Klein and
Julia Padberg and
Elvira Pino and
Sonia P{\'{e}}rez},
title = {A Generic Approach to Connector Architectures Part {II:} Instantiation
to Petri Nets and {CSP}},
journal = {Fundam. Informaticae},
volume = {99},
number = {1},
pages = {95--124},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-240},
doi = {10.3233/FI-2010-240},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GuerraLO10,
author = {Esther Guerra and
Juan de Lara and
Fernando Orejas},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {Controlling Reuse in Pattern-Based Model-to-Model Transformations},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {175--201},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_9},
doi = {10.1007/978-3-642-17322-6\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GuerraLO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NaeemHOH10,
author = {Muhammad Naeem and
Reiko Heckel and
Fernando Orejas and
Frank Hermann},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Incremental Service Composition Based on Partial Matching of Visual
Contracts},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {123--138},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_9},
doi = {10.1007/978-3-642-12029-9\_9},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/NaeemHOH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/OrejasL10,
author = {Fernando Orejas and
Leen Lambers},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Delaying Constraint Solving in Symbolic Graph Transformation},
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 = {43--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_4},
doi = {10.1007/978-3-642-15928-2\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/OrejasL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HermannEOG10,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Ulrike Golas},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Formal Analysis of Functional Behaviour for Model Transformations
Based on Triple Graph Grammars},
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 = {155--170},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_11},
doi = {10.1007/978-3-642-15928-2\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/HermannEOG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigHLOG10,
author = {Hartmut Ehrig and
Annegret Habel and
Leen Lambers and
Fernando Orejas and
Ulrike Golas},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Local Confluence for Rules with Nested Application Conditions},
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 = {330--345},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_22},
doi = {10.1007/978-3-642-15928-2\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigHLOG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/0001EGO10,
author = {Frank Hermann and
Hartmut Ehrig and
Ulrike Golas and
Fernando Orejas},
editor = {Jean B{\'{e}}zivin and
Richard Mark Soley and
Antonio Vallecillo},
title = {Efficient analysis and execution of correct and complete model transformations
based on triple graph grammars},
booktitle = {Proceedings of the First International Workshop on Model-Driven Interoperability,
MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010},
pages = {22--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866272.1866277},
doi = {10.1145/1866272.1866277},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/0001EGO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GaintzarainHLNO09,
author = {Joxe Gaintzarain and
Montserrat Hermo and
Paqui Lucio and
Marisa Navarro and
Fernando Orejas},
title = {Dual Systems of Tableaux and Sequents for {PLTL}},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {8},
pages = {701--722},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.05.001},
doi = {10.1016/J.JLAP.2009.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GaintzarainHLNO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OrejasW09,
author = {Fernando Orejas and
Martin Wirsing},
editor = {Jens Palsberg},
title = {On the Specification and Verification of Model Transformations},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {140--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_8},
doi = {10.1007/978-3-642-04164-8\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OrejasW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/OrejasGLE09,
author = {Fernando Orejas and
Esther Guerra and
Juan de Lara and
Hartmut Ehrig},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Correctness, Completeness and Termination of Pattern-Based Model-to-Model
Transformation},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {383--397},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_26},
doi = {10.1007/978-3-642-03741-2\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/OrejasGLE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fit/NaeemHO09,
author = {Muhammad Naeem and
Reiko Heckel and
Fernando Orejas},
editor = {Sajjad Ahmad Madani},
title = {Semi-automated service composition using visual contracts},
booktitle = {{FIT} '09, 7th International Conference on Frontiers of Information
Technology, Abbottabad, Pakistan, December 16-18, 2009},
pages = {48:1--48:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1838002.1838057},
doi = {10.1145/1838002.1838057},
timestamp = {Tue, 06 Nov 2018 11:07:00 +0100},
biburl = {https://dblp.org/rec/conf/fit/NaeemHO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/GuerraLO09,
author = {Esther Guerra and
Juan de Lara and
Fernando Orejas},
editor = {Richard F. Paige},
title = {Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions},
booktitle = {Theory and Practice of Model Transformations - 2nd International Conference,
ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5563},
pages = {83--99},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02408-5\_7},
doi = {10.1007/978-3-642-02408-5\_7},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/GuerraLO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/LucioOPP08,
author = {Paqui Lucio and
Fernando Orejas and
Edelmira Pasarella and
Elvira Pino},
title = {A Functorial Framework for Constraint Normal Logic Programming},
journal = {Appl. Categorical Struct.},
volume = {16},
number = {3},
pages = {421--450},
year = {2008},
url = {https://doi.org/10.1007/s10485-008-9128-5},
doi = {10.1007/S10485-008-9128-5},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/LucioOPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/OrejasEP08,
author = {Fernando Orejas and
Hartmut Ehrig and
Ulrike Prange},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {A Logic of Graph Constraints},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {179--198},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_14},
doi = {10.1007/978-3-540-78743-3\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/OrejasEP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LambersEPO08,
author = {Leen Lambers and
Hartmut Ehrig and
Ulrike Prange and
Fernando Orejas},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Embedding and Confluence of Graph Transformations with Negative Application
Conditions},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {162--177},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_12},
doi = {10.1007/978-3-540-87405-8\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/LambersEPO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Orejas08,
author = {Fernando Orejas},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Attributed Graph Constraints},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {274--288},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_19},
doi = {10.1007/978-3-540-87405-8\_19},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Orejas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GaintzarainHLNO07,
author = {Joxe Gaintzarain and
Montserrat Hermo and
Paqui Lucio and
Marisa Navarro and
Fernando Orejas},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {A Cut-Free and Invariant-Free Sequent Calculus for {PLTL}},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {481--495},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_36},
doi = {10.1007/978-3-540-74915-8\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GaintzarainHLNO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PadbergEO09,
author = {Julia Padberg and
Hartmut Ehrig and
Fernando Orejas},
editor = {Juliana K{\"{u}}ster Filipe Bowles and
Iman Poernomo and
Ralf H. Reussner},
title = {Towards Component Verification in the Generic Component Framework},
booktitle = {Proceedings of the Formal Foundations of Embedded Software and Component-Based
Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {7},
pages = {37--53},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.03.025},
doi = {10.1016/J.ENTCS.2009.03.025},
timestamp = {Mon, 13 Feb 2023 13:42:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PadbergEO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LambersEPO08,
author = {Leen Lambers and
Hartmut Ehrig and
Ulrike Prange and
Fernando Orejas},
editor = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
title = {Parallelism and Concurrency in Adhesive High-Level Replacement Systems
with Negative Application Conditions},
booktitle = {Proceedings of the Second Workshop on Applied and Computational Category
Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {6},
pages = {43--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.042},
doi = {10.1016/J.ENTCS.2008.10.042},
timestamp = {Mon, 13 Feb 2023 13:35:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LambersEPO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrejasP08,
author = {Fernando Orejas and
Sonia P{\'{e}}rez},
editor = {Ernesto Pimentel},
title = {Architectural Connectors for Sequence Diagrams},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {111--131},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.078},
doi = {10.1016/J.ENTCS.2008.03.078},
timestamp = {Mon, 13 Feb 2023 13:57:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrejasP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2006,
editor = {Paqui Lucio and
Fernando Orejas},
title = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/188/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EngelsOP06,
author = {Gregor Engels and
Fernando Orejas and
Francesco Parisi{-}Presicce},
title = {Special Issue with Selected Papers from {ICGT} 2004},
journal = {Fundam. Informaticae},
volume = {74},
number = {1},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EngelsOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Orejas06,
author = {Fernando Orejas},
title = {Thirty years of algebraic specification},
journal = {J. Log. Algebraic Methods Program.},
volume = {67},
number = {1-2},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.09.001},
doi = {10.1016/J.JLAP.2005.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Orejas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucioOPP06,
author = {Paqui Lucio and
Fernando Orejas and
Edelmira Pasarella and
Elvira Pino},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {A Functorial Framework for Constraint Normal Logic Programming},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {555--577},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_29},
doi = {10.1007/11780274\_29},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucioOPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LambersEO06,
author = {Leen Lambers and
Hartmut Ehrig and
Fernando Orejas},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Conflict Detection for Graph Transformation with Negative Application
Conditions},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {61--76},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_6},
doi = {10.1007/11841883\_6},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/LambersEO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigOP06,
author = {Hartmut Ehrig and
Fernando Orejas and
Ulrike Prange},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Categorical Foundations of Distributed Graph Transformation},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {215--229},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_16},
doi = {10.1007/11841883\_16},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucioO07,
author = {Paqui Lucio and
Fernando Orejas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Preface},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.05.048},
doi = {10.1016/J.ENTCS.2006.05.048},
timestamp = {Tue, 31 Jan 2023 15:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucioO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LambersEO08,
author = {Leen Lambers and
Hartmut Ehrig and
Fernando Orejas},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Efficient Conflict Detection in Graph Transformation Systems by Essential
Critical Pairs},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {17--26},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.026},
doi = {10.1016/J.ENTCS.2008.04.026},
timestamp = {Thu, 26 Sep 2024 16:29:51 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LambersEO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KleinPO07,
author = {Markus Klein and
Julia Padberg and
Fernando Orejas},
editor = {Juliana K{\"{u}}ster Filipe Bowles and
Iman Poernomo and
Ralf H. Reussner},
title = {Towards Multiple Access in Generic Component Architectures},
booktitle = {Proceedings of the Workshop on Formal Foundations of Embedded Software
and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna,
Austria, March 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {2},
pages = {25--45},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.02.030},
doi = {10.1016/J.ENTCS.2006.02.030},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KleinPO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OrejasL05,
author = {Fernando Orejas and
Jan van Leeuwen},
title = {Preface: Automata, Languages and Programming},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.028},
doi = {10.1016/J.TCS.2004.09.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OrejasL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OrejasP05,
author = {Fernando Orejas and
Sonia P{\'{e}}rez},
editor = {Hans{-}J{\"{o}}rg Kreowski and
Ugo Montanari and
Fernando Orejas and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Towards Architectural Connectors for {UML}},
booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated
to Hartmut Ehrig, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3393},
pages = {352--369},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31847-7\_21},
doi = {10.1007/978-3-540-31847-7\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OrejasP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PasarellaOPN05,
author = {Edelmira Pasarella and
Fernando Orejas and
Elvira Pino and
Marisa Navarro},
editor = {Patricia M. Hill},
title = {A Transformational Semantics of Static Embedded Implications of Normal
Logic Programs},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {133--146},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_9},
doi = {10.1007/11680093\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PasarellaOPN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LambersEO06,
author = {Leen Lambers and
Hartmut Ehrig and
Fernando Orejas},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Efficient Detection of Conflicts in Graph-based Model Transformation},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {97--109},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.017},
doi = {10.1016/J.ENTCS.2006.01.017},
timestamp = {Thu, 15 Dec 2022 15:55:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LambersEO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigBKOPP05,
author = {Hartmut Ehrig and
Benjamin Braatz and
Markus Klein and
Fernando Orejas and
Sonia P{\'{e}}rez and
Elvira Pino},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {Object-Oriented Connector-Component Architectures},
booktitle = {Proceedings of the Second International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {3},
pages = {123--151},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.048},
doi = {10.1016/J.ENTCS.2005.02.048},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigBKOPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005ehrig,
editor = {Hans{-}J{\"{o}}rg Kreowski and
Ugo Montanari and
Fernando Orejas and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Formal Methods in Software and Systems Modeling, Essays Dedicated
to Hartmut Ehrig, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3393},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b106390},
doi = {10.1007/B106390},
isbn = {3-540-24936-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005ehrig.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/EhrigOBKP04,
author = {Hartmut Ehrig and
Fernando Orejas and
Benjamin Braatz and
Markus Klein and
Martti Piirainen},
title = {A component framework for system modeling based on high-level replacement
systems},
journal = {Softw. Syst. Model.},
volume = {3},
number = {2},
pages = {114--135},
year = {2004},
url = {https://doi.org/10.1007/s10270-003-0043-9},
doi = {10.1007/S10270-003-0043-9},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/EhrigOBKP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrejasP04,
author = {Fernando Orejas and
Elvira Pino},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {On the Integration of Modular Heterogeneous Specifications},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {582--601},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_31},
doi = {10.1007/978-3-540-27863-4\_31},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrejasP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlvezLO04,
author = {Javier {\'{A}}lvez and
Paqui Lucio and
Fernando Orejas},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Constructive negation by bottom-up computation of literal answers},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1468--1475},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968194},
doi = {10.1145/967900.968194},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/AlvezLO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/MylonakisO04,
author = {Nikos Mylonakis and
Fernando Orejas},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Peter D. Mosses and
Fernando Orejas},
title = {A Distributed and Mobile Component System Based on the Ambient Calculus},
booktitle = {Recent Trends in Algebraic Development Techniques, 17th International
Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3423},
pages = {186--200},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31959-7\_11},
doi = {10.1007/978-3-540-31959-7\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/MylonakisO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigPBKOPP04,
author = {Hartmut Ehrig and
Julia Padberg and
Benjamin Braatz and
Markus Klein and
Fernando Orejas and
Sonia P{\'{e}}rez and
Elvira Pino},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {A Generic Framework for Connector Architectures based on Components
and Transformations},
booktitle = {Proceedings of the First International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {108},
pages = {53--67},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.012},
doi = {10.1016/J.ENTCS.2004.01.012},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigPBKOPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2004,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Peter D. Mosses and
Fernando Orejas},
title = {Recent Trends in Algebraic Development Techniques, 17th International
Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3423},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b107129},
doi = {10.1007/B107129},
isbn = {3-540-25327-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrejasE03,
author = {Fernando Orejas and
Hartmut Ehrig},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Components for Algebra Transformation Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {63--78},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80747-3},
doi = {10.1016/S1571-0661(04)80747-3},
timestamp = {Thu, 08 Dec 2022 11:16:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrejasE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/EhrigO02,
author = {Hartmut Ehrig and
Fernando Orejas},
title = {Foreword Volume 72},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {72},
year = {2002},
url = {http://www.elsevier.com/gej-ng/31/29/23/127/23/show/Products/notes/index.htt\#001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/EhrigOBKP02,
author = {Hartmut Ehrig and
Fernando Orejas and
Benjamin Braatz and
Markus Klein and
Martti Piirainen},
title = {A Transformation-Based Component Framework for a Generic Integrated
Modeling Technique},
journal = {Trans. {SDPS}},
volume = {6},
number = {4},
pages = {78--104},
year = {2002},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-06},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jid/EhrigOBKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HeckelLEO02,
author = {Reiko Heckel and
Merc{\`{e}} Llabr{\'{e}}s and
Hartmut Ehrig and
Fernando Orejas},
title = {Concurrency and Loose Semantics of Open Graph Transformation Systems},
journal = {Math. Struct. Comput. Sci.},
volume = {12},
number = {4},
pages = {349--376},
year = {2002},
url = {https://doi.org/10.1017/S0960129501003553},
doi = {10.1017/S0960129501003553},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/HeckelLEO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EhrigOBKP02,
author = {Hartmut Ehrig and
Fernando Orejas and
Benjamin Braatz and
Markus Klein and
Martti Piirainen},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {A Generic Component Framework for System Modeling},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {33--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_3},
doi = {10.1007/3-540-45923-5\_3},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/EhrigOBKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigOBKP03,
author = {Hartmut Ehrig and
Fernando Orejas and
Benjamin Braatz and
Markus Klein and
Martti Piirainen},
editor = {Paolo Bottoni and
Mark Minas},
title = {A Component Framework Based on High-Level Replacement Systems},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {3},
pages = {118--132},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80616-9},
doi = {10.1016/S1571-0661(04)80616-9},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigOBKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/OrejasPP01,
author = {Fernando Orejas and
Edelmira Pasarella and
Elvira Pino},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Semantics of normal logic programs with embedded implications},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {1--15},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/OrejasPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OrejasPP01,
author = {Fernando Orejas and
Edelmira Pasarella and
Elvira Pino},
editor = {Philippe Codognet},
title = {Semantics of Normal Logic Programs with Embedded Implications},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {255--268},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_25},
doi = {10.1007/3-540-45635-X\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/OrejasPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/OrejasEP01,
author = {Fernando Orejas and
Hartmut Ehrig and
Elvira Pino},
editor = {Maura Cerioli and
Gianna Reggio},
title = {Tight and Loose Semantics for Transformation Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {238--255},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_12},
doi = {10.1007/3-540-45645-7\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/OrejasEP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigO01,
author = {Hartmut Ehrig and
Fernando Orejas},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {A Conceptual and Formal Framework for the Integration of Data Type
and Process Modeling Techniques},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {199--226},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00173-2},
doi = {10.1016/S1571-0661(04)00173-2},
timestamp = {Tue, 13 Dec 2022 10:53:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/EhrigO01,
author = {Hartmut Ehrig and
Fernando Orejas},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Dynamic Abstract Data Types: An Informal Proposal in 1994},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {180--191},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/EhrigO01a,
author = {Hartmut Ehrig and
Fernando Orejas},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Integration Paradigm for Data Type and Process Specification Techniques},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {192--201},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigO01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/EhrigPO01,
author = {Hartmut Ehrig and
Julia Padberg and
Fernando Orejas},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {From Basic Views and Aspects to Integration of Specification Formalisms},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {202--214},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigPO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2001,
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5},
doi = {10.1007/3-540-48224-5},
isbn = {3-540-42287-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/PasarelaPO00,
author = {Edelmira Pasarella and
Elvira Pino and
Fernando Orejas},
editor = {Mar{\'{\i}}a Alpuente},
title = {Constructive negation without subsidiary trees},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {195--209},
year = {2000},
timestamp = {Fri, 16 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/PasarelaPO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigPO99,
author = {Hartmut Ehrig and
Julia Padberg and
Fernando Orejas},
title = {From Basic Views and Aspects to Integration of Specification Formalisms},
journal = {Bull. {EATCS}},
volume = {69},
pages = {98--109},
year = {1999},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigPO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LucioOP99,
author = {Paqui Lucio and
Fernando Orejas and
Elvira Pino},
title = {An Algebraic Framework for the Definition of Compositional Semantics
of Normal Logic Programs},
journal = {J. Log. Program.},
volume = {40},
number = {1},
pages = {89--124},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10039-0},
doi = {10.1016/S0743-1066(98)10039-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LucioOP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CorneliusBEO99,
author = {Felix Cornelius and
Michael Baldamus and
Hartmut Ehrig and
Fernando Orejas},
title = {Abstract and behaviour module specifications},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {1},
pages = {21--62},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44773},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CorneliusBEO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/OrejasP99,
author = {Fernando Orejas and
Elvira Pino},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Semantic Definitions for Normal Open Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {43--58},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/OrejasP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JimenezO99,
author = {Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {An Algebraic Framework for Higher-Order Modules},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1778--1797},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_44},
doi = {10.1007/3-540-48118-4\_44},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/JimenezO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OrejasP99,
author = {Fernando Orejas and
Elvira Pino},
editor = {Danny De Schreye},
title = {Semantic Definitions for Normal Open Programs},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {200--214},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/OrejasP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/OrejasP99,
author = {Fernando Orejas and
Elvira Pino},
editor = {Didier Bert and
Christine Choppy and
Peter D. Mosses},
title = {A General Algebraic Framework for Studying Modular Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1827},
pages = {271--290},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-44616-3\_16},
doi = {10.1007/978-3-540-44616-3\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/OrejasP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/Orejas99,
author = {Fernando Orejas},
editor = {Egidio Astesiano and
Hans{-}J{\"{o}}rg Kreowski and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Structuring and Modularity},
booktitle = {Algebraic Foundations of Systems Specification},
series = {{IFIP} State-of-the-Art Reports},
pages = {159--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59851-7\_6},
doi = {10.1007/978-3-642-59851-7\_6},
timestamp = {Tue, 16 May 2017 14:24:23 +0200},
biburl = {https://dblp.org/rec/series/ifip/Orejas99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigO98,
author = {Hartmut Ehrig and
Fernando Orejas},
title = {Integration Paradigm for Data Type and Process Specification Techniques},
journal = {Bull. {EATCS}},
volume = {65},
pages = {90--97},
year = {1998},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/EhrigHLOPR98,
author = {Hartmut Ehrig and
Reiko Heckel and
Merc{\`{e}} Llabr{\'{e}}s and
Fernando Orejas and
Julia Padberg and
Grzegorz Rozenberg},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Double-Pullback Graph Transitions: {A} Rule-Based Framework with Incomplete
Information},
booktitle = {Theory and Application of Graph Transformations, 6th International
Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1764},
pages = {85--102},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-46464-8\_7},
doi = {10.1007/978-3-540-46464-8\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tagt/EhrigHLOPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OrejasPE97,
author = {Fernando Orejas and
Elvira Pino and
Hartmut Ehrig},
title = {Institutions for Logic Programming},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {2},
pages = {485--511},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00164-8},
doi = {10.1016/S0304-3975(96)00164-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OrejasPE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LucioOP97,
author = {Paqui Lucio and
Fernando Orejas and
Elvira Pino},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {A Monotonic Declarative Semantics for Normal Logic Programs},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {271--282},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/LucioOP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/OrejasNS96,
author = {Fernando Orejas and
Marisa Navarro and
Ana S{\'{a}}nchez},
title = {Algebraic Implementation of Abstract Data Types: {A} Survey of Concepts
and New Compositionality Results},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {1},
pages = {33--67},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000864},
doi = {10.1017/S0960129500000864},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/OrejasNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Orejas96,
author = {Fernando Orejas},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Algebraic Methods for the Study of Module Constructs in Logic Programming},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {13--16},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/Orejas96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigKO95,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Fernando Orejas},
title = {Correctness of actualization for parameterized implementation concepts
based on constructors and abstractors},
journal = {Bull. {EATCS}},
volume = {56},
year = {1995},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigKO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JimenezOE95,
author = {Rosa M. Jim{\'{e}}nez and
Fernando Orejas and
Hartmut Ehrig},
title = {Compositionality and Compatibility of Parameterization and Parameter
Passing in Specification Languages},
journal = {Math. Struct. Comput. Sci.},
volume = {5},
number = {2},
pages = {283--314},
year = {1995},
url = {https://doi.org/10.1017/S0960129500000748},
doi = {10.1017/S0960129500000748},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/JimenezOE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/0001HLOSW95,
author = {Eric Dubois and
Jacques Hagelstein and
Axel van Lamsweerde and
Fernando Orejas and
Jeanine Souqui{\`{e}}res and
Pierre L. Wodon},
title = {A Guided Tour through the {ICARUS} Project},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {20},
number = {2},
pages = {28--33},
year = {1995},
url = {https://doi.org/10.1145/224155.565643},
doi = {10.1145/224155.565643},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/0001HLOSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NavarroOS95,
author = {Marisa Navarro and
Fernando Orejas and
Ana S{\'{a}}nchez},
title = {On the Correctness of Modular Systems},
journal = {Theor. Comput. Sci.},
volume = {140},
number = {1},
pages = {139--177},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00207-Y},
doi = {10.1016/0304-3975(94)00207-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NavarroOS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ClericiJO95,
author = {Silvia Clerici and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Class-Sort Polymorphism in {GLIDER}},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {143--160},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_41},
doi = {10.1007/3-540-61629-2\_41},
timestamp = {Sat, 30 Sep 2023 09:37:34 +0200},
biburl = {https://dblp.org/rec/conf/compass/ClericiJO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigO94,
author = {Hartmut Ehrig and
Fernando Orejas},
title = {Dynamic Abstract Data Types: An informal Proposal},
journal = {Bull. {EATCS}},
volume = {53},
pages = {162--169},
year = {1994},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigLO94,
author = {Hartmut Ehrig and
Michael L{\"{o}}we and
Fernando Orejas},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Dynamic Abstract Data Types Based on Algebraic Graph Transformations},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {236--254},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014431},
doi = {10.1007/BFB0014431},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigLO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/OrejasPE94,
author = {Fernando Orejas and
Elvira Pino and
Hartmut Ehrig},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {Algebraic Methods in the Compositional Analysis of Logic Programs},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {112--126},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_62},
doi = {10.1007/3-540-58338-6\_62},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/OrejasPE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NavarroOR93,
author = {Marisa Navarro and
Fernando Orejas and
Jean{-}Luc R{\'{e}}my},
title = {Contextual Rewriting as a Sound and Complete Proof Method for Conditional
LOG-Specifications},
journal = {Acta Informatica},
volume = {30},
number = {2},
pages = {147--180},
year = {1993},
url = {https://doi.org/10.1007/BF01178578},
doi = {10.1007/BF01178578},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NavarroOR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/NavarroOS93,
author = {Marisa Navarro and
Fernando Orejas and
Ana S{\'{a}}nchez},
title = {Characterizing Confusion},
journal = {Bull. {EATCS}},
volume = {49},
pages = {103--110},
year = {1993},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/NavarroOS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/NavarroOS93,
author = {Marisa Navarro and
Fernando Orejas and
Ana S{\'{a}}nchez},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {On the Correctness of Modular Systems},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {209--216},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/NavarroOS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prospectra/BertlingGSNO93,
author = {Hubert Bertling and
Harald Ganzinger and
Renate Sch{\"{a}}fers and
Robert Nieuwenhuis and
Fernando Orejas},
editor = {Berthold Hoffmann and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Program Development: Completion Subsystem},
booktitle = {Program Development by Specification and Transformation, The {PROSPECTRA}
Methodology, Language Family, and System},
series = {Lecture Notes in Computer Science},
volume = {680},
pages = {460--494},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56733-X\_162},
doi = {10.1007/3-540-56733-X\_162},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prospectra/BertlingGSNO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/EhrigJO93,
author = {Hartmut Ehrig and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Compositionality Results for Different Types of Parameterization and
Parameter Passing in Specification Languages},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {31--45},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_54},
doi = {10.1007/3-540-56610-4\_54},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/EhrigJO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/EhrigBO93,
author = {Hartmut Ehrig and
Michael Baldamus and
Fernando Orejas},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {New Concepts for Amalgamation and Extension in the Framework of Specification
Logics},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {161--182},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0012},
doi = {10.1142/9789812794499\_0012},
timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
biburl = {https://dblp.org/rec/series/wsscs/EhrigBO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/EhrigMCO92,
author = {Hartmut Ehrig and
Bernd Mahr and
Ingo Cla{\ss}en and
Fernando Orejas},
title = {Introduction to Algebraic Specification. Part 1: Formal Methods for
Software Development},
journal = {Comput. J.},
volume = {35},
number = {5},
pages = {460--467},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.5.460},
doi = {10.1093/COMJNL/35.5.460},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/EhrigMCO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/EhrigMCO92a,
author = {Hartmut Ehrig and
Bernd Mahr and
Ingo Cla{\ss}en and
Fernando Orejas},
title = {Introduction to Algebraic Specification. Part 2: From Classical View
to Foundations of System Specifications},
journal = {Comput. J.},
volume = {35},
number = {5},
pages = {468--477},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.5.468},
doi = {10.1093/COMJNL/35.5.468},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/EhrigMCO92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ClericiJO92,
author = {Silvia Clerici and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Hartmut Ehrig},
title = {Semantic Constructions in the Specification Language {GLIDER}},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {144--157},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_8},
doi = {10.1007/3-540-57867-6\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/ClericiJO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrichBO91,
author = {Hartmut Ehrig and
Michael Baldamus and
Fernando Orejas},
title = {Amalgamation and Extension in the Framework of Specification Logics
and Generalized Morphisms},
journal = {Bull. {EATCS}},
volume = {44},
pages = {129--143},
year = {1991},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrichBO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/EhrigBCO91,
author = {Hartmut Ehrig and
Michael Baldamus and
Felix Cornelius and
Fernando Orejas},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Theory of Algebraic Module Specification including Behavioral Semantics
and Constraints},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {145--172},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/EhrigBCO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/OrejasNS91,
author = {Fernando Orejas and
Marisa Navarro and
Ana S{\'{a}}nchez},
editor = {Michel Bidoit and
Christine Choppy},
title = {Implementation and Behavioural Equivalence: {A} Survey},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {93--125},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_36},
doi = {10.1007/3-540-56379-2\_36},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/OrejasNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigBO91,
author = {Hartmut Ehrig and
Michael Baldamus and
Fernando Orejas},
editor = {Michel Bidoit and
Christine Choppy},
title = {New Concepts of Amalgamation and Extension for a General Theory of
Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {199--221},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_41},
doi = {10.1007/3-540-56379-2\_41},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigBO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BidoitKLOS91,
editor = {Michel Bidoit and
Hans{-}J{\"{o}}rg Kreowski and
Pierre Lescanne and
Fernando Orejas and
Donald Sannella},
title = {Algebraic System Specification and Development - {A} Survey and Annotated
Bibliography},
series = {Lecture Notes in Computer Science},
volume = {501},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018512},
doi = {10.1007/BFB0018512},
isbn = {3-540-54060-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BidoitKLOS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1990,
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54496-8},
doi = {10.1007/3-540-54496-8},
isbn = {3-540-54496-8},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/ClericiO90,
author = {Silvia Clerici and
Fernando Orejas},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {The Specification Language {GSBL}},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {31--51},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_3},
doi = {10.1007/3-540-54496-8\_3},
timestamp = {Sun, 06 Oct 2024 20:55:43 +0200},
biburl = {https://dblp.org/rec/conf/adt/ClericiO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/NieuwenhuisO90,
author = {Robert Nieuwenhuis and
Fernando Orejas},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {Clausal Rewriting: Applications and Implementation},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {204--219},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_11},
doi = {10.1007/3-540-54496-8\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/NieuwenhuisO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/OrejasN90,
author = {Fernando Orejas and
Pilar Nivela},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {Constraints for Behavioural Specifications},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {220--245},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_12},
doi = {10.1007/3-540-54496-8\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/OrejasN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NieuwenhuisOR90,
author = {Robert Nieuwenhuis and
Fernando Orejas and
Albert Rubio},
editor = {Mark E. Stickel},
title = {{TRIP:} An Implementation of Clausal Rewriting},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {667--668},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_133},
doi = {10.1007/3-540-52885-7\_133},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/NieuwenhuisOR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/NieuwenhuisO90,
author = {Robert Nieuwenhuis and
Fernando Orejas},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {Clausal Rewriting},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {246--258},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_95},
doi = {10.1007/3-540-54317-1\_95},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/NieuwenhuisO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigPO89,
author = {Hartmut Ehrig and
Peter Pepper and
Fernando Orejas},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {On Recent Trends in Algebraic Specification},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {263--288},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035766},
doi = {10.1007/BFB0035766},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrigPO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1989-1,
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9},
doi = {10.1007/3-540-50939-9},
isbn = {3-540-50939-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/1989-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1989-2,
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2},
doi = {10.1007/3-540-50940-2},
isbn = {3-540-50940-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/1989-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/ClericiOB88,
author = {Silvia Clerici and
Fernando Orejas and
Pere Botella},
editor = {Hartmut Ehrig},
title = {The Specification Language for the {GESTALT} Environment},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/ClericiOB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/NivelaO88,
author = {Pilar Nivela and
Fernando Orejas},
editor = {Hartmut Ehrig},
title = {A Module Concept within the Initial Behaviour Framework},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/NivelaO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/OrejasSNNP88,
author = {Fernando Orejas and
Ana S{\'{a}}nchez and
Marisa Navarro and
Pilar Nivela and
Ricardo Pena},
editor = {Hartmut Ehrig},
title = {Term Rewriting Methods for Partial Specifications},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/OrejasSNNP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/OrejasSC88,
author = {Fernando Orejas and
Vera Sacrist{\'{a}}n and
Silvia Clerici},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Development of Algebraic Specifications with Constraints},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {102--123},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_7},
doi = {10.1007/3-540-51722-7\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/OrejasSC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/OrejasNE88,
author = {Fernando Orejas and
Pilar Nivela and
Hartmut Ehrig},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Semantical Constructions for Categories of Behavioural Specifications},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {220--243},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_13},
doi = {10.1007/3-540-51722-7\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/OrejasNE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClericiO88,
author = {Silvia Clerici and
Fernando Orejas},
editor = {Stein Gjessing and
Kristen Nygaard},
title = {{GSBL:} An Algebraic Specification Language Based on Inheritance},
booktitle = {ECOOP'88 European Conference on Object-Oriented Programming, Oslo,
Norway, August 15-17, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {322},
pages = {78--92},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-45910-3\_5},
doi = {10.1007/3-540-45910-3\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ClericiO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Orejas87,
author = {Fernando Orejas},
title = {A Characterization of Passing Compatibility for Parameterized Specifications},
journal = {Theor. Comput. Sci.},
volume = {51},
pages = {205--214},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90054-5},
doi = {10.1016/0304-3975(87)90054-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Orejas87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/NivelaO87,
author = {Pilar Nivela and
Fernando Orejas},
editor = {Donald Sannella and
Andrzej Tarlecki},
title = {Initial Behaviour Semantics for Algebraic Specifications},
booktitle = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {332},
pages = {184--207},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50325-0\_10},
doi = {10.1007/3-540-50325-0\_10},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/adt/NivelaO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NavarroO87,
author = {Marisa Navarro and
Fernando Orejas},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Parameterized Horn Clause Specifications: Proof Theory and Correctness},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 1: Advanced Seminar on Foundations of Innovative Software Development
{I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
series = {Lecture Notes in Computer Science},
volume = {249},
pages = {202--216},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17660-8\_56},
doi = {10.1007/3-540-17660-8\_56},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NavarroO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Orejas86,
author = {Fernando Orejas},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {A Proof-Theoretic Characterization of Persistency for Parameterized
Specifications with Boolean Constraints},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/Orejas86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Orejas86,
author = {Fernando Orejas},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {Role of Abstraction in Program Development - Response},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {143--146},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Orejas86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Orejas84,
author = {Fernando Orejas},
editor = {Hans{-}J{\"{o}}rg Kreowski},
title = {Passing Compatibility is almost Persistency},
booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
Applications of Abstract Data Types, Bremen, Germany, November 13-16,
1984, Selected Papers},
series = {Informatik-Fachberichte},
volume = {116},
pages = {196--206},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-662-09691-8\_15},
doi = {10.1007/978-3-662-09691-8\_15},
timestamp = {Mon, 18 Jun 2018 21:21:13 +0200},
biburl = {https://dblp.org/rec/conf/adt/Orejas84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/NavarroO84,
author = {Marisa Navarro and
Fernando Orejas},
editor = {John P. Fitch},
title = {On the Equivalence of Hierarchical and Non-Hierarchical Rewriting
on Conditional Term Rewriting Systems},
booktitle = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
Cambridge, England, UK, July 9-11, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {174},
pages = {74--85},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0032832},
doi = {10.1007/BFB0032832},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/NavarroO84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Orejas84,
author = {Fernando Orejas},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Proof System for Verifying Composability of Abstract Implementations},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {357--374},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_18},
doi = {10.1007/3-540-13346-1\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Orejas84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Orejas83,
author = {Fernando Orejas},
editor = {Manfred Broy and
Martin Wirsing},
title = {Some Results on Finite Specifiability of Parameterized Data Types},
booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1983},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/Orejas83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Orejas83,
author = {Fernando Orejas},
editor = {Marek Karpinski},
title = {Characterizing Composability of Abstract Implementations},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {335--346},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_116},
doi = {10.1007/3-540-12689-9\_116},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Orejas83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Orejas81,
author = {Fernando Orejas},
title = {Even more on advice on structuring compilers and proving them correct:
changing an arrow},
journal = {{ACM} {SIGPLAN} Notices},
volume = {16},
number = {3},
pages = {82--84},
year = {1981},
url = {https://doi.org/10.1145/947825.947831},
doi = {10.1145/947825.947831},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Orejas81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfpc/Orejas81,
author = {Fernando Orejas},
editor = {Josep D{\'{\i}}az and
Isidro Ramos},
title = {On the Representation of Data Types},
booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola,
Spain, April 19-25, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {107},
pages = {419--431},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10699-5\_116},
doi = {10.1007/3-540-10699-5\_116},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/icfpc/Orejas81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Orejas79,
author = {Fernando Orejas},
title = {On the power of conditional specifications},
journal = {{ACM} {SIGPLAN} Notices},
volume = {14},
number = {7},
pages = {78--81},
year = {1979},
url = {https://doi.org/10.1145/954245.954252},
doi = {10.1145/954245.954252},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Orejas79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
