Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits. - Marco A. Peña; Jordi Cortadella (ASYNC, 1996)

Partial order based approach to synthesis of speed-independent circuits. - Alexei L. Semenov; Alexandre Yakovlev; Enric Pastor; Marco A. Peña; Jordi Cortadella; Luciano Lavagno (ASYNC, 1997)

Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. - Oriol Roig; Jordi Cortadella; Marco A. Peña; Enric Pastor (DAC, 1997)

Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. - Alexei L. Semenov; Alexandre Yakovlev; Enric Pastor; Marco A. Peña; Jordi Cortadella (DAC, 1997)

Structural Methods to Improve the Symbolic Analysis of Petri Nets. - Enric Pastor; Jordi Cortadella; Marco A. Peña (ICATPN, 1999)

Formal Verification of Safety Properties in Timed Circuits. - Marco A. Peña; Jordi Cortadella; Enric Pastor; Alex Kondratyev (ASYNC, 2000)

A Case Study for the Verification of Complex Timed Circuits: IPCMOS. - Marco A. Peña; Jordi Cortadella; Alexander B. Smirnov; Enric Pastor (DATE, 2002)

Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems. - Enric Pastor; Marco A. Peña (CHARME, 2003)

Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. - Enric Pastor; Marco A. Peña (DATE, 2003)

Relative timing based verification of concurrent systems. - Marco A. Peña (2003)

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. - Enric Pastor; Marco A. Peña; Marc Solé (CAV, 2005)

Urban Growth, Real Estate Development and Indigenous Property: Simulating the Expansion Process in the City of Temuco, Chile. - Francisco Maturana; Mauricio Morales; Fernando Peña-Cortés; Marco A. Peña; Carlos Vielma (ISPRS Int. J. Geo Inf., 2021)