Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Miguel Palomino

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Alberto Verdejo

> Home > Persons > Miguel Palomino

Publications

2012
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Marti-OlietPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Marti-OlietPV12
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81(7-8): 782-815 (2012)
2008
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dcai/Santos-GarciaPV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcai/Santos-GarciaPV08
Gustavo Santos-García, Miguel Palomino, Alberto Verdejo:
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI 2008: 424-433
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jal/Marti-OlietPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/Marti-OlietPV07
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007)
[p3]
- view
  authority control:
- export record
  dblp key:
  - conf/maude/ClavelDELMMTPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/maude/ClavelDELMMTPV07
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo:
Playing with Maude. All About Maude 2007: 159-184
[p2]
- view
  authority control:
- export record
  dblp key:
  - conf/maude/ClavelDELMMTPV07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/maude/ClavelDELMMTPV07a
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo:
Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/maude/ClavelDELMMTBFHOPSSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo:
Some Tools. All About Maude 2007: 667-693
2004
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PalominoMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PalominoMV05
Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo:
Playing with Maude. RULE@RDP 2004: 3-23
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Marti-OlietPV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Marti-OlietPV05
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
A Tutorial on Specifying Data Structures in Maude. PROLE 2004: 105-132

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.