Publikationen

Zeige Ergebnisse 1 bis 10 von 18

In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS) Seiten 328-333 IEEE 2013.

Zur Publikation

In: IEEE International Design and Test Symposium - Proceedings. IEEE International Design and Test Symposium (IDT-13) 8th IEEE International Design and Test Symposium December 16-18 Marrakesch Morocco IEEE 2013.

Zur Publikation

In: Models, Methods and Tools for Complex Chip Design. Kapitel 3 Seiten 37-52 265 ISBN 978-3-319-01417-3 Springer 2013.

Zur Publikation

In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-13) April 8-10 Karlovy Vary Czech Republic IEEE 2013.

Zur Publikation

In: Proceedings of the 5th Conference on Reversible Computation. Conference on Reversible Computation (RC-13) 5th July 4-5 Victoria BC Canada Lecture Notes in Computer Science (LNCS) Springer 2013.

Zur Publikation

In: Workshop on Natural Language Analysis in Software Engineering. Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE-13) May 25 San Francisco CA United States 2013.

Zur Publikation

In: 8th International Workshop on Automation of Software Test. International Workshop on Automation of Software Test (AST-13) 8th May 18-19 San Francisco United States IEEE 2013.

Zur Publikation

In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013) 43rd May 22-24 Toyama Japan IEEE 2013.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence