BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
N.Martí-Oliet M.Palomino L.Aguirre A.Verdejo
Talks about:
maud (5) model (3) telecommun (2) network (2) specif (2) orient (2) object (2) narrow (2) modulo (2) condit (2)

Person: Isabel Pita

DBLP DBLP: Pita:Isabel

Contributed to:

WRLA 20142014
WRLA 20042005
WRLA 20002000
WRLA 19961996
WRLA 19962002
PPDP 20172017

Wrote 6 papers:

WRLA-2014-AguirreMPP #logic #maude
Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.
WRLA-2004-PalominoP05 #maude #model checking #proving
Proving VLRL Action Properties with the Maude Model Checker (MP, IP), pp. 113–133.
WRLA-2000-VerdejoPM #maude #protocol
The Leader Election Protocol of IEEE 1394 in Maude (AV, IP, NMO), pp. 383–404.
RWLW-1996-PitaM #database #maude #network #object-oriented #specification
A Maude specification of an object-oriented database model for telecommunication networks (IP, NMO), pp. 405–423.
WRLA-J-1996-PitaM02 #maude #network #object-oriented #specification
A Maude specification of an object-oriented model for telecommunication networks (IP, NMO), pp. 407–439.
PPDP-2017-AguirreMPP #axiom #smt
Conditional narrowing modulo SMT and axioms (LA, NMO, MP, IP), pp. 17–28.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.