Formalization of petri nets with clocks. - Robert Uzal; Daniel Riesco; German Montejano; Gabriel Vilallonga; Narayan C. Debnath (J. Comput. Methods Sci. Eng., 2005)

An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes. - Narayan C. Debnath; Daniel Riesco; Gabriel Vilallonga; Robert Uzal; Daniel Welch 002; German Montejano; Sergio Gallina (AICCSA, 2009)

In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study. - Gabriel Vilallonga; Daniel Riesco; Antônio-Carlos Guimarães de Almeida; Antônio Márcio Rodrigues; Sérgio Vale Aguiar Campos (IEEE ACM Trans. Comput. Biol. Bioinform., 2021)