Concepedia

David de Frutos Escrig

DD

18

Publications

448

Citations

12

H-Index

1989

Active since

Affiliations

Universidad Complutense de Madrid(Current)

University of Castilla-La Mancha

David de Frutos Escrig is an author at Universidad Complutense de Madrid specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringComputational ComplexityVerificationLanguageSemantics

Publications per year

1989–2017

18

Publications

18

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

On non-decidability of reachability for timed-arc Petri nets

Valentín Valero, David de Frutos Escrig, Fernando Cuartero Gómez · 2003 · 59 citations

Petri Net, Reachability Analysis, Engineering +15

TIC: A timed calculus

Juan Quemada, David de Frutos Escrig, Arturo Azcorra · Formal Aspects of Computing · 1993 · 49 citations

TIC: A Timed Calculus for LOTOS

Juan Quemada, Arturo Azcorra, David de Frutos Escrig · Formal Techniques for (Networked and) Distributed Systems · 1989 · 47 citations

Programming Language Theory, Engineering, Computational Model Theory +6

Name Creation vs. Replication in Petri Net Systems

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

Rows per page

1–5 of 18