Karl Meinke
发表
Karl Meinke,
1990,
ADT.
Karl Meinke,
1994,
COMPASS/ADT.
Karl Meinke,
1996,
Theor. Comput. Sci..
DeJiu Chen,
Karl Meinke,
Christoph Baumann,
2015,
2015 IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS).
Karl Meinke,
Piotr Kosiuczenko,
K. Meinke,
1996,
Inf. Comput..
Neil Walkinshaw,
Karl Meinke,
Neil Walkinshaw,
2012,
ISoLA.
Karl Meinke,
J. V. Tucker,
K. Meinke,
1988,
Concurrency.
Carl Bergenhem,
Karl Meinke,
Fabian Ström,
2018,
ISoLA.
Karl Meinke,
1992,
CTRS.
Karl Meinke,
K. Meinke,
2003,
J. Comput. Syst. Sci..
Egon Börger,
Yuri Gurevich,
Karl Meinke,
1993
.
Karl Meinke,
2000,
SAM.
Yuri Gurevich,
Karl Meinke,
Egon Börger,
1994
.
Karl Meinke,
Amel Bennaceur,
A. Bennaceur,
2018,
Machine Learning for Dynamic Software Analysis.
Karl Meinke,
Hamed Nemati,
Hojat Khosrowjerdi,
2020,
TAP@STAF.
Hugh Glaser,
Karl Meinke,
Catuscia Palamidessi,
1998
.
Karl Meinke,
K. Meinke,
2017,
EPEW.
Karl Meinke,
Peter Nycander,
2015,
SEFM Workshops.
Karl Meinke,
K. Meinke,
2004,
ISSTA '04.
Egon Börger,
Yuri Gurevich,
Karl Meinke,
1994,
CSL.
Huajiang Ouyang,
Karl Meinke,
Hu Shaolin,
2011
.
Karl Meinke,
K. Meinke,
2006,
Essays Dedicated to Joseph A. Goguen.
Karl Meinke,
B. M. Hearn,
K. Meinke,
1993,
HOA.
Hugh Glaser,
Karl Meinke,
Catuscia Palamidessi,
1998
.
Karl Meinke,
Li Ye,
Hu Shaolin,
2012
.
Lei Feng,
Peter Y. H. Wong,
Karl Meinke,
2013,
ICTSS.
Karl Meinke,
Muddassar A. Sindhu,
2012,
ArXiv.
Karl Meinke,
Shaolin Hu,
R. S Chen,
2006
.
Karl Meinke,
Fei Niu,
K. Meinke,
2011,
ICTSS.
Karl Meinke,
Fei Niu,
K. Meinke,
2012,
ISoLA.
Karl Meinke,
K. Meinke,
2010,
ICGI.
Karl Meinke,
Muddassar Azam Sindhu,
K. Meinke,
2010,
ACML 2010.
Sigrid Eldh,
Karl Meinke,
Aravind Nair,
2019,
MaLTeSQuE@ESEC/SIGSOFT FSE.
Karl Meinke,
Fei Niu,
K. Meinke,
2010,
ICTSS.
Karl Meinke,
K. Meinke,
1995,
HOA.
Karl Meinke,
Muddassar A. Sindhu,
K. Meinke,
2011,
TAP@TOOLS.
Karl Meinke,
L. Jason Steggles,
K. Meinke,
1993,
HOA.
Xiaofeng Wang,
Karl Meinke,
Shaolin Hu,
2011,
AICI.
Reiner Hähnle,
Dimitra Giannakopoulou,
Karl Meinke,
2016,
Dagstuhl Reports.
Karl Meinke,
Muddassar A. Sindhu,
K. Meinke,
2012,
ArXiv.
Karl Meinke,
K. Meinke,
1997,
J. Comput. Syst. Sci..
Karl Meinke,
Muddassar A. Sindhu,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Karl Meinke,
J. V. Tucker,
John V. Tucker,
1993,
LICS 1993.
Karl Meinke,
Hojat Khosrowjerdi,
K. Meinke,
2018,
MASES@ASE.
Frank S. de Boer,
Reiner Hähnle,
Miguel Gómez-Zamalloa,
2015,
International Journal on Software Tools for Technology Transfer.
Karl Meinke,
K. Meinke,
2018,
Machine Learning for Dynamic Software Analysis.
Karl Meinke,
K. Meinke,
1990,
Theor. Comput. Sci..
Karl Meinke,
Shaolin Hu,
Rushan Chen,
2007,
Int. J. Appl. Math. Comput. Sci..
Gerhard Goos,
Juris Hartmanis,
Jan van Leeuwen,
2018,
Lecture Notes in Computer Science.
Huang Liusheng,
Huajiang Ouyang,
Karl Meinke,
2006
.
Tobias Nipkow,
Karl Meinke,
Bernhard Möller,
1993,
Lecture Notes in Computer Science.
Karl Meinke,
K. Meinke,
1994,
Acta Informatica.
Karl Meinke,
Shaolin Hu,
Ouyang Huajiang,
2007
.
Karl Meinke,
Hojat Khosrowjerdi,
Andreas Rasmusson,
2017,
IMBSA.
Andreas Rausch,
Karl Meinke,
Falk Howar,
2016,
ISoLA.
Karl Meinke,
Amel Bennaceur,
A. Bennaceur,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Karl Meinke,
K. Meinke,
1991,
CSL.
Karl Meinke,
Muddassar A. Sindhu,
Fei Niu,
2011,
ISoLA Workshops.
Tobias Nipkow,
Karl Meinke,
Bernhard Möller,
1993
.
Karl Meinke,
Aravind Nair,
Avijit Roy,
2020,
ESEM.
Karl Meinke,
L. Jason Steggles,
K. Meinke,
2001,
Acta Informatica.
Karl Meinke,
Hojat Khosrowjerdi,
Andreas Rasmusson,
2018,
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Hugh Glaser,
Karl Meinke,
Catuscia Palamidessi,
1998,
Lecture Notes in Computer Science.
Hugh Glaser,
Karl Meinke,
Catuscia Palamidessi,
1998
.
Karl Meinke,
2021,
2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Karl Meinke,
K. Meinke,
2021,
ArXiv.
Karl Meinke,
Hojat Khosrowjerdi,
K. Meinke,
2021,
TAP@STAF.
Stefan Arnborg,
Karl Meinke,
S. Arnborg,
2008
.
Karl Meinke,
1993
.