BibTeX records: Elvira Pino

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics