Concepedia

Fernando Rosa-Velardo

FR

9

Publications

225

Citations

9

H-Index

2006

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Fernando Rosa-Velardo is an author at Universidad Complutense de Madrid specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningMobile ComputingComputational ComplexityVerificationData SecurityCloud Computing

Publications per year

2006–2017

9

Publications

9

Decidability and complexity of Petri nets with unordered data

Fernando Rosa-Velardo, David de Frutos Escrig · Theoretical Computer Science · 2011 · 74 citations

Petri Net, Engineering, Reachability Problem +7

Name Creation vs. Replication in Petri Net Systems

Fernando Rosa-Velardo, David de Frutos Escrig · Lecture notes in computer science · 2007 · 38 citations

On the Expressiveness of Mobile Synchronizing Petri Nets

Fernando Rosa-Velardo, David de Frutos Escrig, Olga Marroquín-Alonso · Electronic Notes in Theoretical Computer Science · 2007 · 24 citations · Full text

Petri Net, Engineering, Information Security +18

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems

Fernando Rosa-Velardo, Olga Marroquín-Alonso, David de Frutos Escrig · Electronic Notes in Theoretical Computer Science · 2006 · 22 citations · Full text

Petri Net, Engineering, Hardware Security +20

Ordinal recursive complexity of Unordered Data Nets

Fernando Rosa-Velardo · Information and Computation · 2017 · 18 citations

Circuit Complexity, Engineering, Ordinal Recursive Complexity +7

Rows per page

1–5 of 9