Embedded Intelligence

In: Till Mossakowski, Markus Roggenbach, Lutz Schröder (editor). Electronic Communications of the EASST 62 Pages 1-999 EASST online, hosted by Universitätsbibliothek TU Berlin 2013.

In: Information Fusion 14 1 Pages 57-77 Elsevier 2013.

In: Mathematical Structures in Computer Science (MSCS) 21 2 Pages 235-266 Cambridge University Press Cambridge 3/2011.

In: The Computer Journal 54 1 Pages 31-41 Oxford University Press Oxford 2011.

In: Martin Grohe (editor). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science (LICS-2011) June 21-24 Toronto Ontario Canada IEEE Computer Society 2011.

In: Toby Walsh (editor). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2011) July 16-22 Barcelona Spain AAAI Press Menlo Park, CA 2011.

In: Information and Computation (Inform. Comput.) 208 Pages 1447-1468 Elsevier Amsterdam 12/2010.

In: Jonathan Aldrich, Ricardo Massa (editor). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10) located at Brazilian Conference on Software: Theory and Practice September 27-October 1 Salvador-Bahia Brazil 9/2010.

In: Michael Wooldridge (editor). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010) 19th August 16-20 Lisbon Portugal Frontiers in Artificial Intelligence and Applications IOS Press 8/2010.

In: Paul Gastin, François Laroussinie (editor). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2010) 21st August 31-September 3 Paris France Lecture Notes in Computer Science Springer Berlin 8/2010.