default search action

combined dblp search
author search
venue search
publication search

ask others

Juan José Sánchez Penas

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/FredlundP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/FredlundP07
Lars-Åke Fredlund, Juan José Sánchez Penas:
Model Checking a Video-on-Demand Server Using McErlang. EUROCAST 2007: 539-546
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/ArtsEP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/ArtsEP04
Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas:
Translating Erlang to µCRL. ACSD 2004: 135-144
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/PenasA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/PenasA03
Juan José Sánchez Penas, Thomas Arts:
VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD 2003: 247-248
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/PenasR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/PenasR03
Juan José Sánchez Penas, Carlos Abalde Ramiro:
Extending the VoDKA architecture to improve resource modelling. Erlang Workshop 2003: 15-22
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/ArtsP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/ArtsP02
Thomas Arts, Juan José Sánchez Penas:
Global scheduler properties derived from local restrictions. Erlang Workshop 2002: 49-57

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.