Cristian Masalagiu

Available identifiers

zbMath Open masalagiu.cristianMaRDI QIDQ1037240

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3457291	2015-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3145291	2012-12-19	Paper
A rigorous methodology for specification and verification of business processes	2009-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5457670	2008-04-14	Paper
About the Collatz conjecture	1998-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4864793	1996-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q3976969	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3976970	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3350793	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207571	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207592	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3489463	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3759973	1985-01-01	Paper
Nivat's processing systems: decision problems related to protection and synchronization	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3221430	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673136	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926048	1981-01-01	Paper

Research outcomes over time

This page was built for person: Cristian Masalagiu