BibTeX records: Ignacio Fábregas

download as .bib file

@article{DBLP:journals/jlp/AcetoFGI17,
  author    = {Luca Aceto and
               Ignacio F{\'{a}}bregas and
               {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {A unified rule format for bounded nondeterminism in {SOS} with terms
               as labels},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {92},
  pages     = {64--86},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2017.03.002},
  doi       = {10.1016/j.jlamp.2017.03.002},
  timestamp = {Fri, 22 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlp/AcetoFGI17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoFGIO17,
  author    = {Luca Aceto and
               Ignacio F{\'{a}}bregas and
               {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Yolanda Ortega{-}Mall{\'{e}}n},
  title     = {Rule Formats for Nominal Process Calculi},
  booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  pages     = {10:1--10:16},
  year      = {2017},
  crossref  = {DBLP:conf/concur/2017},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.10},
  doi       = {10.4230/LIPIcs.CONCUR.2017.10},
  timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/AcetoFGIO17},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {37--48},
  year      = {2017},
  crossref  = {DBLP:conf/sofsem/2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0_4},
  doi       = {10.1007/978-3-319-51963-0_4},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sofsem/AcetoFGI17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AcetoMFI15,
  author    = {Luca Aceto and
               Dario Della Monica and
               Ignacio F{\'{a}}bregas and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {When Are Prime Formulae Characteristic?},
  booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
               Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
               Part {I}},
  pages     = {76--88},
  year      = {2015},
  crossref  = {DBLP:conf/mfcs/2015-1},
  url       = {https://doi.org/10.1007/978-3-662-48057-1_6},
  doi       = {10.1007/978-3-662-48057-1_6},
  timestamp = {Thu, 15 Jun 2017 21:43:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/AcetoMFI15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/AcetoFFIP13,
  author    = {Luca Aceto and
               Ignacio F{\'{a}}bregas and
               David de Frutos{-}Escrig and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Miguel Palomino},
  title     = {On the specification of modal systems: {A} comparison of three frameworks},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {12},
  pages     = {2468--2487},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2013.02.004},
  doi       = {10.1016/j.scico.2013.02.004},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/AcetoFFIP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AcetoFFIP11,
  author    = {Luca Aceto and
               Ignacio F{\'{a}}bregas and
               David de Frutos{-}Escrig and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Miguel Palomino},
  title     = {Relating Modal Refinements, Covariant-Contravariant Simulations and
               Partial Bisimulations},
  booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  pages     = {268--283},
  year      = {2011},
  crossref  = {DBLP:conf/fsen/2011},
  url       = {https://doi.org/10.1007/978-3-642-29320-7_18},
  doi       = {10.1007/978-3-642-29320-7_18},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsen/AcetoFFIP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-4464,
  author    = {Luca Aceto and
               Ignacio F{\'{a}}bregas and
               David de Frutos{-}Escrig and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Miguel Palomino},
  title     = {Graphical representation of covariant-contravariant modal formulae},
  booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
               {EXPRESS} 2011, Aachen, Germany, 5th September 2011.},
  pages     = {1--15},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1108-4077},
  url       = {https://doi.org/10.4204/EPTCS.64.1},
  doi       = {10.4204/EPTCS.64.1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1108-4464},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/FabregasFP10,
  author    = {Ignacio F{\'{a}}bregas and
               David de Frutos{-}Escrig and
               Miguel Palomino},
  title     = {Logics for Contravariant Simulations},
  booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  pages     = {224--231},
  year      = {2010},
  crossref  = {DBLP:conf/forte/2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7_18},
  doi       = {10.1007/978-3-642-13464-7_18},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/FabregasFP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2108,
  author    = {Ignacio F{\'{a}}bregas and
               David de Frutos{-}Escrig and
               Miguel Palomino},
  title     = {Equational Characterization of Covariant-Contravariant Simulation
               and Conformance Simulation Semantics},
  booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
               {SOS} 2010, Paris, France, 30 August 2010.},
  pages     = {1--14},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1008-1906},
  url       = {https://doi.org/10.4204/EPTCS.32.1},
  doi       = {10.4204/EPTCS.32.1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1008-2108},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/calco/FabregasFP09,
  author    = {Ignacio F{\'{a}}bregas and
               David de Frutos{-}Escrig and
               Miguel Palomino},
  title     = {Non-strongly Stable Orders Also Define Interesting Simulation Relations},
  booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
               {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
  pages     = {221--235},
  year      = {2009},
  crossref  = {DBLP:conf/calco/2009},
  url       = {https://doi.org/10.1007/978-3-642-03741-2_16},
  doi       = {10.1007/978-3-642-03741-2_16},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/calco/FabregasFP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/Frutos-EscrigPF08,
  author    = {David de Frutos{-}Escrig and
               Miguel Palomino and
               Ignacio F{\'{a}}bregas},
  title     = {Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic
               Bisimulations},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
               June 10-13, 2008, Proceedings},
  pages     = {283--298},
  year      = {2008},
  crossref  = {DBLP:conf/forte/2008},
  url       = {https://doi.org/10.1007/978-3-540-68855-6_18},
  doi       = {10.1007/978-3-540-68855-6_18},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/Frutos-EscrigPF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FabregasPF07,
  author    = {Ignacio F{\'{a}}bregas and
               Miguel Palomino and
               David de Frutos{-}Escrig},
  title     = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  pages     = {231--245},
  year      = {2007},
  crossref  = {DBLP:conf/ictac/2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9_16},
  doi       = {10.1007/978-3-540-75292-9_16},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/FabregasPF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2017,
  editor    = {Roland Meyer and
               Uwe Nestmann},
  title     = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  series    = {LIPIcs},
  volume    = {85},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-048-4},
  isbn      = {978-3-95977-048-4},
  timestamp = {Wed, 27 Sep 2017 13:49:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
  editor    = {Bernhard Steffen and
               Christel Baier and
               Mark van den Brand and
               Johann Eder and
               Mike Hinchey and
               Tiziana Margaria},
  title     = {{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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0},
  doi       = {10.1007/978-3-319-51963-0},
  isbn      = {978-3-319-51962-3},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sofsem/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2015-1,
  editor    = {Giuseppe F. Italiano and
               Giovanni Pighizzini and
               Donald Sannella},
  title     = {Mathematical Foundations of Computer Science 2015 - 40th International
               Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
               Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9234},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48057-1},
  doi       = {10.1007/978-3-662-48057-1},
  isbn      = {978-3-662-48056-4},
  timestamp = {Thu, 15 Jun 2017 21:43:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/2015-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsen/2011,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7141},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29320-7},
  doi       = {10.1007/978-3-642-29320-7},
  isbn      = {978-3-642-29319-1},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsen/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-4077,
  editor    = {Bas Luttik and
               Frank Valencia},
  title     = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
               {EXPRESS} 2011, Aachen, Germany, 5th September 2011},
  series    = {{EPTCS}},
  volume    = {64},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.64},
  doi       = {10.4204/EPTCS.64},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1108-4077},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/2010,
  editor    = {John Hatcliff and
               Elena Zucca},
  title     = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6117},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7},
  doi       = {10.1007/978-3-642-13464-7},
  isbn      = {978-3-642-13463-0},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1008-1906,
  editor    = {Luca Aceto and
               Pawel Sobocinski},
  title     = {Proceedings Seventh Workshop on Structural Operational Semantics,
               {SOS} 2010, Paris, France, 30 August 2010},
  series    = {{EPTCS}},
  volume    = {32},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.32},
  doi       = {10.4204/EPTCS.32},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1008-1906},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/calco/2009,
  editor    = {Alexander Kurz and
               Marina Lenisa and
               Andrzej Tarlecki},
  title     = {Algebra and Coalgebra in Computer Science, Third International Conference,
               {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5728},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03741-2},
  doi       = {10.1007/978-3-642-03741-2},
  isbn      = {978-3-642-03740-5},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/calco/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/2008,
  editor    = {Kenji Suzuki and
               Teruo Higashino and
               Keiichi Yasumoto and
               Khaled El{-}Fakih},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
               June 10-13, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5048},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68855-6},
  doi       = {10.1007/978-3-540-68855-6},
  isbn      = {978-3-540-68854-9},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2007,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4711},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9},
  doi       = {10.1007/978-3-540-75292-9},
  isbn      = {978-3-540-75290-5},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier