Karl Meinke

Karl Meinke

Royal Institute of Technology - Stockholm / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1102677
KTH Royal Institute of Technology
person_outline Karl Meinke's MOST POPULAR ARTICLES
1-) Universal algebraK Meinke, JV TuckerHandbook of logic in computer science 1, 189-411, 19922751992
2-) Universal algebra in higher typesK MeinkeTheoretical Computer Science 100 (2), 385-417, 19921041992
3-) Incremental learning-based testing for reactive systemsK Meinke, MA SindhuInternational Conference on Tests and Proofs, 134-151, 20111002011
4-) Many-sorted Logic and its ApplicationsK Meinke, JV Tucker1001993
5-) LBTest: a learning-based testing tool for reactive systemsK Meinke, MA Sindhu2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013732013