Razvan Diaconescu

发表

Razvan Diaconescu, Marius Petria, 2010, Arch. Math. Log..
Razvan Diaconescu, 2010, J. Log. Algebraic Methods Program..
Razvan Diaconescu, 2014, Soft Comput..
Razvan Diaconescu, 2012, Math. Struct. Comput. Sci..
Razvan Diaconescu, R. Diaconescu, 1997, Appl. Categorical Struct..
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1994, Mathematical Structures in Computer Science.
Manuel A. Martins, Luís Soares Barbosa, Razvan Diaconescu, 2011, CALCO.
Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida, 1999, World Congress on Formal Methods.
Razvan Diaconescu, R. Diaconescu, 2004, Inf. Process. Lett..
Dorel Lucanu, Razvan Diaconescu, Kokichi Futatsugi, 1998 .
Razvan Diaconescu, Ionut Tutu, 2014, J. Log. Algebraic Methods Program..
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1992, COMPASS/ADT.
Till Mossakowski, Razvan Diaconescu, Martin Glauer, 2019, FLAP.
Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida, 1999, Behavioral Specifications of Businesses and Systems.
Razvan Diaconescu, 2011, Inf. Comput..
Razvan Diaconescu, 2016, Theor. Comput. Sci..
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1992, Bull. EATCS.
Razvan Diaconescu, 2011, Math. Log. Q..
Razvan Diaconescu, Kokichi Futatsugi, 1998, WRLA.
Razvan Diaconescu, Petros S. Stefaneas, R. Diaconescu, 2007, Theor. Comput. Sci..
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1995, AMAST.
Razvan Diaconescu, 2009, Acta Informatica.
Kazuhiro Ogata, Razvan Diaconescu, Kokichi Futatsugi, 2003, Comput. Artif. Intell..
Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki, 2009, Logica Universalis.
Razvan Diaconescu, 2014, Specification, Algebra, and Software.
Razvan Diaconescu, Marius Petria, 2006, J. Symb. Log..
Razvan Diaconescu, R. Diaconescu, 2013, Fuzzy Sets Syst..
Razvan Diaconescu, Alexandre Madeira, 2016, Math. Struct. Comput. Sci..
Razvan Diaconescu, 2002, Appl. Categorical Struct..
Razvan Diaconescu, 2009, Inf. Process. Lett..
Razvan Diaconescu, Kokichi Futatsugi, K. Futatsugi, 1998, AMAST Series in Computing.
Razvan Diaconescu, 2011, Inf. Comput..
Razvan Diaconescu, R. Diaconescu, 2002, Fundam. Informaticae.
Razvan Diaconescu, 2004, J. Log. Comput..
Marc Aiguier, Razvan Diaconescu, 2007, Inf. Process. Lett..
Razvan Diaconescu, Ionut Tutu, 2011, Theor. Comput. Sci..
Razvan Diaconescu, 2017, J. Log. Comput..
Razvan Diaconescu, R. Diaconescu, 1995, COMPASS/ADT.
Razvan Diaconescu, 2012, J. Log. Comput..
Razvan Diaconescu, 2006, Essays Dedicated to Joseph A. Goguen.
Razvan Diaconescu, 2000, Math. Struct. Comput. Sci..
Razvan Diaconescu, 2012, Theor. Comput. Sci..
Razvan Diaconescu, Kokichi Futatsugi, 2000, J. Univers. Comput. Sci..
Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki, 2014, Logica Universalis.
Razvan Diaconescu, 2015, Inf. Process. Lett..
Razvan Diaconescu, 2011, Appl. Categorical Struct..
Razvan Diaconescu, 2004, Theor. Comput. Sci..
Razvan Diaconescu, Kokichi Futatsugi, K. Futatsugi, 2002, Theor. Comput. Sci..
Razvan Diaconescu, 1992, J. Comput. Syst. Sci..
Razvan Diaconescu, 2005, Theor. Comput. Sci..
Razvan Diaconescu, R. Diaconescu, 1995, Mathematical Structures in Computer Science.
Razvan Diaconescu, 2006, J. Log. Comput..
Razvan Diaconescu, 2015, Comput. Sci. J. Moldova.
Razvan Diaconescu, 2008, Inf. Process. Lett..