Gabriel Vilallonga

Orcid: 0000-0002-5590-9807

According to our database1, Gabriel Vilallonga authored at least 3 papers between 2005 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021

2009
An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2005
Formalization of petri nets with clocks.
J. Comput. Methods Sci. Eng., 2005


  Loading...