Jordi Cortadella

Available identifiers

zbMath Open cortadella.jordiWikidataQ30122211 ScholiaQ30122211MaRDI QIDQ708893

List of research outcomes

Publication	Date of Publication	Type
Generation of synchronizing state machines from a transition system: a region-based approach	2023-06-21	Paper
Coupling asynchrony and interrupts: Place Chart Nets	2022-12-09	Paper
Verification of asynchronous circuits by BDD-based model checking of Petri nets	2022-08-16	Paper
Symbolic analysis of bounded Petri nets	2018-07-09	Paper
Deriving Petri nets from finite transition systems	2018-07-09	Paper
A Recursive Paradigm to Solve Boolean Relations	2017-08-08	Paper
New Region-Based Algorithms for Deriving Bounded Petri Nets	2017-07-27	Paper
A Scheduling Strategy for Synchronous Elastic Designs	2012-07-04	Paper
On the performance evaluation of multi-guarded marked graphs with single-server semantics	2010-10-15	Paper
Design Automation of Real-Life Asynchronous Devices and Systems	2010-09-21	Paper
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms	2009-03-11	Paper
Elasticity and Petri Nets	2009-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5295510	2007-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q5295512	2007-07-30	Paper
The octahedron abstract domain	2007-01-22	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4824479	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q3045254	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4427917	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417601	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4547952	2003-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q2766547	2002-06-17	Paper
High-radix division and square-root with speculation	1994-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jordi Cortadella