BibTeX records: David Romero-Hernández

• > Home > Persons > David Romero-Hernández

@inproceedings{DBLP:journals/corr/Romero-Hernandez15,
  author       = {David Romero{-}Hern{\'{a}}ndez and
                  David de Frutos{-}Escrig and
                  Dario Della Monica},
  editor       = {Marisa Navarro},
  title        = {Proving Continuity of Coinductive Global Bisimulation Distances: {A}
                  Never Ending Story},
  booktitle    = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
                  {PROLE} 2015, Santander, Spain, 15-17th September 2015},
  series       = {{EPTCS}},
  volume       = {200},
  pages        = {48--63},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.200.4},
  doi          = {10.4204/EPTCS.200.4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Romero-Hernandez15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Romero-HernandezF14,
  author       = {David Romero{-}Hern{\'{a}}ndez and
                  David de Frutos{-}Escrig},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Catuscia Palamidessi},
  title        = {Coinductive Definition of Distances between Processes: Beyond Bisimulation
                  Distances},
  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        = {249--265},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43613-4\_16},
  doi          = {10.1007/978-3-662-43613-4\_16},
  timestamp    = {Fri, 09 Apr 2021 18:40:15 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Romero-HernandezF14.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/Romero-HernandezF12,
  author       = {David Romero{-}Hern{\'{a}}ndez and
                  David de Frutos{-}Escrig},
  editor       = {Holger Giese and
                  Grigore Rosu},
  title        = {Defining Distances for All Process Semantics},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7273},
  pages        = {169--185},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30793-5\_11},
  doi          = {10.1007/978-3-642-30793-5\_11},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Romero-HernandezF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Romero-HernandezF12,
  author       = {David Romero{-}Hern{\'{a}}ndez and
                  David de Frutos{-}Escrig},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  title        = {Distances between Processes: {A} Pure Algebraic Approach},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 21st International
                  Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7841},
  pages        = {265--282},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37635-1\_16},
  doi          = {10.1007/978-3-642-37635-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Romero-HernandezF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-3127,
  author       = {David Romero{-}Hern{\'{a}}ndez and
                  David de Frutos{-}Escrig},
  editor       = {Michel A. Reniers and
                  Pawel Sobocinski},
  title        = {On the Unification of Process Semantics: Logical Semantics},
  booktitle    = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
                  {SOS} 2011, Aachen, Germany, 5th September 2011},
  series       = {{EPTCS}},
  volume       = {62},
  pages        = {47--61},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.62.4},
  doi          = {10.4204/EPTCS.62.4},
  timestamp    = {Tue, 21 Apr 2020 10:56:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3127.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}