Search the dblp DataBase
Miguel Valero Espada: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jaco van de Pol, Miguel Valero Espada
Verification of JavaSpacesTM Parallel Programs. [Citation Graph (0, 0)][DBLP]
ACSD, 2003, pp:196-205 [Conf] - Jaco van de Pol, Miguel Valero Espada
Modal Abstractions in µCRL. [Citation Graph (0, 0)][DBLP]
AMAST, 2004, pp:409-425 [Conf] - Miguel Valero Espada, Jaco van de Pol
Accelerated Modal Abstractions of Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
AMAST, 2006, pp:338-352 [Conf] - Jaco van de Pol, Miguel Valero Espada
Formal Specification of JavaSpaces™ Architecture Using µCRL. [Citation Graph (0, 0)][DBLP]
COORDINATION, 2002, pp:274-290 [Conf] - Jun Pang, Jaco van de Pol, Miguel Valero Espada
Abstraction of Parallel Uniform Processes with Data. [Citation Graph (0, 0)][DBLP]
SEFM, 2004, pp:14-23 [Conf] - Simona Orzan, Jaco van de Pol, Miguel Valero Espada
A State Space Distribution Policy Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:35-45 [Journal] - Jaco van de Pol, Miguel Valero Espada
An Abstract Interpretation Toolkit for muCRL. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:295-313 [Journal] - Miguel Valero Espada, Jaco van de Pol
An abstract interpretation toolkit for µCRL. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2007, v:30, n:3, pp:249-273 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002