Home | english  | Impressum | Sitemap | KIT
2011
Titel Autor Quelle

Karlsruhe Report in Informatics 2011-6



2010
Titel Autor Quelle

In Proc. of the 7th Intl. Conf. on Quality of Information and Communications Technology (QUATIC 2010), Oporto, Portugal

In Proc. of the 5th Intl. Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada

In Proc. of the 7th Intl. Workshop on Formal Aspects of Security & Trust (FAST 2010), Pisa, Italy

In V. Pankratius, S. Kounev, editors, Emerging Research Directions in Computer Science – Contributions from the Young Informatics Faculty in Karlsruhe, pages 69-77. KIT Scientific Publishing, Karlsruhe, Germany

Journal on Satisfiability, Boolean Modeling and Computation 7:35-58



2009
Titel Autor Quelle

In Proc. of the 12th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2009), pages 356-362, Swansea, UK

Journal for Software Testing, Verification and Reliability 19(2):155-172

Proceedings of the 17th IEEE International Requirements Engineering Conference

Seiten 295-302

Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation

Seiten 31-40

Proceedings of the 4th Athens Colloquium on Algorithms and Complexity

Electronic Proceedings in Theoretical Computer Science 4:13-21

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology

Electronic Notes in Theoretical Computer Science 225:405-420



2008
Titel Autor Quelle

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

Seiten 188-197

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

Seiten 347-350

In Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 154-160, Guangzhou, China

In Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 161-167, Guangzhou, China

In Proc. of the IFIP/IEEE Network Operations and Management Symposium (NOMS 2008), pages 755-758, Salvador, Brazil

In Proc. of the 1st IEEE Workshop on Automated Network Management (ANM 2008), Phoenix, AZ

In IEEE Transactions on Network and Service Management, 5(2):91-104.



Ältere Publikationen