A Synthesis Algorithm for Modular Design of Pipelined Circuits. - Maria-Cristina V. Marinescu; Martin C. Rinard (VLSI, 1999)

High-level specification and efficient implementation of pipelined circuits. - Maria-Cristina V. Marinescu; Martin C. Rinard (ASP-DAC, 2001)

High-level automatic pipelining for sequential circuits. - Maria-Cristina V. Marinescu; Martin C. Rinard (ISSS, 2001)

A Formal Framework for Modular Synchronous System Design. - Maria-Cristina V. Marinescu; Martin C. Rinard (FME, 2003)

From statecharts to ESP: programming with events, states and predicates for embedded systems. - Vugranam C. Sreedhar; Maria-Cristina V. Marinescu (EMSOFT, 2005)

A Timing-Based Classification Method for Human Voice in Opera Recordings. - Maria-Cristina V. Marinescu; Rafael Ramírez 001 (ICMLA, 2009)

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. - John Field; Maria-Cristina V. Marinescu; Christian Stefansen (Theor. Comput. Sci., 2009)

Leveraging social networks for understanding the evolution of epidemics. - Gonzalo Martín 001; Maria-Cristina V. Marinescu; David E. Singh; Jesús Carretero 001 (BMC Syst. Biol., 2011)

Runtime Support for Adaptive Resource Provisioning in MPI Applications. - Gonzalo Martín 001; David E. Singh; Maria-Cristina V. Marinescu; Jesús Carretero 001 (EuroMPI, 2012)

Cross Layer Adaptation of Check Intervals in Low Power Listening MAC Protocols for Lifetime Improvement in Wireless Sensor Networks. - Soledad Escolar; Stefano Chessa; Jesús Carretero 001; Maria-Cristina V. Marinescu (Sensors, 2012)

FLEX-MPI: An MPI Extension for Supporting Dynamic Load Balancing on Heterogeneous Non-dedicated Systems. - Gonzalo Martín 001; Maria-Cristina V. Marinescu; David E. Singh; Jesús Carretero 001 (Euro-Par, 2013)

Parallel algorithm for simulating the spatial transmission of influenza in EpiGraph. - Gonzalo Martín 001; David E. Singh; Maria-Cristina V. Marinescu; Jesús Carretero 001 (EuroMPI, 2013)

Fusing statecharts and java. - Maria-Cristina V. Marinescu; César Sánchez 001 (ACM Trans. Embed. Comput. Syst., 2013)

Estimating Energy Savings in Smart Street Lighting by Using an Adaptive Control System. - Soledad Escolar; Jesús Carretero 001; Maria-Cristina V. Marinescu; Stefano Chessa (Int. J. Distributed Sens. Networks, 2014)

Models for sustainability. - Berta Cormenzana; Maria-Cristina V. Marinescu; Mónica Marrero; Sergio Mendoza; Salvador Rueda; Rosario Uceda-Sosa (ISC2, 2015)

Towards efficient large scale epidemiological simulations in EpiGraph. - Gonzalo Martín 001; David E. Singh; Maria-Cristina V. Marinescu; Jesús Carretero 001 (Parallel Comput., 2015)

Enhancing the performance of malleable MPI applications by using performance-aware dynamic reconfiguration. - Gonzalo Martín 001; David E. Singh; Maria-Cristina V. Marinescu; Jesús Carretero 001 (Parallel Comput., 2015)

Abduction for Learning Smart City Rules. - Nikolaj S. Bjørner; Maria-Cristina V. Marinescu; Mooly Sagiv (GCAI, 2017)

Connected OFCity: Technology Innovations for a Smart City Project [Invited]. - Rodney S. Tucker; Marco Ruffini; Luca Valcarenghi; Divanilson R. Campelo; Dimitra Simeonidou; Liang B. Du; Maria-Cristina V. Marinescu; Catherine A. Middleton; Shuang Yin; Tim Forde; Kevin Bourg; Eugene Dai; et al. (JOCN, 2017)

Core-Guided Minimal Correction Set and Core Enumeration. - Nina Narodytska; Nikolaj S. Bjørner; Maria-Cristina V. Marinescu; Mooly Sagiv (IJCAI, 2018)

A Semantic Model to Fight Social Exclusion. - Victor-Alejandro Ortiz; Montserrat Estañol; Maria-Cristina V. Marinescu; Maria-Ribera Sancho; Ernest Teniente; Carmen Rueda (MoDELS (Companion), 2019)

Improving object detection in paintings based on time contexts. - Maria-Cristina V. Marinescu; Artem Reshetnikov; Joaquim Moré López (ICDM (Workshops), 2020)

Data Management in EpiGraph COVID-19 Epidemic Simulator. - Miguel Guzmán-Merino; Christian Durán; Maria-Cristina V. Marinescu; Concepción Delgado-Sanz; Diana Gomez-Barroso; Jesús Carretero 001; David E. Singh (Euro-Par Workshops, 2021)

Assessing population-sampling strategies for reducing the COVID-19 incidence. - Miguel Guzmán-Merino; Christian Durán; Maria-Cristina V. Marinescu; Concepción Delgado-Sanz; Diana Gomez-Barroso; Jesús Carretero 001; David E. Singh (Comput. Biol. Medicine, 2021)

Ten simple rules for making a vocabulary FAIR. - Simon J. D. Cox; Alejandra N. González-Beltrán; Barbara Magagna; Maria-Cristina V. Marinescu (PLoS Comput. Biol., 2021)

Evaluating the spread of Omicron COVID-19 variant in Spain. - Miguel Guzmán-Merino; Maria-Cristina V. Marinescu; David E. Singh (CCGRID, 2022)

DEArt: Dataset of European Art. - Artem Reshetnikov; Maria-Cristina V. Marinescu; Joaquim Moré López (ECCV Workshops (1), 2022)

Automated metadata annotation: What is and is not possible with machine learning. - Mingfang Wu; Hans Brandhorst; Maria-Cristina V. Marinescu; Joaquim Moré López; Marjorie M. K. Hlava; Joseph A. Busch (Data Intell., 2023)

Evaluating the spread of Omicron COVID-19 variant in Spain. - Miguel Guzmán-Merino; Maria-Cristina V. Marinescu; Alberto Cascajo; Jesús Carretero 001; David E. Singh (Future Gener. Comput. Syst., 2023)