( en | de | ru )

 

Disambiguation of "Peña, Marco A."

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.

, , , , and . DAC, page 16-21. ACM Press, (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.

Miguel Angel Peña A

Marco Vinicio Peña Alvarado

Jorge Alejandro Peña Sebald

Effektivität und Angemessenheit: Messung interkultureller Kompetenz im Assessment Center. Uni Jena, (2008)

Miguel Peña

Hugo Peña-Cortés

 

Other publications of authors with the same name

Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems., and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 378-393. Springer, (2003)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)Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits., , , and . DAC, page 620-625. ACM Press, (1997)Formal Verification of Safety Properties in Timed Circuits., , , and . ASYNC, page 2-11. IEEE Computer Society, (2000)Urban Growth, Real Estate Development and Indigenous Property: Simulating the Expansion Process in the City of Temuco, Chile., , , , and . ISPRS Int. J. Geo Inf., 10 (2): 101 (2021)Combining Simulation and Guided Traversal for the Verification of Concurrent Systems., and . DATE, page 11158-11159. IEEE Computer Society, (2003)Relative timing based verification of concurrent systems.. Polytechnic University of Catalonia, Spain, (2003)Partial order based approach to synthesis of speed-independent circuits., , , , , and . ASYNC, page 254-. IEEE Computer Society, (1997)Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits., and . ASYNC, page 222-232. IEEE Computer Society, (1996)TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 424-428. Springer, (2005)