Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Carlos Gregorio-Rodríguez
@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} }
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.