Eyad Alkassar
发表
Wolfgang J. Paul,
Alexandra Tsyban,
Artem Starostin,
2010,
VSTTE.
Mark A. Hillebrand,
Sergey Tverdyshev,
Eyad Alkassar,
2007,
VERIFY.
Kurt Mehlhorn,
Sascha Böhme,
Eyad Alkassar,
2011,
CAV.
Kurt Mehlhorn,
Sascha Böhme,
Eyad Alkassar,
2013,
Journal of Automated Reasoning.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Sascha Böhme,
Eyad Alkassar,
Christine Rizkallah,
2011
.
Mark A. Hillebrand,
Wolfgang J. Paul,
Alexandra Tsyban,
2009,
Ershov Memorial Conference.
Wolfgang J. Paul,
Eyad Alkassar,
Sebastian Bogan,
2009
.
Mark A. Hillebrand,
Alexandra Tsyban,
Artem Starostin,
2009,
Journal of Automated Reasoning.
Tom Ridge,
Frank Piessens,
Bart Jacobs,
2011
.
Mark A. Hillebrand,
Wolfgang J. Paul,
Eyad Alkassar,
2010,
VSTTE.
Mark A. Hillebrand,
Eyad Alkassar,
2008,
VSTTE.
Wolfgang J. Paul,
Mikhail Kovalev,
Ernie Cohen,
2012,
VSTTE.
Sergey Tverdyshev,
Eyad Alkassar,
2008,
2008 15th International Symposium on Temporal Representation and Reasoning.
Kurt Mehlhorn,
Pascal Schweitzer,
Sascha Böhme,
2011,
it Inf. Technol..
Mark A. Hillebrand,
Ernie Cohen,
Eyad Alkassar,
2010,
Formal Methods in Computer Aided Design.
Eyad Alkassar,
Steffen Knapp,
Peter Böhm,
2008,
DIPES.
Mark A. Hillebrand,
Wolfgang J. Paul,
Mikhail Kovalev,
2010,
Formal Methods in Computer Aided Design.
Eyad Alkassar,
Eyad Alkassar,
2009
.
Mark A. Hillebrand,
Artem Starostin,
Norbert Schirmer,
2008,
VSTTE.
Artem Starostin,
Norbert Schirmer,
Eyad Alkassar,
2008,
TACAS.
Eyad Alkassar,
Steffen Knapp,
Peter Böhm,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.