Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Radu
Last name:	Mateescu
DBLP:	11/4980
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 55  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya. Composition and abstraction of logical regulatory modules: application to multicellular systems.	Bioinformatics 2013, Volume 29	(0)	2013
	Conference paper Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2011: a toolbox for the construction and analysis of distributed processes.	STTT 2013, Volume 15	(0)	2013
	Conference paper Radu Mateescu, Gwen Salaün. PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.	Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013	(0)	2013
	Conference paper Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Verification of EB	Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings 2013	(0)	2013
	Conference paper Radu Mateescu, Wendelin Serwe. Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.	Sci. Comput. Program. 2012, Volume 78	(0)	2013
	Conference paper Frédéric Lang, Radu Mateescu. Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.	Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proce 2012	(0)	2012
	Conference paper Radu Mateescu, Anton Wijs. Sequential and distributed on-the-fly computation of weak tau-confluence.	Sci. Comput. Program. 2012, Volume 77	(0)	2012
	Conference paper Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.	IEEE Trans. Software Eng. 2012, Volume 38	(0)	2012
	Conference paper Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.	Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 2011	(0)	2011
	Conference paper Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong. CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.	Theor. Comput. Sci. 2011, Volume 412	(0)	2011

Show item 1 to 10 of 55  

Your query returned 55 matches in the database.