Get started
Author

Marisa Llorens

Observed names: Llorens, Marisa, M. Llorens
ORCID: 0000-0002-2790-0055
Observed ORCID: 0000-0002-2790-0055
OpenAlex ID: A5057653873
Structural and dynamic changes in concurrent systems: reconfigurable Petri nets
2004 · M. Llorens, J. Oliver · IEEE Transactions on Computers · 95
Dynamic Slicing Techniques for Petri Nets
2008 · M. Llorens, J. Oliver, et al. · Electronic Notes in Theoretical Computer Science · 28
PDF
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
2004 · Marisa Llorens, Javier Oliver · Lecture notes in computer science · 22
Modeling Concurrent Systems: Reconfigurable Nets.
2003 · Éric Badouel, Marisa Llorens, et al. · 21
The MEB and CEB Static Analysis for CSP Specifications
2009 · Michael Leuschel, Marisa Llorens, et al. · Lecture notes in computer science · 15
SOC: a slicer for CSP specifications
2009 · Michael Leuschel, Marisa Llorens, et al. · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 8
An Integrated Environment for Petri Net Slicing
2017 · Marisa Llorens, Javier Oliver, et al. · Lecture notes in computer science · 6
Marked-Controlled Reconfigurable Workflow Nets
2006 · Marisa Llorens, Javier Oliver · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) · 6
Dynamic slicing of concurrent specification languages
2016 · M. Llorens, J. Oliver, et al. · Parallel Computing · 5
PDF
Generating a Petri net from a CSP specification: A semantics-based method
2012 · M. Llorens, J. Oliver, et al. · Advances in Engineering Software · 5
An algorithm to generate the context-sensitive synchronized control flow graph
2010 · M. Llorens, J. Oliver, et al. · ACM Symposium on Applied Computing · 5
A Tracking Semantics for CSP
2010 · Marisa Llorens, Javier Oliver, et al. · Lecture notes in computer science · 5
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets
2006 · Llorens, Marisa, Oliver, Javier · 5
Static slicing of explicitly synchronized languages
2012 · Michael Leuschel, Marisa Llorens, et al. · Information and Computation · 4
PDF
MCReNet: a tool for marked-controlled reconfigurable nets
2005 · M. Llorens, J. Oliver · International Conference on the Quantitative Evaluation of Systems (QEST) · 4
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited
2023 · Carlos Galindo, Marisa Llorens, et al. · IEEE International Conference on Software Maintenance (ICSM) · 3
Maximal and Minimal Dynamic Petri Net Slicing
2023 · M. Llorens, J. Oliver, et al. · Fundamenta Informaticae · 2
Tracking CSP computations
2018 · M. Llorens, J. Oliver, et al. · Journal of Logical and Algebraic Methods in Programming · 2
PDF
Work in progress: Online resource platform for mathematics education
2014 · Marisa Llorens, Edmund Nevin, et al. · Iberian Conference on Information Systems and Technologies (CISTI) · 1
Competiciones de programación. Estímulo y salida laboral para los alumnos
2013 · Gómez, Jon A., Planells, Joaquín, et al. · UPCommons institutional repository (Universitat Politècnica de Catalunya) · 1
PDF
Graph Generation to Statically Represent CSP Processes
2011 · Marisa Llorens, Javier Oliver, et al. · Lecture notes in computer science · 1
PDF
Transforming Communicating Sequential Processes to Petri Nets
2010 · M. Llorens, J. Oliver, et al. · Civil-comp proceedings · 1
An empirical analysis of the influence of classmates on the academic performance
2013 · Carlos Herrero, Marisa Llorens, et al. · ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
The influence of students distribution on their grades
2013 · Carlos Herrero, Marisa Llorens, et al. · ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
Proyecto educativo popular y habitus docente
2012 · Lucía del M. Pruneda Paz, Marisa Llorens · VII Jornadas de Sociología de la Universidad Nacional de La Plata. "Argentina en el escenario latinoamericano actual: debates desde las ciencias sociales" (La Plata)
Works count: 26
Citation count: 245
H-index: 6
I10-index: 5
Year
Topic
Type