Hassan Hatefi

发表

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014 .

Holger Hermanns, Jan Krcál, Hassan Hatefi, 2015, ATVA.

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014, ATVA.

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, ArXiv.

Jan Krcál, Vahid Hashemi, Hassan Hatefi, 2014, SynCoP.

Holger Hermanns, Hassan Hatefi, 2013, FSEN.

Holger Hermanns, Hassan Hatefi, 2015, Sci. Comput. Program..

Daniel Gebler, Florian Arnold, Dennis Guck, 2012, ROCKS.

Bernd Becker, Holger Hermanns, Luis María Ferrer Fioriti, 2014, QAPL.

Holger Hermanns, Hassan Hatefi, H. Hermanns, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2014, Log. Methods Comput. Sci..

Bernd Becker, Holger Hermanns, Luis María Ferrer Fioriti, 2015, VMCAI.

Bernd Becker, Holger Hermanns, Luis María Ferrer Fioriti, 2015, Formal Aspects of Computing.

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, QEST.

Bernd Becker, Holger Hermanns, Luis María Ferrer Fioriti, 2015, SETTA.