Home | deutsch  | Legals | Sitemap | KIT
2011
Title Author Source

Karlsruhe Report in Informatics 2011-6



2010
Title Author Source

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
Title Author Source

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

Proceedings of the 4th Athens Colloquium on Algorithms and Complexity

Electronic Proceedings in Theoretical Computer Science 4:13-21

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

Proceedings of the 17th IEEE International Requirements Engineering Conference

Pages 295-302

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

Pages 31-40

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
Title Author Source

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

Pages 347-350

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

Pages 188-197

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 Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 161-167, Guangzhou, China

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

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



Older Publications