The SCEAS System
Navigation Menu

Search the dblp DataBase


Juan José Sánchez Penas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
    Translating Erlang to µCRL. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:135-144 [Conf]
  2. Juan José Sánchez Penas, Thomas Arts
    VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:247-248 [Conf]
  3. Thomas Arts, Juan José Sánchez Penas
    Global scheduler properties derived from local restrictions. [Citation Graph (0, 0)][DBLP]
    Erlang Workshop, 2002, pp:49-57 [Conf]
  4. Juan José Sánchez Penas, Carlos Abalde Ramiro
    Extending the VoDKA architecture to improve resource modelling. [Citation Graph (0, 0)][DBLP]
    Erlang Workshop, 2003, pp:15-22 [Conf]
  5. Lars-Åke Fredlund, Juan José Sánchez Penas
    Model Checking a Video-on-Demand Server Using McErlang. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:539-546 [Conf]

Search in 0.077secs, Finished in 0.078secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002