( en | de | ru )

 

Disambiguation of "Cortadella, Jordi"

Author of the publication

copydeleteadd this publication to your clipboard
Coupling Asynchrony and Interrupts: Place Chart Nets.

, , , , , and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 328-347. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Jording

Guido Jordine

Jordi Serangeli

Jordi Serratosa

Ulrich Jordi

 

Other publications of authors with the same name

Automatic microarchitectural pipelining., , , and . DATE, page 961-964. IEEE Computer Society, (2010)RTL-Aware Dataflow-Driven Macro Placement., , , , and . DATE, page 186-191. IEEE, (2019)Petri Net Analysis Using Boolean Manipulation., , , and . Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 416-435. Springer, (1994)Integrating formal verification in an online judge for e-Learning logic circuit design., , , and . SIGCSE, page 451-456. ACM, (2012)Verification of timed circuits with symbolic delays., and . ASP-DAC, page 628-633. IEEE Computer Society, (2004)Process Mining Meets Abstract Interpretation., and . ECML/PKDD (1), volume 6321 of Lecture Notes in Computer Science, page 184-199. Springer, (2010)Verification of Concurrent Systems with Parametric Delays Using Octahedra., and . ACSD, page 122-131. IEEE Computer Society, (2005)A structural encoding technique for the synthesis of asynchronous circuits., , and . ACSD, page 157-166. IEEE Computer Society, (2001)Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking., , , and . FPGA, page 27-37. ACM, (2023)Optimizing CMOS Circuits for Low Power Using Transistor Reordering., and . ED&TC, page 219-223. IEEE Computer Society, (1996)