dblp.uni-trier.dewww.uni-trier.de

Maria-Cristina V. Marinescu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EEJohn Field, Maria-Cristina V. Marinescu, Christian Stefansen: Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. Theor. Comput. Sci. 410(2-3): 168-201 (2009)
2007
6EEJohn Field, Maria-Cristina V. Marinescu, Christian Stefansen: Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. COORDINATION 2007: 76-95
2005
5EEVugranam C. Sreedhar, Maria-Cristina V. Marinescu: From statecharts to ESP: programming with events, states and predicates for embedded systems. EMSOFT 2005: 48-51
2003
4EEMaria-Cristina V. Marinescu, Martin C. Rinard: A Formal Framework for Modular Synchronous System Design. FME 2003: 482-502
2001
3EEMaria-Cristina V. Marinescu, Martin C. Rinard: High-level specification and efficient implementation of pipelined circuits. ASP-DAC 2001: 655-661
2 Maria-Cristina V. Marinescu, Martin C. Rinard: High-level automatic pipelining for sequential circuits. ISSS 2001: 215-220
1999
1 Maria-Cristina V. Marinescu, Martin C. Rinard: A Synthesis Algorithm for Modular Design of Pipelined Circuits. VLSI 1999: 620-635

Coauthor Index

1John Field [6] [7]
2Martin C. Rinard [1] [2] [3] [4]
3Vugranam C. Sreedhar [5]
4Christian Stefansen [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)