Modeling Concurrent Systems: Reconfigurable Nets. - Éric Badouel; Marisa Llorens; Javier Oliver 001 (PDPTA, 2003)

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. - Marisa Llorens; Javier Oliver 001 (ATVA, 2004)

Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. - Marisa Llorens; Javier Oliver 001 (IEEE Trans. Computers, 2004)

MCReNet: a tool for Marked-Controlled Reconfigurable Nets. - Marisa Llorens; Javier Oliver 001 (QEST, 2005)

Marked-Controlled Reconfigurable Workflow Nets. - Marisa Llorens; Javier Oliver 001 (SYNASC, 2006)

A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets. - Marisa Llorens; Javier Oliver 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

The MEB and CEB Static Analysis for CSP Specifications. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (LOPSTR, 2008)

Structural Dynamic Changes with CPNs. - Marisa Llorens; Javier Oliver 001; Oscar Vega (PDPTA, 2008)

Dynamic Slicing Techniques for Petri Nets. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit; Germán Vidal (RP, 2008)

SOC: a slicer for CSP specifications. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (PEPM, 2009)

Graph Generation to Statically Represent CSP Processes. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (LOPSTR, 2010)

A Tracking Semantics for CSP. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (MPC, 2010)

Translating CSP Specifications to Equivalent Petri Nets. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (PDPTA, 2010)

An algorithm to generate the context-sensitive synchronized control flow graph. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (SAC, 2010)

Generating a Petri net from a CSP specification: A semantics-based method. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Adv. Eng. Softw., 2012)

Static slicing of explicitly synchronized languages. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Inf. Comput., 2012)

The influence of students distribution on their grades. - Carlos Herrero; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (ITiCSE, 2013)

An empirical analysis of the influence of classmates on the academic performance. - Carlos Herrero; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (ITiCSE, 2013)

Online resource platform for mathematics education. - Marisa Llorens; Edmund Nevin; Eileen Mageean (FIE, 2014)

Dynamic slicing of concurrent specification languages. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Parallel Comput., 2016)

An Integrated Environment for Petri Net Slicing. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Petri Nets, 2017)

Tracking CSP computations. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

Maximal and minimal dynamic Petri net slicing. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (CoRR, 2021)

Maximal and Minimal Dynamic Petri Net Slicing. - Marisa Llorens; J. Oliver; Josep Silva; Salvador Tamarit (Fundam. Informaticae, 2022)

Slicing Petri Nets to Reduce Their Complexity - Abstract. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (ATAED/PN4TT@Petri Nets, 2023)

Context-sensitive analysis of data interference for concurrent programs. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (PNSE@Petri Nets, 2023)

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (ICSME, 2023)