BibTeX records: Carlos Gregorio-Rodríguez

download as .bib file

@article{DBLP:journals/corr/abs-2402-00973,
  author       = {Luca Aceto and
                  Ignacio F{\'{a}}bregas and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Logical characterisations, rule formats and compositionality for input-output
                  conformance simulation},
  journal      = {CoRR},
  volume       = {abs/2402.00973},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.00973},
  doi          = {10.48550/ARXIV.2402.00973},
  eprinttype    = {arXiv},
  eprint       = {2402.00973},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-00973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ile/Brita-PajaGLPR19,
  author       = {Jose Luis Brita{-}Paja and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Crist{\'{o}}bal Pareja and
                  Adri{\'{a}}n Riesco},
  title        = {Introducing MOOC-like methodologies in a face-to-face undergraduate
                  course: a detailed case study},
  journal      = {Interact. Learn. Environ.},
  volume       = {27},
  number       = {1},
  pages        = {15--32},
  year         = {2019},
  url          = {https://doi.org/10.1080/10494820.2018.1451345},
  doi          = {10.1080/10494820.2018.1451345},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ile/Brita-PajaGLPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoFGI19,
  author       = {Luca Aceto and
                  Ignacio F{\'{a}}bregas and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Logical characterisations, rule formats and compositionality for input-output
                  conformance simulation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {106},
  pages        = {78--106},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jlamp.2019.04.005},
  doi          = {10.1016/J.JLAMP.2019.04.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AcetoFGI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Gregorio-Rodriguez18,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Rafael Mart{\'{\i}}nez{-}Torres},
  title        = {An axiomatic semantics for iocos{\_} conformance relation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {152--184},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.006},
  doi          = {10.1016/J.JLAMP.2018.06.006},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Gregorio-Rodriguez18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoFGI17,
  author       = {Luca Aceto and
                  Ignacio F{\'{a}}bregas and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Bernhard Steffen and
                  Christel Baier and
                  Mark van den Brand and
                  Johann Eder and
                  Mike Hinchey and
                  Tiziana Margaria},
  title        = {Logical Characterisations and Compositionality of Input-Output Conformance
                  Simulation},
  booktitle    = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  Limerick, Ireland, January 16-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10139},
  pages        = {37--48},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51963-0\_4},
  doi          = {10.1007/978-3-319-51963-0\_4},
  timestamp    = {Sun, 02 Oct 2022 16:15:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/AcetoFGI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Gregorio-Rodriguez15,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Rafael Mart{\'{\i}}nez{-}Torres},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {Extending mCRL2 with ready simulation and iocos input-output conformance
                  simulation},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1781--1788},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695853},
  doi          = {10.1145/2695664.2695853},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/Gregorio-Rodriguez15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoFGI14,
  author       = {Luca Aceto and
                  David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Axiomatizing weak simulation semantics over {BCCSP}},
  journal      = {Theor. Comput. Sci.},
  volume       = {537},
  pages        = {42--71},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.03.013},
  doi          = {10.1016/J.TCS.2013.03.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AcetoFGI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Gregorio-RodriguezLM14,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Rafael Mart{\'{\i}}nez{-}Torres},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Catuscia Palamidessi},
  title        = {Effectiveness for Input Output Conformance Simulation iocos{\unicode{817}}},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
                  as Part of the 9th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8461},
  pages        = {100--116},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43613-4\_7},
  doi          = {10.1007/978-3-662-43613-4\_7},
  timestamp    = {Fri, 09 Apr 2021 18:40:15 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6574,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Miguel Palomino and
                  David Romero{-}Hern{\'{a}}ndez},
  title        = {Unifying the Linear Time-Branching Time Spectrum of Process Semantics},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {2},
  year         = {2013},
  url          = {https://doi.org/10.2168/LMCS-9(2:11)2013},
  doi          = {10.2168/LMCS-9(2:11)2013},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-6574.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Gregorio-RodriguezLM13,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Rafael Mart{\'{\i}}nez{-}Torres},
  editor       = {Dirk Beyer and
                  Michele Boreale},
  title        = {Input-Output Conformance Simulation (iocos) for Model Based Testing},
  booktitle    = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
                  International Conference, {FMOODS/FORTE} 2013, Held as Part of the
                  8th International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7892},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38592-6\_9},
  doi          = {10.1007/978-3-642-38592-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoFGI12,
  author       = {Luca Aceto and
                  David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {M{\'{a}}ria Bielikov{\'{a}} and
                  Gerhard Friedrich and
                  Georg Gottlob and
                  Stefan Katzenbeisser and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {The Equational Theory of Weak Complete Simulation Semantics over {BCCSP}},
  booktitle    = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
                  on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
                  Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7147},
  pages        = {141--152},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27660-6\_12},
  doi          = {10.1007/978-3-642-27660-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/AcetoFGI12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcetoFGI11,
  author       = {Luca Aceto and
                  David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Complete and ready simulation semantics are not finitely based over
                  BCCSP, even with a singleton alphabet},
  journal      = {Inf. Process. Lett.},
  volume       = {111},
  number       = {9},
  pages        = {408--413},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ipl.2011.01.015},
  doi          = {10.1016/J.IPL.2011.01.015},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/AcetoFGI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AcetoFGI11,
  author       = {Luca Aceto and
                  David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Axiomatizing Weak Ready Simulation Semantics over {BCCSP}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {7--24},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_4},
  doi          = {10.1007/978-3-642-23283-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/AcetoFGI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Frutos-EscrigG09,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  title        = {(Bi)simulations up-to characterise process semantics},
  journal      = {Inf. Comput.},
  volume       = {207},
  number       = {2},
  pages        = {146--170},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.ic.2007.12.003},
  doi          = {10.1016/J.IC.2007.12.003},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Frutos-EscrigG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Frutos-EscrigGP09,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Miguel Palomino},
  title        = {Ready to preorder: an algebraic and general proof},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {78},
  number       = {7},
  pages        = {539--551},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jlap.2008.09.001},
  doi          = {10.1016/J.JLAP.2008.09.001},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Frutos-EscrigGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Frutos-EscrigGP09,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Miguel Palomino},
  editor       = {Mogens Nielsen and
                  Anton{\'{\i}}n Kucera and
                  Peter Bro Miltersen and
                  Catuscia Palamidessi and
                  Petr Tuma and
                  Frank D. Valencia},
  title        = {On the Unification of Process Semantics: Observational Semantics},
  booktitle    = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
                  on Current Trends in Theory and Practice of Computer Science, Spindleruv
                  Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5404},
  pages        = {279--290},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-95891-8\_27},
  doi          = {10.1007/978-3-540-95891-8\_27},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/Frutos-EscrigGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigGP09,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Miguel Palomino},
  editor       = {Samson Abramsky and
                  Michael W. Mislove and
                  Catuscia Palamidessi},
  title        = {On the Unification of Process Semantics: Equational Semantics},
  booktitle    = {Proceedings of the 25th Conference on Mathematical Foundations of
                  Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {249},
  pages        = {243--267},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.093},
  doi          = {10.1016/J.ENTCS.2009.07.093},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Frutos-EscrigG08,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Giorgio Ausiello and
                  Juhani Karhum{\"{a}}ki and
                  Giancarlo Mauri and
                  C.{-}H. Luke Ong},
  title        = {Universal Coinductive Characterisations of Process Semantics},
  booktitle    = {Fifth {IFIP} International Conference On Theoretical Computer Science
                  - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
                  of Computer Science, September 7-10, 2008, Milano, Italy},
  series       = {{IFIP}},
  volume       = {273},
  pages        = {397--412},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-0-387-09680-3\_27},
  doi          = {10.1007/978-0-387-09680-3\_27},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Frutos-EscrigG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigGP08,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Miguel Palomino},
  editor       = {Yixiang Chen and
                  Guo{-}Qiang Zhang and
                  Prakash Panangaden},
  title        = {Coinductive Characterisations Reveal Nice Relations Between Preorders
                  and Equivalences},
  booktitle    = {Proceedings of the First International Conference on Foundations of
                  Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
                  June 3-6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {212},
  pages        = {149--162},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.059},
  doi          = {10.1016/J.ENTCS.2008.04.059},
  timestamp    = {Fri, 17 Feb 2023 09:48:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Frutos-EscrigVG07,
  author       = {David de Frutos{-}Escrig and
                  Fernando Rosa{-}Velardo and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {John Derrick and
                  J{\"{u}}ri Vain},
  title        = {New Bisimulation Semantics for Distributed Systems},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
                  June 27-29, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4574},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73196-2\_10},
  doi          = {10.1007/978-3-540-73196-2\_10},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Frutos-EscrigVG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigG07,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Simulations Up-to and Canonical Preorders: (Extended Abstract)},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {13--28},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.014},
  doi          = {10.1016/J.ENTCS.2007.08.014},
  timestamp    = {Thu, 09 Feb 2023 10:45:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigG08,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Ernesto Pimentel},
  title        = {Constrained Simulations, Nested Simulation Semantics and Counting
                  Bisimulations},
  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        = {41--58},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.074},
  doi          = {10.1016/J.ENTCS.2008.03.074},
  timestamp    = {Mon, 13 Feb 2023 13:57:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Frutos-EscrigG06,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  title        = {Process Equivalences as Global Bisimulations},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {12},
  number       = {11},
  pages        = {1521--1550},
  year         = {2006},
  url          = {https://doi.org/10.3217/jucs-012-11-1521},
  doi          = {10.3217/JUCS-012-11-1521},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/Frutos-EscrigG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Frutos-EscrigG05,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Mart{\'{\i}}n Abadi and
                  Luca de Alfaro},
  title        = {Bisimulations Up-to for the Linear Time Branching Time Spectrum},
  booktitle    = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
                  {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3653},
  pages        = {278--292},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11539452\_23},
  doi          = {10.1007/11539452\_23},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Frutos-EscrigG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/Frutos-EscrigG04,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Preserving Contexts for Soft Conformance Relation},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_3},
  doi          = {10.1007/978-3-540-31848-4\_3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fates/Frutos-EscrigG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Gregorio-RodriguezDPMVP02,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Fernando Llana D{\'{\i}}az and
                  Crist{\'{o}}bal Pareja{-}Flores and
                  Raquel Mart{\'{\i}}nez{-}Unanue and
                  J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide and
                  Pedro Palao{-}Gostanza},
  title        = {A system to generate electronic books on programming exercises},
  journal      = {Electron. Libr.},
  volume       = {20},
  number       = {4},
  pages        = {314--321},
  year         = {2002},
  url          = {https://doi.org/10.1108/02640470210438900},
  doi          = {10.1108/02640470210438900},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/el/Gregorio-RodriguezDPMVP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iics/RodriguezP02,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Pedro Palao{-}Gostanza},
  editor       = {Herwig Unger and
                  Thomas B{\"{o}}hme and
                  Armin R. Mikler},
  title        = {Ergotracer: An Internet User Behaviour Tracer},
  booktitle    = {Innovative Internet Computing Systems, Second International Workshop,
                  {IICS} 2002, K{\"{u}}hlungsborn, Germany, June 20-22, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2346},
  pages        = {121--132},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-48080-3\_11},
  doi          = {10.1007/3-540-48080-3\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iics/RodriguezP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Gregorio-RodriguezDPPMV01,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Fernando Llana D{\'{\i}}az and
                  Pedro Palao{-}Gostanza and
                  Crist{\'{o}}bal Pareja{-}Flores and
                  Raquel Mart{\'{\i}}nez{-}Unanue and
                  J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
  editor       = {Sally Fincher and
                  Bruce J. Klein and
                  Fintan Culwin and
                  Michael McCracken},
  title        = {EXercita: automatic web publishing of programming exercises},
  booktitle    = {Proceedings of the 6th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2001, Canterbury,
                  UK, June 25-27, 2001},
  pages        = {161--164},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/377435.377673},
  doi          = {10.1145/377435.377673},
  timestamp    = {Fri, 12 Mar 2021 14:14:34 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/Gregorio-RodriguezDPPMV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/kl/ortega2001/Gregorio-RosriguezDMPPV01,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Fernando Llana D{\'{\i}}az and
                  R. Mart{\'{\i}}nez and
                  Pedro Palao{-}Gostanza and
                  Crist{\'{o}}bal Pareja{-}Flores and
                  J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
  editor       = {Manuel Ortega and
                  Jos{\'{e}} Bravo},
  title        = {EXercita. {A} System for Archiving and Publishing Programming Exercises},
  booktitle    = {Computers and Education. Towards an Interconnected Society},
  pages        = {187--197},
  publisher    = {Kluwer},
  year         = {2001},
  timestamp    = {Mon, 11 Dec 2023 16:36:46 +0100},
  biburl       = {https://dblp.org/rec/books/kl/ortega2001/Gregorio-RosriguezDMPPV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gregorio-RodriguezN99,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Denotational Semantics for Probabilistic Refusal Testing},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {111--137},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80599-7},
  doi          = {10.1016/S1571-0661(05)80599-7},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Gregorio-RodriguezN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Gregorio-RodrigrezDNP97,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Fernando Llana D{\'{\i}}az and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Pedro Palao{-}Gostanza},
  editor       = {Miquel Bertran and
                  Teodor Rus},
  title        = {Testing Semantics for a Probabilistic-Timed Process Algebra},
  booktitle    = {Transformation-Based Reactive Systems Development, 4th International
                  {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
                  Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1231},
  pages        = {353--367},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63010-4\_24},
  doi          = {10.1007/3-540-63010-4\_24},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/arts/Gregorio-RodrigrezDNP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/RodriguezGP95,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  M. Nunez Garcia and
                  Pedro Palao{-}Gostanza},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {La Potencia Expresiva de los Catamorfismos},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {477--484},
  year         = {1995},
  timestamp    = {Mon, 10 Oct 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/RodriguezGP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics