Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Elvira Pino
@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} }
@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} }
@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/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, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/LambersNOP18.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} }
@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} }
@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/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} }
@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/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/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/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} }
@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: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} }
@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: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/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} }
@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/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} }
@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} }
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.