Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Miguel Palomino
@article{DBLP:journals/corr/abs-2402-00958,
author = {Ignacio F{\'{a}}bregas and
Miguel Palomino and
David de Frutos{-}Escrig},
title = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations},
journal = {CoRR},
volume = {abs/2402.00958},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00958},
doi = {10.48550/ARXIV.2402.00958},
eprinttype = {arXiv},
eprint = {2402.00958},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00962,
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},
journal = {CoRR},
volume = {abs/2402.00962},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00962},
doi = {10.48550/ARXIV.2402.00962},
eprinttype = {arXiv},
eprint = {2402.00962},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00963,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
title = {Non-strongly Stable Orders Also Define Interesting Simulation Relations},
journal = {CoRR},
volume = {abs/2402.00963},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00963},
doi = {10.48550/ARXIV.2402.00963},
eprinttype = {arXiv},
eprint = {2402.00963},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00964,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
title = {Logics for Contravariant Simulations},
journal = {CoRR},
volume = {abs/2402.00964},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00964},
doi = {10.48550/ARXIV.2402.00964},
eprinttype = {arXiv},
eprint = {2402.00964},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00966,
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 = {CoRR},
volume = {abs/2402.00966},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00966},
doi = {10.48550/ARXIV.2402.00966},
eprinttype = {arXiv},
eprint = {2402.00966},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreMPP23,
author = {Luis Aguirre and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Isabel Pita},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Strategies in Conditional Narrowing Modulo {SMT} Plus Axioms},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {1--20},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_1},
doi = {10.1007/978-3-031-31476-6\_1},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AguirreMPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AguirreMPP18,
author = {Luis Aguirre and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Isabel Pita},
title = {Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic
and Maude},
journal = {J. Autom. Reason.},
volume = {60},
number = {4},
pages = {421--463},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9417-5},
doi = {10.1007/S10817-017-9417-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AguirreMPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AguirreMPP17,
author = {Luis Aguirre and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Isabel Pita},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Conditional narrowing modulo {SMT} and axioms},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {17--28},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131856},
doi = {10.1145/3131851.3131856},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AguirreMPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreMPP15,
author = {Luis Aguirre and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Isabel Pita},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic
and Maude},
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 = {48--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_2},
doi = {10.1007/978-3-319-23165-5\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AguirreMPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AguirreMPP14,
author = {Luis Aguirre and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Isabel Pita},
editor = {Santiago Escobar},
title = {Conditional Narrowing Modulo in Rewriting Logic and Maude},
booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
{WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {80--96},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_4},
doi = {10.1007/978-3-319-12904-4\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/AguirreMPP14.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}
}
@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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcetoFFIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2012,
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {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},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37635-1},
doi = {10.1007/978-3-642-37635-1},
isbn = {978-3-642-37634-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Marti-OlietPV12,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Alberto Verdejo},
title = {Rewriting logic bibliography by topic: 1990-2011},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {7-8},
pages = {782--815},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.06.001},
doi = {10.1016/J.JLAP.2012.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Marti-OlietPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClavelMP11,
author = {Manuel Clavel and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Parameterized Metareasoning in Membership Equational Logic},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {277--298},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_14},
doi = {10.1007/978-3-642-24933-4\_14},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClavelMP11.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Farhad Arbab and
Marjan Sirjani},
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},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {268--283},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_18},
doi = {10.1007/978-3-642-29320-7\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AcetoFFIP11.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Bas Luttik and
Frank Valencia},
title = {Graphical representation of covariant-contravariant modal formulae},
booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {64},
pages = {1--15},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.64.1},
doi = {10.4204/EPTCS.64.1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MeseguerPM10,
author = {Jos{\'{e}} Meseguer and
Miguel Palomino and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Algebraic simulations},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {2},
pages = {103--143},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.07.003},
doi = {10.1016/J.JLAP.2009.07.003},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MeseguerPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FabregasFP10,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {John Hatcliff and
Elena Zucca},
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},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {224--231},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_18},
doi = {10.1007/978-3-642-13464-7\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/FabregasFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2108,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {Luca Aceto and
Pawel Sobocinski},
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},
series = {{EPTCS}},
volume = {32},
pages = {1--14},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.1},
doi = {10.4204/EPTCS.32.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2108.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/calco/FabregasFP09,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
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},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {221--235},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_16},
doi = {10.1007/978-3-642-03741-2\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/FabregasFP09.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}
}
@article{DBLP:journals/tcs/MeseguerPM08,
author = {Jos{\'{e}} Meseguer and
Miguel Palomino and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Equational abstractions},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {239--264},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.040},
doi = {10.1016/J.TCS.2008.04.040},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MeseguerPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/Santos-GarciaPV08,
author = {Gustavo Santos{-}Garc{\'{\i}}a and
Miguel Palomino and
Alberto Verdejo},
editor = {Juan M. Corchado and
Sara Rodr{\'{\i}}guez and
James Llinas and
Jos{\'{e}} M. Molina},
title = {Rewriting Logic Using Strategies for Neural Networks: An Implementation
in Maude},
booktitle = {International Symposium on Distributed Computing and Artificial Intelligence,
{DCAI} 2008, University of Salamanca, Spain, 22th-24th October 2008},
series = {Advances in Soft Computing},
volume = {50},
pages = {424--433},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85863-8\_50},
doi = {10.1007/978-3-540-85863-8\_50},
timestamp = {Mon, 11 Mar 2024 20:43:17 +0100},
biburl = {https://dblp.org/rec/conf/dcai/Santos-GarciaPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Frutos-EscrigPF08,
author = {David de Frutos{-}Escrig and
Miguel Palomino and
Ignacio F{\'{a}}bregas},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
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},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {283--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_18},
doi = {10.1007/978-3-540-68855-6\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Frutos-EscrigPF08.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}
}
@incollection{DBLP:reference/wiley/Palomino08,
author = {Miguel Palomino},
editor = {Benjamin W. Wah},
title = {Formal Logic},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse535},
doi = {10.1002/9780470050118.ECSE535},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/Palomino08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/Marti-OlietPV07,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Alberto Verdejo},
title = {Strategies and simulations in a semantic framework},
journal = {J. Algorithms},
volume = {62},
number = {3-4},
pages = {95--116},
year = {2007},
url = {https://doi.org/10.1016/j.jalgor.2007.04.002},
doi = {10.1016/J.JALGOR.2007.04.002},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/Marti-OlietPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ClavelMP07,
author = {Manuel Clavel and
Jos{\'{e}} Meseguer and
Miguel Palomino},
title = {Reflection in membership equational logic, many-sorted equational
logic, Horn logic with equality, and rewriting logic},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {1-2},
pages = {70--91},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.009},
doi = {10.1016/J.TCS.2006.12.009},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ClavelMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Palomino07,
author = {Miguel Palomino},
title = {A comparison between two logical formalisms for rewriting},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {183--213},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002845},
doi = {10.1017/S1471068406002845},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Palomino07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FabregasPF07,
author = {Ignacio F{\'{a}}bregas and
Miguel Palomino and
David de Frutos{-}Escrig},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
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},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {231--245},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_16},
doi = {10.1007/978-3-540-75292-9\_16},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/FabregasPF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietMP08,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Miguel Palomino},
editor = {Ernesto Pimentel},
title = {Algebraic Stuttering Simulations},
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 = {91--110},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.077},
doi = {10.1016/J.ENTCS.2008.03.077},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Marti-OlietMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTPV07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Miguel Palomino and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Playing with Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {159--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_7},
doi = {10.1007/978-3-540-71999-1\_7},
timestamp = {Wed, 20 Sep 2023 08:58:11 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTPV07a,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Miguel Palomino and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Specifying Parameterized Data Structures in Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {307--338},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_10},
doi = {10.1007/978-3-540-71999-1\_10},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTPV07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Christiano Braga and
Azadeh Farzan and
Joe Hendrix and
Peter Csaba {\"{O}}lveczky and
Miguel Palomino and
Ralf Sasse and
Mark{-}Oliver Stehr and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Some Tools},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {667--693},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_21},
doi = {10.1007/978-3-540-71999-1\_21},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ClavelPR06,
author = {Manuel Clavel and
Miguel Palomino and
Adri{\'{a}}n Riesco},
title = {Introducing the {ITP} Tool: a Tutorial},
journal = {J. Univers. Comput. Sci.},
volume = {12},
number = {11},
pages = {1618--1650},
year = {2006},
url = {https://doi.org/10.3217/jucs-012-11-1618},
doi = {10.3217/JUCS-012-11-1618},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ClavelPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Santos-GarciaP07,
author = {Gustavo Santos{-}Garc{\'{\i}}a and
Miguel Palomino},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {Solving Sudoku Puzzles with Rewriting Rules},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {79--93},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.009},
doi = {10.1016/J.ENTCS.2007.06.009},
timestamp = {Tue, 24 Jan 2023 12:37:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Santos-GarciaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601018,
author = {Miguel Palomino},
title = {A comparison between two logical formalisms for rewriting},
journal = {CoRR},
volume = {abs/cs/0601018},
year = {2006},
url = {http://arxiv.org/abs/cs/0601018},
eprinttype = {arXiv},
eprint = {cs/0601018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PalominoMM05,
author = {Miguel Palomino and
Jos{\'{e}} Meseguer and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {A Categorical Approach to Simulations},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {313--330},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_20},
doi = {10.1007/11548133\_20},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/PalominoMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ClavelMP04,
author = {Manuel Clavel and
Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Formalizing and Proving Semantic Relations between Specifications
by Reflection},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {72--86},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_10},
doi = {10.1007/978-3-540-27815-3\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ClavelMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Marti-OlietMP04,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Miguel Palomino},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Peter D. Mosses and
Fernando Orejas},
title = {Theoroidal Maps as Algebraic Simulations},
booktitle = {Recent Trends in Algebraic Development Techniques, 17th International
Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3423},
pages = {126--143},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31959-7\_8},
doi = {10.1007/978-3-540-31959-7\_8},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Marti-OlietMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalominoMV05,
author = {Miguel Palomino and
Narciso Mart{\'{\i}}{-}Oliet and
Alberto Verdejo},
editor = {Slim Abdennadher and
Christophe Ringeissen},
title = {Playing with Maude},
booktitle = {Proceedings of the 5th International Workshop on Rule-Based Programming,
{RULE} 2004, Aachen, Germany, June 1, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {124},
number = {1},
pages = {3--23},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.012},
doi = {10.1016/J.ENTCS.2004.07.012},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PalominoMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietPV05,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Alberto Verdejo},
editor = {Salvador Lucas},
title = {A Tutorial on Specifying Data Structures in Maude},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {105--132},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.041},
doi = {10.1016/J.ENTCS.2005.01.041},
timestamp = {Mon, 12 Dec 2022 16:37:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marti-OlietPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalominoP05,
author = {Miguel Palomino and
Isabel Pita},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Proving {VLRL} Action Properties with the Maude Model Checker},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {113--133},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.026},
doi = {10.1016/J.ENTCS.2004.06.026},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PalominoP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PitaP05,
author = {Isabel Pita and
Miguel Palomino},
editor = {Salvador Lucas},
title = {Proving Modal Properties of Rewrite Theories Using Maude's Metalevel},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {133--150},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.042},
doi = {10.1016/J.ENTCS.2005.01.042},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PitaP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MeseguerPM03,
author = {Jos{\'{e}} Meseguer and
Miguel Palomino and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Franz Baader},
title = {Equational Abstractions},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {2--16},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_2},
doi = {10.1007/978-3-540-45085-6\_2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MeseguerPM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelMP02,
author = {Manuel Clavel and
Jos{\'{e}} Meseguer and
Miguel Palomino},
editor = {Fabio Gadducci and
Ugo Montanari},
title = {Reflection in Membership Equational Logic, Many-Sorted Equational
Logic, Horn Logic with Equality, and Rewriting Logic},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications,
WRLA2002, Pisa, Italy, 19-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {110--126},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82531-9},
doi = {10.1016/S1571-0661(05)82531-9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ClavelMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
