D. Ghica
发表
Khulood AlYahya,
D. Ghica,
2019
.
Khulood AlYahya,
D. Ghica,
2017
.
A. Jung,
D. Ghica,
Aliaume Lopez,
2017
.
Alex I. Smith,
D. Ghica,
M. Menaa,
2011
.
D. Ghica,
2007
.
S. Cheung,
D. Ghica,
Koko Muroya,
2019
.
Alexander K. Petrenko,
Bernhard K. Aichernig,
Tomasz Janowski,
2008
.
D. Ghica,
Olle Fredriksson,
Bertram Wheen,
2014
.
D. Ghica,
M. Menaa,
2010
.
S. P. Näsholm,
M. Ripepe,
E. Marchetti,
2017,
Pure and Applied Geophysics.
Todd Waugh Ambridge,
D. Ghica,
Koko Muroya,
2019
.
Alex I. Smith,
D. Ghica,
2014
.
D. Ghica,
F. Zanasi,
David Sprunger,
2022,
FSCD.
D. Ghica,
G. Kaye,
2021
.
Dan R. Ghica,
D. Ghica,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Dan R. Ghica,
Mohamed Nabih Menaa,
D. Ghica,
2011,
FoSSaCS.
Dan R. Ghica,
D. Ghica,
2009,
ArXiv.
Dan R. Ghica,
Robert D. Tennent,
R. D. Tennent,
2000,
High. Order Symb. Comput..
Dan R. Ghica,
Khulood AlYahya,
Khulood AlYahya,
2019,
J. Log. Algebraic Methods Program..
Dan R. Ghica,
Khulood AlYahya,
Khulood AlYahya,
2017,
ICE@DisCoTec.
Dan R. Ghica,
Alex I. Smith,
D. Ghica,
2011,
POPL '11.
Dan R. Ghica,
Olle Fredriksson,
Bertram Wheen,
2014,
IFL.
Dan R. Ghica,
Olle Fredriksson,
D. Ghica,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Dan R. Ghica,
Adam Bakewell,
D. Ghica,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
D. Ghica,
David Sprunger,
G. Kaye,
2022,
2201.10456.
Dan R. Ghica,
Mohamed Nabih Menaa,
D. Ghica,
2010,
CONCUR.
Dan R. Ghica,
D. Ghica,
2007,
POPL '07.
Dan R. Ghica,
Aliaume Lopez,
Achim Jung,
2017,
CSL.
Dan R. Ghica,
Achim Jung,
A. Jung,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
D. Ghica,
G. Kaye,
2023,
FSCD.
D. Ghica,
F. Zanasi,
Paul W. Wilson,
2022,
CSL.
Dan R. Ghica,
David Sprunger,
Fabio Zanasi,
2021,
CSL.
Dan R. Ghica,
Koko Muroya,
D. Ghica,
2017,
CSL.
D. Ghica,
David Sprunger,
G. Kaye,
2022,
ArXiv.
Dan R. Ghica,
D. Ghica,
2013,
Computation, Logic, Games, and Quantum Foundations.
Dan R. Ghica,
R. D. Tennent,
D. Ghica,
2003
.
Dan R. Ghica,
Alex I. Smith,
D. Ghica,
2014,
ESOP.
D. Ghica,
2019,
ArXiv.
Dan R. Ghica,
Steven Cheung,
Koko Muroya,
2017,
ArXiv.
Dan R. Ghica,
Todd Waugh Ambridge,
D. Ghica,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dan R. Ghica,
Todd Waugh Ambridge,
D. Ghica,
2020,
ArXiv.
Dan R. Ghica,
D. Ghica,
1998
.
Andrzej S. Murawski,
C.-H. Luke Ong,
Samson Abramsky,
2004,
TACAS.
Dan R. Ghica,
D. Ghica,
2005,
POPL '05.
D. Ghica,
Aliaume Lopez,
2017,
QPL.
D. Ghica,
2022
.
Dan R. Ghica,
Koko Muroya,
Todd Waugh Ambridge,
2019,
ArXiv.
Tomoko Izumi,
Yoshio Nakatani,
Alex I. Smith,
2013,
FCCM 2014.