BibSonomy :: author  ::

bookmarks

publications

(29)

• Influence of Model Resolution on Ozone Predictions over Madrid Area (Spain).
  Marta G. Vivanco and Mauricio Correa and Oier Azula and Inmaculada Palomino and Fernando Martín ICCSA (1) 165-178 (2008)
  to dblp by dblp on 2008-07-07 00:00:00
  | URL | BibTeX  
• A comparison between two logical formalisms for rewriting.
  Miguel Palomino TPLP 7 183-213 (2007)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.
  David de Frutos-Escrig and Carlos Gregorio-Rodríguez and Miguel Palomino Electr. Notes Theor. Comput. Sci. 212 149-162 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Algebraic Stuttering Simulations.
  Narciso Martí-Oliet and José Meseguer and Miguel Palomino Electr. Notes Theor. Comput. Sci. 206 91-110 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.
  David de Frutos-Escrig and Miguel Palomino and Ignacio Fábregas FORTE 283-298 (2008)
  to dblp by dblp on 2008-06-03 00:00:00
  | URL | BibTeX  
• Some Tools.
  Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Christiano Braga and Azadeh Farzan and Joe Hendrix and Peter Csaba Ölveczky and Miguel Palomino and Ralf Sasse and Mark-Oliver Stehr and Alberto Verdejo All About Maude 667-693 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Playing with Maude.
  Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo All About Maude 159-184 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Specifying Parameterized Data Structures in Maude.
  Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo All About Maude 307-338 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• A comparison between two logical formalisms for rewriting
  Miguel Palomino CoRR abs/cs/0601018 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Strategies and simulations in a semantic framework.
  Narciso Martí-Oliet and Miguel Palomino and Alberto Verdejo J. Algorithms 62 95-116 (2007)
  to dblp by dblp on 2007-12-04 00:00:00
  | URL | BibTeX