Jad Hamza
发表
Constantin Enea,
Michael Emmi,
Jad Hamza,
2015,
PLDI.
Jad Hamza,
2018,
Computing.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
POPL.
Marko Vukolic,
Rachid Guerraoui,
Dragos-Adrian Seredinschi,
2019,
ArXiv.
Romain Edelmann,
Jad Hamza,
Viktor Kunčak,
2020,
PLDI.
Rachid Guerraoui,
Constantin Enea,
Ahmed Bouajjani,
2016,
POPL.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
ECOOP.
Constantin Enea,
Ahmed Bouajjani,
Jad Hamza,
2014,
POPL.
Viktor Kuncak,
Romain Edelmann,
Jad Hamza,
2019,
ArXiv.
Mikaël Mayer,
Jad Hamza,
2016,
ArXiv.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
Dagstuhl Artifacts Ser..
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2013,
ESOP.
Jad Hamza,
2015,
NETYS.
Rachid Guerraoui,
Gregor Gößler,
Alain Girault,
2018,
FORTE.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
ICALP.
Viktor Kuncak,
Olivier Blanvillain,
Jad Hamza,
2020,
ArXiv.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
ICALP.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
ArXiv.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
FSTTCS.
Viktor Kuncak,
Nicolas Voirol,
Jad Hamza,
2019,
ArXiv.
Viktor Kuncak,
Barbara Jobstmann,
Jad Hamza,
2010,
Formal Methods in Computer Aided Design.
Rachid Guerraoui,
Gregor Gößler,
Alain Girault,
2017,
ArXiv.
Viktor Kuncak,
Jad Hamza,
2019,
VMCAI.
Viktor Kuncak,
Jad Hamza,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).