( en | de | ru )

 

Disambiguation of "Cortadella, Jordi"

Author of the publication

copydeleteadd this publication to your clipboard
Time elastic digital systems and Petri Nets.

, and . ACSD, page 1-2. IEEE, (2008)

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

Coupling Asynchrony and Interrupts: Place Chart Nets., , , , , and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 328-347. Springer, (1997)Structural Methods to Improve the Symbolic Analysis of Petri Nets., , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 26-45. Springer, (1999)Enabling adaptability through elastic clocks., , and . DAC, page 8-10. ACM, (2009)Synchronous Elastic Circuits with Early Evaluation and Token Counterflow., and . DAC, page 416-419. IEEE, (2007)Boolean Decomposition for AIG Optimization., and . ACM Great Lakes Symposium on VLSI, page 143-148. ACM, (2017)A region-based theory for state assignment in speed-independent circuits., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (8): 793-812 (1997)Formal methods for the analysis and synthesis of nanometer-scale cellular arrays., , , and . ACM J. Emerg. Technol. Comput. Syst., 4 (2): 8:1-8:27 (2008)Checking signal transition graph implementability by symbolic BDD traversal., , , , , and . ED&TC, page 325-332. IEEE Computer Society, (1995)Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models., and . BPM, volume 9850 of Lecture Notes in Computer Science, page 108-124. Springer, (2016)Log-Based Simplification of Process Models., , and . BPM, volume 9253 of Lecture Notes in Computer Science, page 457-474. Springer, (2015)