Checking Pedigree Consistency with PCS. - Panagiotis Manolios; Marc Galceran Oms; Sergi Oliva Valls (TACAS, 2007)

Correct-by-construction microarchitectural pipelining. - Timothy Kam; Michael Kishinevsky; Jordi Cortadella; Marc Galceran Oms (ICCAD, 2008)

Retiming and recycling for elastic systems with early evaluation. - Dmitry Bufistov; Jordi Cortadella; Marc Galceran Oms; Jorge Júlvez; Michael Kishinevsky (DAC, 2009)

Speculation in elastic systems. - Marc Galceran Oms; Jordi Cortadella; Michael Kishinevsky (DAC, 2009)

Automatic microarchitectural pipelining. - Marc Galceran Oms; Jordi Cortadella; Dmitry Bufistov; Michael Kishinevsky (DATE, 2010)

Symbolic performance analysis of elastic systems. - Marc Galceran Oms; Jordi Cortadella; Michael Kishinevsky (ICCAD, 2010)

Elastic systems. - Jordi Cortadella; Marc Galceran Oms; Michael Kishinevsky (MEMOCODE, 2010)

Microarchitectural Transformations Using Elasticity. - Marc Galceran Oms; Alexander Gotmanov; Jordi Cortadella; Michael Kishinevsky (ACM J. Emerg. Technol. Comput. Syst., 2011)

RTL Synthesis: From Logic Synthesis to Automatic Pipelining. - Jordi Cortadella; Marc Galceran Oms; Michael Kishinevsky; Sachin S. Sapatnekar (Proc. IEEE, 2015)

RTL-Aware Dataflow-Driven Macro Placement. - Alex Vidal-Obiols; Jordi Cortadella; Jordi Petit; Marc Galceran Oms; Ferran Martorell (DATE, 2019)

Multilevel Dataflow-Driven Macro Placement Guided by RTL Structure and Analytical Methods. - Alex Vidal-Obiols; Jordi Cortadella; Jordi Petit; Marc Galceran Oms; Ferran Martorell (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)