max planck institut
informatik

• Homepage

Publications Master Template

Publications Master Template

Entries sorted by: 1. Author,Editor - 1. by Individual - 1. by Names

Login to this database

 Find

Viewing:	1. Author,Editor - 1. by Individual - 1. by Names
Previous Page	Next Page	Expand All	Collapse All	Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

# Year Author(s) [non member] Title Type 1 Ianni, Giovambattista (ed.) 1 Ida, Tetsuo (ed.) 1 Ito, Takayasu (ed.) 1 Ito, T. (ed.) 1 Iturrioz, Luisa 2 Iturrioz, Luisa (ed.) 4 Jacobs, Swen 4 Jacquemard, Florent 23 Jaeger, Manfred 1 Jaffar, Joxan (ed.) 1 Jamshidi, Mohammad (ed.) 1 Jancar, Petr (ed.) 1 Jantke, Klaus (ed.) 1 Jarrar, Mustafa (ed.) 1 Jaulin, Luc 2 Jaume, Mathieu 1 Jensen, Kurt 1 Jensen, Kurt (ed.) 1 Jeusfeld, Manfred A. (ed.) 1 Johann, Patricia 1 John Bell (ed.) 1 Jones, Robert B. (ed.) 1 Josephs, Berthold 3 Jouannaud, Jean-Pierre (ed.) 1 Juilland, Jacques (ed.) 1 Jung, Georg 1 Kaelbling, Leslie (ed.) 1 Kakas, A. C. (ed.) 1 Kaoen, Joost-Pieter (ed.) 1 Kaplan, St. (ed.) 2 Kapur, Deepak (ed.) 2 Kapur, D. (ed.) 1 Karmann, A. (ed.) 4 Kasper, Thomas 1 Kaufmann, Matt 1 Kaufmann, Matt (ed.) 1 Kaufmann, Stefan (ed.) 1 Kavitha, M. (ed.) 6 Kazakov, Yevgeny 3 Keen, Enno 1 Kepser, Stephan (ed.) 1 Kerber, Manfred 1 Kerber, Manfred (ed.) 1 Kerner, I. O. (ed.) 1 Khasidashvili, Zurab (ed.) 1 Kijania-Placek, Katarzyna (ed.) 1 Kindler, Ekkart 4 Kirchner, Claude (ed.) 7 Kirchner, Hélène (ed.) 1 Kirchner, H. (ed.) 2 Klarlund, Nils 2 Klawonn, Frank 2 Kleemann, Thomas 1 Kleine Büning, Hans 1 Klotzki, Pia 1 Knight, Julia F. 1 Kobsa, Alfred (ed.) 1 Koehler, Jana 1 Koehler, Jana (ed.) 2 Koenig, Sven (ed.) 1 Kohlas, Jürg (ed.) 1 Kohlhase, Michael 2 Kolaitis, Phokion (ed.) 1 Konev, Boris (ed.) 9 Korovin, Konstantin 1 Kovalerchuk, B. (ed.) 5 Kraan, Ina 1 Kracht, M. (ed.) 1 Kreowski, H.-J. (ed.) 1 Kretinsky, Mojomir (ed.) 1 Krieg-Brückner, Bernd 1 Krieg-Brückner, Bernd (ed.) 1 Krieg-Brückner, B. (ed.) 7 Krischer, Stefan 15 Krishna Rao, M. R. K. 2 Kruse, Rudolf (ed.) 3 Kruse, R. (ed.) 1 Kucera, Antonin (ed.) 1 Kuncak, Viktor 4 Kunze, Jürgen (ed.) 1 Kunze, J. (ed.) 1 Kupferschmid, Sebastian 1 Kwiatkowska, Marta (ed.) 1 Lakemeyer, Gerhard (ed.) 1 Lam, Patrick 2 Lang, Jérôme 1 Lang, Jerome (ed.) 1 Laskey, Kathryn B. (ed.) 1 Lassez, J. L. (ed.) 2 Laux, Arnim (ed.) 1 Lau, Kung-Kiu (ed.) 1 Lau, K. K. (ed.) 1 Le Charlier, Baudouin (ed.) 1 Le Métayer, Daniel (ed.) 1 Leeser, M. E. 3 Lee, Chin Soon 1 Lee, Sau Dan 2 Lee, Shie-Jue 1 Lehmann, Jos (ed.) 2 Leite, João (ed.) 1 Leitsch, Alexander 6 Leitsch, Alexander (ed.) 1 Leitsch, A. (ed.) 1 Lenzerini, Maurizio (ed.) 1 Lenzerini, M. (ed.) 1 Leone, Nicola (ed.) 2 Letz, Reinhold 1 Leven, Peter 1 Levi, Georgio (ed.) 3 Levi, Giorgio (ed.) 2 Levi, G. (ed.) 1 Levy, Jean-Jacques (ed.) 1 Levy, Jordi 1 Lilith, Nimrod 1 Lindenstrauss, Naomi (ed.) 1 Lindenstrauss, N. (ed.) 1 Liquori, Luigi 1 Liu, H. (ed.) 1 Liu, Zhuojun 1 Li, Yongli 1 Li, Zhibin (ed.) 2 Lloyd, John W. (ed.) 5 Löchner, Bernd 1 Lombardi, Henri (ed.) 1 Lombart, V. 3 Longo, Giuseppe (ed.) 3 Long, Derek (ed.) 1 Lopez de Mantaraz, Ramon (ed.) 1 Luuk, Marc 2 Lu, Mi 2 Lynch, Christopher 2 MacNish, Craig (ed.) 6 Madden, Peter 2 Magirou, Vangelis 1 Maher, Michael (ed.) 1 Maibaum, T. S. E. (ed.) 1 Maibaum, T.S.E. (ed.) 10 Maier, Patrick 2 Majumdar, Rupak 2 Makinson, David 2 Malkis, Alexander 1 Maluszynski, Jan (ed.) 1 Mancarella, P. (ed.) 2 Mannila, Heikki 1 Mantel, Heiko (ed.) 1 Marché, Claude (ed.) 2 Marcinkowski, Jerzy (ed.) 1 Marek, V. W. (ed.) 2 Margaria, Tiziana (ed.) 4 Martelli, Maurizio 1 Martin, David (ed.) 2 Mascardi, Viviana 22 Matthews, Sean 1 Maus, Stefan 1 Mayr, Ernst W. (ed.) 3 McAllester, David 4 McAllester, David (ed.) 3 McCluskey, Lee (ed.) 2 McCune, William (ed.) 2 McKinley, Kathryn S. (ed.) 1 McNamara, Paul (ed.) 1 McRobbie, Michael A. (ed.) 8 McRobbie, M. A. (ed.) 1 Mediratta, Anupam 1 Meersman, Robert (ed.) 1 Melis, Erica 1 Mellish, Chris S. (ed.) 1 Mellish, C. (ed.) 1 Méndez, Gonzalo (ed.) 1 Mendling, Jan (ed.) 2 Meng, Jia 1 Meter, Peter 1 Meyer auf der Heide, Friedhelm (ed.) 1 Meyers, Karen (ed.) 1 Meyer, A. R. (ed.) 8 Meyer, Christoph 1 Meyer, Roland 1 Miculan, Marino (ed.) 1 Mishra, Nina (ed.) 1 Mohr, Erik 2 Möller, Bernhard (ed.) 1 Monien, Burkhard (ed.) 1 Montanari, Ugo (ed.) 1 Moral, Serafín (ed.) 2 Moral, S. (ed.) 1 Morari, Manfred (ed.) 1 Moreno Navarro, Juan José (ed.) 1 Morozov, Andrey 1 Mosler, K. (ed.) 1 Mosses, Peter D. (ed.) 1 Mosses, Peter (ed.) 1 Mück, A. (ed.) 12 Mukhopadhyay, Supratik 1 Mukhopadhyay, Supratik (ed.) 5 Müller, Martin 2 Münch, Susanne 1 Mundici, Daniele (ed.) 1 Mundici, D. (ed.) 1 Murray, Neil V. (ed.) 1 Muscettola, Nicola (ed.) 1 Mycroft, Alan (ed.) 1 Nadif, Mohamed (ed.) 1 Näher, Stefan (ed.) 1 Namjoshi, Kedar S. (ed.) 1 Napoli, Amedeo (ed.) 1 Nardi, D. (ed.) 2 Narendran, Paliath 1 Narendran, Paliath (ed.) 1 Naumann, Stefan 1 Nau, Dana (ed.) 2 Nebel, Bernhard 1 Nebel, Bernhard Nebel (ed.) 5 Nebel, Bernhard (ed.) 1 Nebel, B. (ed.) 1 Nejdl, W. (ed.) 1 Neuman, B. (ed.) 1 Ng, Raymond (ed.) 4 Niehren, Joachim 1 Nielsen, Mogen (ed.) 3 Nielsen, Mogens (ed.) 1 Nielsen, Thomas D. (ed.) 1 Nielson, Flemming 1 Niemelä, Ilkka (ed.) 6 Nieuwenhuis, Robert 4 Nieuwenhuis, Robert (ed.) 9 Nipkow, Tobias (ed.) 1 Nivat, Maurice 2 Nivat, Maurice (ed.) 2 Nivela, Pilar 1 Niwinski, Damian 15 Nonnengart, Andreas 2 Nonnengart, Andreas (ed.) 1 Nuettgens, Markus (ed.) 1 Nüttgens, Markus (ed.) 3 Nutt, Werner (ed.) 1 O'Leary, John (ed.) 1 Oevel, Walter 29 Ohlbach, Hans Jürgen 5 Ohlbach, Hans Jürgen (ed.) 1 Ohori, Atsushi (ed.) 1 Okada, M. (ed.) 1 Olbrich, Sebastian 1 Oliveras, Albert 1 Ong, Luke (ed.) 1 Orejas, Fernando 1 Orejas, Fernando (ed.) 4 Orlowska, Ewa (ed.) 1 Orłowska, Ewa 1 Pacholski, Leszek 1 Pacholski, Leszek (ed.) 1 Palamidessi, Catuscia (ed.) 2 Palm, Günther (ed.) 1 Palm, R. (ed.) 2 Palsberg, Jens (ed.) 1 Panetto, Herve (ed.) 1 Pang, Jun 1 Papadimitriou, Christos 1 Parigot, Michel (ed.) 2 Parsons, Simon (ed.) 1 Patel-Schneider, Peter F. (ed.) 2 Paulson, Lawrence C. (ed.) 1 Pauly, Marc (ed.) 1 Paul, W. J. (ed.) 1 Paun, Gheorghe (ed.) 2 Pearce, David (ed.) 1 Peled, Doron A (ed.) 1 Peled, Doron (ed.) 2 Penjam, Jaan (ed.) 3 Pereira, Luís Moniz (ed.) 1 Pérez, María S. (ed.) 1 Pfenning, Frank (ed.) 1 Pierrot, Francois (ed.) 1 Pigorsch, Florian 1 Pinto, Guilherme 1 Pirri, Fiora (ed.) 2 Piskac, Ruzica 1 Pitt, Jeremy (ed.) 1 Pitz, Werner 7 Plaisted, David A. 3 Plotkin, Gordon (ed.) 1 Plotkin, G. (ed.) 1 Pnueli, Amir 65 Podelski, Andreas 5 Podelski, Andreas (ed.) 1 Pollack, Martha E. (ed.) 1 Pons, Olivier 1 Poole, David (ed.) 1 Porteous, Julie 2 Präcklein, Axel 5 Prade, Henri (ed.) 1 Prakken, Henri (ed.) 1 Pratt-Hartmann, Ian 3 Pratt, Vaughan (ed.) 5 Prevosto, Virgile 1 Pribbenow, Simone (ed.) 1 Radermacher, F. J. 1 Rahman, Shahid 3 Rajamani, Sriram K. 1 Rajan, Kanna (ed.) 1 Ramakrishnan, I.V. (ed.) 1 Ramani, S. (ed.) 1 Ramanujam, R (ed.) 1 Raman, V. (ed.) 1 Raskin, Jean-François 1 Raskin, J.-F. (ed.) 1 Ras, Z. (ed.) 12 Ratschan, Stefan 1 Rattray, Charles (ed.) 2 Rau, Rainer 1 Reggio, Gianna (ed.) 1 Reinold, Michael 1 Reischuk, Rüdiger (ed.) 1 Remenyi, Dan (ed.) 1 Rémy, J.-L. (ed.) 1 Rewitzky, I. M. 1 Riazanov, Alexandre 1 Richter, M.M. (ed.) 1 Rich, Charles (ed.) 1 Rinaldi, Giovanni 1 Rinard, Martin C. 1 Ringeissen, C. (ed.) 5 Robinson, Alan (ed.) 3 Robinson, J. A. (ed.) 1 Robles, Víctor (ed.) 3 Rock, Georg 2 Rodríguez-Artalejo, Mario (ed.) 1 Rolim, José (ed.) 1 Rollinger, Claus-Rainer (ed.) 1 Romina, Anya 2 Rossi, Francesca (ed.) 2 Rote, Günter 2 Rott, Hans (ed.) 1 Rowles, C. (ed.) 1 Roy, Marie-Franccoise (ed.) 1 Rückert, Helge 2 Rump, Frank J. (ed.) 3 Rusinowitch, Michael (ed.) 1 Rusinowitch, M. (ed.) 1 Rus, Teodor (ed.) 1 Ruzicka, Peter (ed.) 20 Rybalchenko, Andrey 1 Sabharwal, Ashish 1 Sabin, Mihaela (ed.) 1 Sagiv, Mooly (ed.) 1 Sagiv, Yehoshua (ed.) 1 Salzer, Gernot (ed.) 1 Sandewall, E. (ed.) 1 SanJuan, Eric (ed.) 1 Sannella, Don (ed.) 2 Sasikumar, M. (ed.) 1 Sattler, Ulrike (ed.) 1 Scannapieco, Monica (ed.) 1 Schader, M. (ed.) 2 Schaefer, Ina 1 Schäfers, Renate 1 Schäf, Martin 1 Schaub, Torsten (ed.) 1 Schirmer, Norbert 1 Schlobach, Stefan 1 Schmidt, G. (ed.) 36 Schmidt, Renate A. 2 Schmidt, Renate (ed.) 3 Schmitt, Peter H. (ed.) 1 Schmolzi, Christian 1 Scholl, Christoph 1 Schöttle, Hendrik 2 Schubert, Lenhart (ed.) 2 Schulz, Andreas S. 2 Schulz, Klaus U. (ed.) 2 Schulz, K. U. (ed.) 4 Schulz, Stephan (ed.) 1 Schütt, D. (ed.) 2 Schwartzbach, Michael I. (ed.) 1 Schwartzbach, Michael (ed.) 3 Schwefel, Hans-Paul (ed.) 1 Scollo, Guiseppe (ed.) 1 Seatzu, Carla (ed.) 1 Sebastiani, Roberto (ed.) 1 Sebastia, Laura 1 Segerberg, Krister (ed.) 1 Seghir, Mohammed Nassim 1 Seidl, Andreas (ed.) 1 Seidl, Helmut 1 Seipel, Dietmar (ed.) 1 Selman, Bart 1 Seyr, Katrin (ed.) 2 Shankar, Natarajan (ed.) 2 Shapiro, Stuart C. (ed.) 2 Shapiro, Stuart (ed.) 1 Sharma, Arun (ed.) 1 Shenoy, Prakash Pundalik (ed.) 5 She, Zhikun 1 Shinohara, Takeshi (ed.) 1 Shyamasundar, R. K. 1 Shyamasundar, R. K. (ed.) 1 Siekmann, Jörg H. 2 Siekmann, J. (ed.) 1 Sigayret, Alain (ed.) 2 Sijanski, Grozdana 1 Silverman, J. (ed.) 1 Simonis, Helmut (ed.) 1 Simon, Carlo 1 Simpson, Alex 1 Sinner, Alex 2 Siveroni, Igor (ed.) 1 Slaney, John K. (ed.) 8 Slaney, J. K. (ed.) 3 Smaill, Alan 2 Smaus, Jan-Georg 1 Smith, B. C. (ed.) 3 Smith, Stephen F. (ed.) 3 Smolka, Gert 4 Smolka, Gert (ed.) 1 Smolka, G. (ed.) 2 Snyder, Wayne 9 Socher-Ambrosius, Rolf 35 Sofronie-Stokkermans, Viorica 1 Sorbello, F. (ed.) 1 Spies, Hendrik 1 Spirakis, Paul G. (ed.) 1 Spyns, Peter (ed.) 1 Srivas, M. (ed.) 1 Steele, N. (ed.) 1 Stefanakis, Emmanuel (ed.) 2 Steffen, Bernhard (ed.) 1 Steffen, Bernhardt (ed.) 1 Steinbach, B. (ed.) 1 Stenz, Gernot 1 Stephan, Werner (ed.) 2 Sterling, Leon (ed.) 1 Stevens, Perdita (ed.) 1 Stokkermans, Karel 4 Stoyan, Herbert (ed.) 1994 Hustadt, Ullrich Common and Mutual Belief for Agent Modeling In: KI-94 Workshops: Extended Abstracts, 123-124 Proceedings Article 1994 Hustadt, Ullrich Do we need the closed-world assumption in knowledge representation? In: KI-94 Workshops: Extended Abstracts, 293-294 Proceedings Article 1994 Weidenbach, Christoph Sorts, Resolution, Tableaux and Propositional Logic In: KI-94 Workshops: Extended Abstracts, 315-316 Proceedings Article 1994 Schmidt, Renate A. Terminological Logics and Conceptual Graphs: An Historical Perspective In: KI-94 Workshops: Extended Abstracts, 135-136 Proceedings Article 1 Stoyan, H. (ed.) 4 Struth, Georg 2 Struth, Georg (ed.) 13 Stuber, Jürgen 3 Stuckey, Peter J. (ed.) 1 Sturm, Thomas (ed.) 1 Suchanek, Fabian 1 Suchanek, Fabian M. 3 Sutcliffe, Geoff (ed.) 1 Suzuki, Nobu-Yuki (ed.) 1 Swartout, William (ed.) 1 Swierstra, S. Doaitse (ed.) 2 Szalas, Andrzej 11 Talbot, Jean-Marc 1 Tammet, Tanel 1 Tammet, Tanel (ed.) 1 Tan, Hongyan 11 Tan, Yao-Hua 1 Tari, Zahir (ed.) 4 Tarlecki, Andrzej (ed.) 1 Tchuente, M. (ed.) 1 Tessaris, Sergio (ed.) 2 Theobalt, Christian 1 Thiagarajan, P.S. (ed.) 1 Thiebaux, Sylvie 1 Thiele, Lothar (ed.) 1 Thomas, Wolfgang (ed.) 1 Thümmel, W. (ed.) 1 Timm, Jan-Georg 5 Tinelli, Cesare 6 Tishkovsky, Dmitry 1 Tison, Sophie 1 Tison, Sophie (ed.) 1 Tiwari, Ashish (ed.) 1 Topic, Dalibor 3 Topić, Dalibor 1 Torasso, P. (ed.) 1 Traverso, P. 1 Treinen, Ralf (ed.) 1 Trueg, Sebastian 1 Truszczynski, Mirek (ed.) 2 Truszczynski, M. (ed.) 1 Tsay, Yih-Kuen (ed.) 1 Turini, Franco (ed.) 2 Turunen, Esko (ed.) 7 Tzakova, Miroslava 1 Uebe, G. (ed.) 1 Ursini, Aldo (ed.) 1 Urzyczyn, Pawe{ł} (ed.) 1 Vakarelov, Dimiter 1 Vakil, R. (ed.) 1 Vallduvi, Enric (ed.) 2 Valmari, Antti (ed.) 22 van der Torre, Leendert W. N. 1 van Emde Boas, Peter (ed.) 2 Van Hentenryck, Pascal (ed.) 1 van Leeuwen, Jan (ed.) 1 Vardi, Moshe 1 Varsek, I. 1 Vaz de Carvalho, Júlia (ed.) 10 Veanes, Margus 1 Vehi, Josep 1 Veit, Jörg 1 Ventura, Paolo 9 Viganò, Luca 1 Vigneron, Laurent (ed.) 1 Vogel, Carl (ed.) 1 Vojtas, Peter (ed.) 1 von Wright, J. (ed.) 11 Vorobyov, Sergei 10 Voronkov, Andrei 18 Voronkov, Andrei (ed.) 4 Voronkov, A. (ed.) 1 Vorozhtsov, Evgenii V. (ed.) 1 Wachsmuth, Ipke (ed.) 1 Wagner, Dorothea (ed.) 6 Wagner, Silke 22 Waldmann, Uwe 1 Wallin, Annika (ed.) 6 Walsh, Toby 1 Walukiewicz, Igor 1 Wang, Dongming (ed.) 1 Wang, D. (ed.) 3 Wang, Yongge 3 Wansing, Heinrich (ed.) 2 Wansing, H. (ed.) 1 Warren, David Scott (ed.) 1 Warren, D. S. (ed.) 33 Weidenbach, Christoph 1 Weispfenning, V. 7 Werner, Andreas 2 Wetzel, Susanne 30 Weydert, Emil 2 Weydert, Emil (ed.) 2 Wiedermann, Jiri (ed.) 3 Wies, Thomas 1 Williams, Denise A. (ed.) 2 Winskel, Glynn (ed.) 2 Wirsing, Martin (ed.) 1 Wirtz, Boris 4 Witteveen, Cees (ed.) 1 Woeginger, Gerhard J. (ed.) 1 Wolter, Frank (ed.) 5 Wu, Jinzhao 1 Xiao, Rong 2 Xia, Bican 1 Yahya, Adnan 1 Yang, Lu 1 Yap, Roland H. C. (ed.) 1 Yi, Wang (ed.) 1 Yonezawa, A. (ed.) 1 Yoshida, Tetsuja 1 Yuan, Cong 1 Zaha, Johannes Maria (ed.) 2 Zakharyaschev, Michael (ed.) 1 Zakharyaschev, M. (ed.) 1 Zamulin, Alexandre (ed.) 3 Zangl, Fabrice 1 Zaroliagis, Christos 1 Zartmann, Frank 1 Zaytoon, Janan (ed.) 1 Zemankova, M. (ed.) 1 Zeugmann, Thomas (ed.) 1 Zeyer, Jörg 2 Zhang, Hantao (ed.) 1 Zhang, Nevin L. (ed.) 1 Zhang, Wenhui (ed.) 1 Zilberstein, Shlomo (ed.) 1 Zimány, Esteban (ed.) 2 Zini, Floriano 1 Zlatuska, Jirí (ed.) 2 Zuck, Lenore (ed.) 2336

Previous Page

Next Page

Expand All

Collapse All

Search (Full Text)