Mirtha Lina Fernández Venero

According to our database, Mirtha Lina Fernández Venero authored at least 12 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Model checking multi-level and recursive nets.

Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva

Softw. Syst. Model., 2017

2014

A general translation from nested Petri nets into PROMELA.

Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva

CoRR, 2014

Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments.

Mirtha Lina Fernández Venero

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

2013

Interaction protocols for cross-organisational workflows.

Flávio Soares Corrêa da Silva, Mirtha Lina Fernández Venero, Diego Mira David, Mohammad Saleem, Paul W. H. Chung

Knowl. Based Syst., 2013

Modeling and Simulating Interaction Protocols Using Nested Petri Nets.

Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva

Proceedings of the Software Engineering and Formal Methods, 2013

OpenMuseum: uma estrutura para colaboração entre instituições de patrimônio cultural.

Mirtha-Lina Fernández, Cláudia Josimar Abrão de Araújo, Diego Mira David, Flávio S. Corrêa da Silva, Ana Magalhães

Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

On the Use of SPIN for Studying the Behavior of Nested Petri Nets.

Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2005

On proving C_E-termination of rewriting by size-change termination.

Mirtha-Lina Fernández

Inf. Process. Lett., 2005

Relaxing monotonicity for innermost termination.

Mirtha-Lina Fernández

Inf. Process. Lett., 2005

Orderings for Innermost Termination.

Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Recursive Path Orderings Can Also Be Incremental.

Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio

Proceedings of the Logic for Programming, 2005

2001

A graph distance metric combining maximum common subgraph and minimum common supergraph.

Mirtha-Lina Fernández, Gabriel Valiente

Pattern Recognit. Lett., 2001