io-port 06086227 Chen, Jingsen; Edelkamp, Stefan; Elmasry, Amr; Katajainen, Jyrki

Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 259-270 (2012).

io-port 05949226 Edelkamp, Stefan; Schrödl, Stefan

Amsterdam: Elsevier/Morgan Kaufmann (ISBN 978-0-12-372512-7/hbk). xxiv, 836~p. \$~89.95 (2012).

io-port 10007391 Edelkamp, Stefan; Schrödl, Stefan

Heuristic search - theory and applications, I_XXIV, 1-836 (2012).

io-port 05997054 Edelkamp, Stefan; Elmasry, Amr; Katajainen, Jyrki

Iliopoulos, Costas S. (ed.) et al., Combinatorial algorithms. 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25010-1/pbk). Lecture Notes in Computer Science 7056, 195-208 (2011).

io-port 05952738 Bach, Joscha (ed.); Edelkamp, Stefan (ed.)

Lecture Notes in Computer Science 7006. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-24454-4/pbk). xiii, 370~p. EUR~57.78 (2011).

io-port 05900297 Edelkamp, Stefan; Kellershoff, Mark; Sulewski, Damian

van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 32-51 (2011).

io-port 05900296 Edelkamp, Stefan; Sulewski, Damian

van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 12-31 (2011).

io-port 05890995 Kissmann, Peter; Edelkamp, Stefan

KI, Künstl. Intell. 25, No. 1, 49-52 (2011).

io-port 05836586 Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.

Sci. Comput. Program. 76, No. 2, 136-157 (2011).

io-port 70254369 Sulewski, Damian; Edelkamp, Stefan; Kissmann, Peter

ICAPS (2011).

io-port 70937121 Edelkamp, Stefan; Elmasry, Amr; Katajainen, Jyrki

IWOCA, 195-208 (2011).

io-port 70982145 Kissmann, Peter; Edelkamp, Stefan

AAAI (2011).

io-port 70984795 Edelkamp, Stefan; Kissmann, Peter

AAAI (2011).

io-port 20002496 Bacchus, Fahiem (ed.); Domshlak, Carmel (ed.); Edelkamp, Stefan (ed.); Helmert, Malte (ed.)

ICAPS (2011).

io-port 05928146 Aha, David W.; Boddy, Mark S.; Bulitko, Vadim; Garcez, Artur S.D’avila; Doshi, Prashant; Edelkamp, Stefan; Geib, Christopher W.; Gmytrasiewicz, Piotr J.; Goldman, Robert P.; Hitzler, Pascal; Isbell, Charles L.; Josyula, Darsana P.; Kaelbling, Leslie Pack; Kersting, Kristian; Kunda, Maithilee; Lamb, Luís C.; Marthi, Bhaskara; Mcgreggor, Keith; Nastase, Vivi; Provan, Gregory; Raja, Anita; Ram, Ashwin; Riedl, Mark O.; Russell, Stuart J.; Sabharwal, Ashish; Smaus, Jan-Georg; Sukthankar, Gita; Tuyls, Karl; Van Der Meyden, Ron; Halevy, Alon Y.; Mihalkova, Lilyana; Natarajan, Sriraam

AI Mag. 31, No. 4, 95-108 (2010).

io-port 05804754 Edelkamp, Stefan; Sulewski, Damian

van de Pol, Jaco (ed.) et al., Model checking software. 17th international SPIN workshop, Enschede, The Netherlands, September 27‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16163-6/pbk). Lecture Notes in Computer Science 6349, 106-123 (2010).

io-port 05796234 Edelkamp, Stefan; Messerschmidt, Hartmut

Dillmann, Rüdiger (ed.) et al., KI 2010: Advances in artificial intelligence. 33rd annual German conference on AI, Karlsruhe, Germany, September 21‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16110-0/pbk). Lecture Notes in Computer Science 6359. Lecture Notes in Artificial Intelligence, 291-298 (2010).

io-port 05796230 Kissmann, Peter; Edelkamp, Stefan

Dillmann, Rüdiger (ed.) et al., KI 2010: Advances in artificial intelligence. 33rd annual German conference on AI, Karlsruhe, Germany, September 21‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16110-0/pbk). Lecture Notes in Computer Science 6359. Lecture Notes in Artificial Intelligence, 255-262 (2010).

io-port 05781761 Bošnački, Dragan; Edelkamp, Stefan

Int. J. Softw. Tools Technol. Transf. 12, No. 2, 89-95 (2010).

io-port 05703565 Bruun, Asger; Edelkamp, Stefan; Katajainen, Jyrki; Rasmussen, Jens

Festa, Paola (ed.), Experimental algorithms. 9th international symposium, SEA 2010, Ischia Island, Naples, Italy, May 20‒22, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13192-9/pbk). Lecture Notes in Computer Science 6049, 424-435 (2010).