Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

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

Login to this database


 

Viewing:

1. Author,Editor - 1. by Individual - 1. by Names
Next Page
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
#YearAuthor(s) [non member]TitleType
1
Show details for Ianni, Giovambattista (ed.)Ianni, Giovambattista (ed.)
1
Show details for Ida, Tetsuo (ed.)Ida, Tetsuo (ed.)
1
Show details for Ito, Takayasu (ed.)Ito, Takayasu (ed.)
1
Show details for Ito, T. (ed.)Ito, T. (ed.)
1
Show details for Iturrioz, LuisaIturrioz, Luisa
2
Show details for Iturrioz, Luisa (ed.)Iturrioz, Luisa (ed.)
4
Show details for Jacobs, SwenJacobs, Swen
4
Show details for Jacquemard, FlorentJacquemard, Florent
23
Show details for Jaeger, ManfredJaeger, Manfred
1
Show details for Jaffar, Joxan (ed.)Jaffar, Joxan (ed.)
1
Show details for Jamshidi, Mohammad (ed.)Jamshidi, Mohammad (ed.)
1
Show details for Jancar, Petr (ed.)Jancar, Petr (ed.)
1
Show details for Jantke, Klaus (ed.)Jantke, Klaus (ed.)
1
Show details for Jarrar, Mustafa (ed.)Jarrar, Mustafa (ed.)
1
Show details for Jaulin, LucJaulin, Luc
2
Show details for Jaume, MathieuJaume, Mathieu
1
Show details for Jensen, KurtJensen, Kurt
1
Show details for Jensen, Kurt (ed.)Jensen, Kurt (ed.)
1
Show details for Jeusfeld, Manfred A. (ed.)Jeusfeld, Manfred A. (ed.)
1
Show details for Johann, PatriciaJohann, Patricia
1
Show details for John Bell (ed.)John Bell (ed.)
1
Show details for Jones, Robert B. (ed.)Jones, Robert B. (ed.)
1
Show details for Josephs, BertholdJosephs, Berthold
3
Show details for Jouannaud, Jean-Pierre (ed.)Jouannaud, Jean-Pierre (ed.)
1
Show details for Juilland, Jacques (ed.)Juilland, Jacques (ed.)
1
Show details for Jung, GeorgJung, Georg
1
Show details for Kaelbling, Leslie (ed.)Kaelbling, Leslie (ed.)
1
Show details for Kakas, A. C. (ed.)Kakas, A. C. (ed.)
1
Show details for Kaoen, Joost-Pieter (ed.)Kaoen, Joost-Pieter (ed.)
1
Show details for Kaplan, St. (ed.)Kaplan, St. (ed.)
2
Show details for Kapur, Deepak (ed.)Kapur, Deepak (ed.)
2
Show details for Kapur, D. (ed.)Kapur, D. (ed.)
1
Show details for Karmann, A. (ed.)Karmann, A. (ed.)
4
Show details for Kasper, ThomasKasper, Thomas
1
Show details for Kaufmann, MattKaufmann, Matt
1
Show details for Kaufmann, Matt (ed.)Kaufmann, Matt (ed.)
1
Show details for Kaufmann, Stefan (ed.)Kaufmann, Stefan (ed.)
1
Show details for Kavitha, M. (ed.)Kavitha, M. (ed.)
6
Show details for Kazakov, YevgenyKazakov, Yevgeny
3
Show details for Keen, EnnoKeen, Enno
1
Show details for Kepser, Stephan (ed.)Kepser, Stephan (ed.)
1
Show details for Kerber, ManfredKerber, Manfred
1
Show details for Kerber, Manfred (ed.)Kerber, Manfred (ed.)
1
Show details for Kerner, I. O. (ed.)Kerner, I. O. (ed.)
1
Show details for Khasidashvili, Zurab (ed.)Khasidashvili, Zurab (ed.)
1
Show details for Kijania-Placek, Katarzyna (ed.)Kijania-Placek, Katarzyna (ed.)
1
Show details for Kindler, EkkartKindler, Ekkart
4
Show details for Kirchner, Claude (ed.)Kirchner, Claude (ed.)
7
Show details for Kirchner, Hélène (ed.)Kirchner, Hélène (ed.)
1
Show details for Kirchner, H. (ed.)Kirchner, H. (ed.)
2
Show details for Klarlund, NilsKlarlund, Nils
2
Show details for Klawonn, FrankKlawonn, Frank
2
Show details for Kleemann, ThomasKleemann, Thomas
1
Show details for Kleine Büning, HansKleine Büning, Hans
1
Show details for Klotzki, PiaKlotzki, Pia
1
Show details for Knight, Julia F.Knight, Julia F.
1
Show details for Kobsa, Alfred (ed.)Kobsa, Alfred (ed.)
1
Show details for Koehler, JanaKoehler, Jana
1
Show details for Koehler, Jana (ed.)Koehler, Jana (ed.)
2
Show details for Koenig, Sven (ed.)Koenig, Sven (ed.)
1
Show details for Kohlas, Jürg (ed.)Kohlas, Jürg (ed.)
1
Show details for Kohlhase, MichaelKohlhase, Michael
2
Show details for Kolaitis, Phokion (ed.)Kolaitis, Phokion (ed.)
1
Show details for Konev, Boris (ed.)Konev, Boris (ed.)
9
Show details for Korovin, KonstantinKorovin, Konstantin
1
Show details for Kovalerchuk, B. (ed.)Kovalerchuk, B. (ed.)
5
Show details for Kraan, InaKraan, Ina
1
Show details for Kracht, M. (ed.)Kracht, M. (ed.)
1
Show details for Kreowski, H.-J. (ed.)Kreowski, H.-J. (ed.)
1
Show details for Kretinsky, Mojomir (ed.)Kretinsky, Mojomir (ed.)
1
Show details for Krieg-Brückner, BerndKrieg-Brückner, Bernd
1
Show details for Krieg-Brückner, Bernd (ed.)Krieg-Brückner, Bernd (ed.)
1
Show details for Krieg-Brückner, B. (ed.)Krieg-Brückner, B. (ed.)
7
Show details for Krischer, StefanKrischer, Stefan
15
Show details for Krishna Rao, M. R. K.Krishna Rao, M. R. K.
2
Show details for Kruse, Rudolf (ed.)Kruse, Rudolf (ed.)
3
Show details for Kruse, R. (ed.)Kruse, R. (ed.)
1
Show details for Kucera, Antonin (ed.)Kucera, Antonin (ed.)
1
Show details for Kuncak, ViktorKuncak, Viktor
4
Show details for Kunze, Jürgen (ed.)Kunze, Jürgen (ed.)
1
Show details for Kunze, J. (ed.)Kunze, J. (ed.)
1
Show details for Kupferschmid, SebastianKupferschmid, Sebastian
1
Show details for Kwiatkowska, Marta (ed.)Kwiatkowska, Marta (ed.)
1
Show details for Lakemeyer, Gerhard (ed.)Lakemeyer, Gerhard (ed.)
1
Show details for Lam, PatrickLam, Patrick
2
Show details for Lang, JérômeLang, Jérôme
1
Show details for Lang, Jerome (ed.)Lang, Jerome (ed.)
1
Show details for Laskey, Kathryn B. (ed.)Laskey, Kathryn B. (ed.)
1
Show details for Lassez, J. L. (ed.)Lassez, J. L. (ed.)
2
Show details for Laux, Arnim (ed.)Laux, Arnim (ed.)
1
Show details for Lau, Kung-Kiu (ed.)Lau, Kung-Kiu (ed.)
1
Show details for Lau, K. K. (ed.)Lau, K. K. (ed.)
1
Show details for Le Charlier, Baudouin (ed.)Le Charlier, Baudouin (ed.)
1
Show details for Le Métayer, Daniel (ed.)Le Métayer, Daniel (ed.)
1
Show details for Leeser, M. E.Leeser, M. E.
3
Show details for Lee, Chin SoonLee, Chin Soon
1
Show details for Lee, Sau DanLee, Sau Dan
2
Show details for Lee, Shie-JueLee, Shie-Jue
1
Show details for Lehmann, Jos (ed.)Lehmann, Jos (ed.)
2
Show details for Leite, João (ed.)Leite, João (ed.)
1
Show details for Leitsch, AlexanderLeitsch, Alexander
6
Show details for Leitsch, Alexander (ed.)Leitsch, Alexander (ed.)
1
Show details for Leitsch, A. (ed.)Leitsch, A. (ed.)
1
Show details for Lenzerini, Maurizio (ed.)Lenzerini, Maurizio (ed.)
1
Show details for Lenzerini, M. (ed.)Lenzerini, M. (ed.)
1
Show details for Leone, Nicola (ed.)Leone, Nicola (ed.)
2
Show details for Letz, ReinholdLetz, Reinhold
1
Show details for Leven, PeterLeven, Peter
1
Show details for Levi, Georgio (ed.)Levi, Georgio (ed.)
3
Show details for Levi, Giorgio (ed.)Levi, Giorgio (ed.)
2
Show details for Levi, G. (ed.)Levi, G. (ed.)
1
Show details for Levy, Jean-Jacques (ed.)Levy, Jean-Jacques (ed.)
1
Show details for Levy, JordiLevy, Jordi
1
Show details for Lilith, NimrodLilith, Nimrod
1
Show details for Lindenstrauss, Naomi (ed.)Lindenstrauss, Naomi (ed.)
1
Show details for Lindenstrauss, N. (ed.)Lindenstrauss, N. (ed.)
1
Show details for Liquori, LuigiLiquori, Luigi
1
Show details for Liu, H. (ed.)Liu, H. (ed.)
1
Show details for Liu, ZhuojunLiu, Zhuojun
1
Show details for Li, YongliLi, Yongli
1
Show details for Li, Zhibin (ed.)Li, Zhibin (ed.)
2
Show details for Lloyd, John W. (ed.)Lloyd, John W. (ed.)
5
Show details for Löchner, BerndLöchner, Bernd
1
Show details for Lombardi, Henri (ed.)Lombardi, Henri (ed.)
1
Show details for Lombart, V.Lombart, V.
3
Show details for Longo, Giuseppe (ed.)Longo, Giuseppe (ed.)
3
Show details for Long, Derek (ed.)Long, Derek (ed.)
1
Show details for Lopez de Mantaraz, Ramon (ed.)Lopez de Mantaraz, Ramon (ed.)
1
Show details for Luuk, MarcLuuk, Marc
2
Show details for Lu, MiLu, Mi
2
Show details for Lynch, ChristopherLynch, Christopher
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Show details for Matthews, SeanMatthews, Sean
1
Show details for Maus, StefanMaus, Stefan
1
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
3
Show details for McAllester, DavidMcAllester, David
4
Show details for McAllester, David (ed.)McAllester, David (ed.)
3
Show details for McCluskey, Lee (ed.)McCluskey, Lee (ed.)
2
Show details for McCune, William (ed.)McCune, William (ed.)
2
Show details for McKinley, Kathryn S. (ed.)McKinley, Kathryn S. (ed.)
1
Show details for McNamara, Paul (ed.)McNamara, Paul (ed.)
1
Show details for McRobbie, Michael A. (ed.)McRobbie, Michael A. (ed.)
8
Show details for McRobbie, M. A. (ed.)McRobbie, M. A. (ed.)
1
Show details for Mediratta, AnupamMediratta, Anupam
1
Show details for Meersman, Robert (ed.)Meersman, Robert (ed.)
1
Show details for Melis, EricaMelis, Erica
1
Show details for Mellish, Chris S. (ed.)Mellish, Chris S. (ed.)
1
Show details for Mellish, C. (ed.)Mellish, C. (ed.)
1
Show details for Méndez, Gonzalo (ed.)Méndez, Gonzalo (ed.)
1
Show details for Mendling, Jan (ed.)Mendling, Jan (ed.)
2
Show details for Meng, JiaMeng, Jia
1
Show details for Meter, PeterMeter, Peter
1
Show details for Meyer auf der Heide, Friedhelm (ed.)Meyer auf der Heide, Friedhelm (ed.)
1
Show details for Meyers, Karen (ed.)Meyers, Karen (ed.)
1
Show details for Meyer, A. R. (ed.)Meyer, A. R. (ed.)
8
Show details for Meyer, ChristophMeyer, Christoph
1
Show details for Meyer, RolandMeyer, Roland
1
Show details for Miculan, Marino (ed.)Miculan, Marino (ed.)
1
Show details for Mishra, Nina (ed.)Mishra, Nina (ed.)
1
Show details for Mohr, ErikMohr, Erik
2
Show details for Möller, Bernhard (ed.)Möller, Bernhard (ed.)
1
Show details for Monien, Burkhard (ed.)Monien, Burkhard (ed.)
1
Show details for Montanari, Ugo (ed.)Montanari, Ugo (ed.)
1
Show details for Moral, Serafín (ed.)Moral, Serafín (ed.)
2
Show details for Moral, S. (ed.)Moral, S. (ed.)
1
Show details for Morari, Manfred (ed.)Morari, Manfred (ed.)
1
Show details for Moreno Navarro, Juan José (ed.)Moreno Navarro, Juan José (ed.)
1
Show details for Morozov, AndreyMorozov, Andrey
1
Show details for Mosler, K. (ed.)Mosler, K. (ed.)
1
Show details for Mosses, Peter D. (ed.)Mosses, Peter D. (ed.)
1
Show details for Mosses, Peter (ed.)Mosses, Peter (ed.)
1
Show details for Mück, A. (ed.)Mück, A. (ed.)
12
Show details for Mukhopadhyay, SupratikMukhopadhyay, Supratik
1
Show details for Mukhopadhyay, Supratik (ed.)Mukhopadhyay, Supratik (ed.)
5
Show details for Müller, MartinMüller, Martin
2
Show details for Münch, SusanneMünch, Susanne
1
Show details for Mundici, Daniele (ed.)Mundici, Daniele (ed.)
1
Show details for Mundici, D. (ed.)Mundici, D. (ed.)
1
Show details for Murray, Neil V. (ed.)Murray, Neil V. (ed.)
1
Show details for Muscettola, Nicola (ed.)Muscettola, Nicola (ed.)
1
Show details for Mycroft, Alan (ed.)Mycroft, Alan (ed.)
1
Show details for Nadif, Mohamed (ed.)Nadif, Mohamed (ed.)
1
Show details for Näher, Stefan (ed.)Näher, Stefan (ed.)
1
Show details for Namjoshi, Kedar S. (ed.)Namjoshi, Kedar S. (ed.)
1
Show details for Napoli, Amedeo (ed.)Napoli, Amedeo (ed.)
1
Show details for Nardi, D. (ed.)Nardi, D. (ed.)
2
Show details for Narendran, PaliathNarendran, Paliath
1
Show details for Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1
Show details for Naumann, StefanNaumann, Stefan
1
Show details for Nau, Dana (ed.)Nau, Dana (ed.)
2
Show details for Nebel, BernhardNebel, Bernhard
1
Show details for Nebel, Bernhard Nebel (ed.)Nebel, Bernhard Nebel (ed.)
5
Show details for Nebel, Bernhard (ed.)Nebel, Bernhard (ed.)
1
Show details for Nebel, B. (ed.)Nebel, B. (ed.)
1
Show details for Nejdl, W. (ed.)Nejdl, W. (ed.)
1
Show details for Neuman, B. (ed.)Neuman, B. (ed.)
1
Show details for Ng, Raymond (ed.)Ng, Raymond (ed.)
4
Show details for Niehren, JoachimNiehren, Joachim
1
Show details for Nielsen, Mogen (ed.)Nielsen, Mogen (ed.)
3
Show details for Nielsen, Mogens (ed.)Nielsen, Mogens (ed.)
1
Show details for Nielsen, Thomas D. (ed.)Nielsen, Thomas D. (ed.)
1
Show details for Nielson, FlemmingNielson, Flemming
1
Show details for Niemelä, Ilkka (ed.)Niemelä, Ilkka (ed.)
6
Show details for Nieuwenhuis, RobertNieuwenhuis, Robert
4
Show details for Nieuwenhuis, Robert (ed.)Nieuwenhuis, Robert (ed.)
9
Show details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
1
Show details for Nivat, MauriceNivat, Maurice
2
Show details for Nivat, Maurice (ed.)Nivat, Maurice (ed.)
2
Show details for Nivela, PilarNivela, Pilar
1
Show details for Niwinski, DamianNiwinski, Damian
15
Show details for Nonnengart, AndreasNonnengart, Andreas
2
Show details for Nonnengart, Andreas (ed.)Nonnengart, Andreas (ed.)
1
Show details for Nuettgens, Markus (ed.)Nuettgens, Markus (ed.)
1
Show details for Nüttgens, Markus (ed.)Nüttgens, Markus (ed.)
3
Show details for Nutt, Werner (ed.)Nutt, Werner (ed.)
1
Show details for O'Leary, John (ed.)O'Leary, John (ed.)
1
Show details for Oevel, WalterOevel, Walter
29
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
5
Show details for Ohlbach, Hans Jürgen (ed.)Ohlbach, Hans Jürgen (ed.)
1
Show details for Ohori, Atsushi (ed.)Ohori, Atsushi (ed.)
1
Show details for Okada, M. (ed.)Okada, M. (ed.)
1
Show details for Olbrich, SebastianOlbrich, Sebastian
1
Show details for Oliveras, AlbertOliveras, Albert
1
Show details for Ong, Luke (ed.)Ong, Luke (ed.)
1
Show details for Orejas, FernandoOrejas, Fernando
1
Show details for Orejas, Fernando (ed.)Orejas, Fernando (ed.)
4
Show details for Orlowska, Ewa (ed.)Orlowska, Ewa (ed.)
1
Show details for Orłowska, EwaOrłowska, Ewa
1
Show details for Pacholski, LeszekPacholski, Leszek
1
Show details for Pacholski, Leszek (ed.)Pacholski, Leszek (ed.)
1
Show details for Palamidessi, Catuscia (ed.)Palamidessi, Catuscia (ed.)
2
Show details for Palm, Günther (ed.)Palm, Günther (ed.)
1
Show details for Palm, R. (ed.)Palm, R. (ed.)
2
Show details for Palsberg, Jens (ed.)Palsberg, Jens (ed.)
1
Show details for Panetto, Herve (ed.)Panetto, Herve (ed.)
1
Show details for Pang, JunPang, Jun
1
Show details for Papadimitriou, ChristosPapadimitriou, Christos
1
Show details for Parigot, Michel (ed.)Parigot, Michel (ed.)
2
Show details for Parsons, Simon (ed.)Parsons, Simon (ed.)
1
Show details for Patel-Schneider, Peter F. (ed.)Patel-Schneider, Peter F. (ed.)
2
Hide details for Paulson, Lawrence C. (ed.)Paulson, Lawrence C. (ed.)
1996Matthews, SeánImplementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239
Proceedings Article
1995Ayari, Abdelwaheb
Basin, David A.
Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100
Proceedings Article
1
Show details for Pauly, Marc (ed.)Pauly, Marc (ed.)
1
Show details for Paul, W. J. (ed.)Paul, W. J. (ed.)
1
Show details for Paun, Gheorghe (ed.)Paun, Gheorghe (ed.)
2
Show details for Pearce, David (ed.)Pearce, David (ed.)
1
Show details for Peled, Doron A (ed.)Peled, Doron A (ed.)
1
Show details for Peled, Doron (ed.)Peled, Doron (ed.)
2
Show details for Penjam, Jaan (ed.)Penjam, Jaan (ed.)
3
Show details for Pereira, Luís Moniz (ed.)Pereira, Luís Moniz (ed.)
1
Show details for Pérez, María S. (ed.)Pérez, María S. (ed.)
1
Show details for Pfenning, Frank (ed.)Pfenning, Frank (ed.)
1
Show details for Pierrot, Francois (ed.)Pierrot, Francois (ed.)
1
Show details for Pigorsch, FlorianPigorsch, Florian
1
Show details for Pinto, GuilhermePinto, Guilherme
1
Show details for Pirri, Fiora (ed.)Pirri, Fiora (ed.)
2
Show details for Piskac, RuzicaPiskac, Ruzica
1
Show details for Pitt, Jeremy (ed.)Pitt, Jeremy (ed.)
1
Show details for Pitz, WernerPitz, Werner
7
Show details for Plaisted, David A.Plaisted, David A.
3
Show details for Plotkin, Gordon (ed.)Plotkin, Gordon (ed.)
1
Show details for Plotkin, G. (ed.)Plotkin, G. (ed.)
1
Show details for Pnueli, AmirPnueli, Amir
65
Show details for Podelski, AndreasPodelski, Andreas
5
Show details for Podelski, Andreas (ed.)Podelski, Andreas (ed.)
1
Show details for Pollack, Martha E. (ed.)Pollack, Martha E. (ed.)
1
Show details for Pons, OlivierPons, Olivier
1
Show details for Poole, David (ed.)Poole, David (ed.)
1
Show details for Porteous, JuliePorteous, Julie
2
Show details for Präcklein, AxelPräcklein, Axel
5
Show details for Prade, Henri (ed.)Prade, Henri (ed.)
1
Show details for Prakken, Henri (ed.)Prakken, Henri (ed.)
1
Show details for Pratt-Hartmann, IanPratt-Hartmann, Ian
3
Show details for Pratt, Vaughan (ed.)Pratt, Vaughan (ed.)
5
Show details for Prevosto, VirgilePrevosto, Virgile
1
Show details for Pribbenow, Simone (ed.)Pribbenow, Simone (ed.)
1
Show details for Radermacher, F. J.Radermacher, F. J.
1
Show details for Rahman, ShahidRahman, Shahid
3
Show details for Rajamani, Sriram K.Rajamani, Sriram K.
1
Show details for Rajan, Kanna (ed.)Rajan, Kanna (ed.)
1
Show details for Ramakrishnan, I.V. (ed.)Ramakrishnan, I.V. (ed.)
1
Show details for Ramani, S. (ed.)Ramani, S. (ed.)
1
Show details for Ramanujam, R (ed.)Ramanujam, R (ed.)
1
Show details for Raman, V. (ed.)Raman, V. (ed.)
1
Show details for Raskin, Jean-FrançoisRaskin, Jean-François
1
Show details for Raskin, J.-F. (ed.)Raskin, J.-F. (ed.)
1
Show details for Ras, Z. (ed.)Ras, Z. (ed.)
12
Show details for Ratschan, StefanRatschan, Stefan
1
Show details for Rattray, Charles (ed.)Rattray, Charles (ed.)
2
Show details for Rau, RainerRau, Rainer
1
Show details for Reggio, Gianna (ed.)Reggio, Gianna (ed.)
1
Show details for Reinold, MichaelReinold, Michael
1
Show details for Reischuk, Rüdiger (ed.)Reischuk, Rüdiger (ed.)
1
Show details for Remenyi, Dan (ed.)Remenyi, Dan (ed.)
1
Show details for Rémy, J.-L. (ed.)Rémy, J.-L. (ed.)
1
Show details for Rewitzky, I. M.Rewitzky, I. M.
1
Show details for Riazanov, AlexandreRiazanov, Alexandre
1
Show details for Richter, M.M. (ed.)Richter, M.M. (ed.)
1
Show details for Rich, Charles (ed.)Rich, Charles (ed.)
1
Show details for Rinaldi, GiovanniRinaldi, Giovanni
1
Show details for Rinard, Martin C.Rinard, Martin C.
1
Show details for Ringeissen, C. (ed.)Ringeissen, C. (ed.)
5
Show details for Robinson, Alan (ed.)Robinson, Alan (ed.)
3
Show details for Robinson, J. A. (ed.)Robinson, J. A. (ed.)
1
Show details for Robles, Víctor (ed.)Robles, Víctor (ed.)
3
Show details for Rock, GeorgRock, Georg
2
Show details for Rodríguez-Artalejo, Mario (ed.)Rodríguez-Artalejo, Mario (ed.)
1
Show details for Rolim, José (ed.)Rolim, José (ed.)
1
Show details for Rollinger, Claus-Rainer (ed.)Rollinger, Claus-Rainer (ed.)
1
Show details for Romina, AnyaRomina, Anya
2
Show details for Rossi, Francesca (ed.)Rossi, Francesca (ed.)
2
Show details for Rote, GünterRote, Günter
2
Show details for Rott, Hans (ed.)Rott, Hans (ed.)
1
Show details for Rowles, C. (ed.)Rowles, C. (ed.)
1
Show details for Roy, Marie-Franccoise (ed.)Roy, Marie-Franccoise (ed.)
1
Show details for Rückert, HelgeRückert, Helge
2
Show details for Rump, Frank J. (ed.)Rump, Frank J. (ed.)
3
Show details for Rusinowitch, Michael (ed.)Rusinowitch, Michael (ed.)
1
Show details for Rusinowitch, M. (ed.)Rusinowitch, M. (ed.)
1
Show details for Rus, Teodor (ed.)Rus, Teodor (ed.)
1
Show details for Ruzicka, Peter (ed.)Ruzicka, Peter (ed.)
20
Show details for Rybalchenko, AndreyRybalchenko, Andrey
1
Show details for Sabharwal, AshishSabharwal, Ashish
1
Show details for Sabin, Mihaela (ed.)Sabin, Mihaela (ed.)
1
Show details for Sagiv, Mooly (ed.)Sagiv, Mooly (ed.)
1
Show details for Sagiv, Yehoshua (ed.)Sagiv, Yehoshua (ed.)
1
Show details for Salzer, Gernot (ed.)Salzer, Gernot (ed.)
1
Show details for Sandewall, E. (ed.)Sandewall, E. (ed.)
1
Show details for SanJuan, Eric (ed.)SanJuan, Eric (ed.)
1
Show details for Sannella, Don (ed.)Sannella, Don (ed.)
2
Show details for Sasikumar, M. (ed.)Sasikumar, M. (ed.)
1
Show details for Sattler, Ulrike (ed.)Sattler, Ulrike (ed.)
1
Show details for Scannapieco, Monica (ed.)Scannapieco, Monica (ed.)
1
Show details for Schader, M. (ed.)Schader, M. (ed.)
2
Show details for Schaefer, InaSchaefer, Ina
1
Show details for Schäfers, RenateSchäfers, Renate
1
Show details for Schäf, MartinSchäf, Martin
1
Show details for Schaub, Torsten (ed.)Schaub, Torsten (ed.)
1
Show details for Schirmer, NorbertSchirmer, Norbert
1
Show details for Schlobach, StefanSchlobach, Stefan
1
Show details for Schmidt, G. (ed.)Schmidt, G. (ed.)
36
Show details for Schmidt, Renate A.Schmidt, Renate A.
2
Show details for Schmidt, Renate (ed.)Schmidt, Renate (ed.)
3
Show details for Schmitt, Peter H. (ed.)Schmitt, Peter H. (ed.)
1
Show details for Schmolzi, ChristianSchmolzi, Christian
1
Show details for Scholl, ChristophScholl, Christoph
1
Show details for Schöttle, HendrikSchöttle, Hendrik
2
Show details for Schubert, Lenhart (ed.)Schubert, Lenhart (ed.)
2
Show details for Schulz, Andreas S.Schulz, Andreas S.
2
Show details for Schulz, Klaus U. (ed.)Schulz, Klaus U. (ed.)
2
Show details for Schulz, K. U. (ed.)Schulz, K. U. (ed.)
4
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
1
Show details for Schütt, D. (ed.)Schütt, D. (ed.)
2
Show details for Schwartzbach, Michael I. (ed.)Schwartzbach, Michael I. (ed.)
1
Show details for Schwartzbach, Michael (ed.)Schwartzbach, Michael (ed.)
3
Show details for Schwefel, Hans-Paul (ed.)Schwefel, Hans-Paul (ed.)
1
Show details for Scollo, Guiseppe (ed.)Scollo, Guiseppe (ed.)
1
Show details for Seatzu, Carla (ed.)Seatzu, Carla (ed.)
1
Show details for Sebastiani, Roberto (ed.)Sebastiani, Roberto (ed.)
1
Show details for Sebastia, LauraSebastia, Laura
1
Show details for Segerberg, Krister (ed.)Segerberg, Krister (ed.)
1
Show details for Seghir, Mohammed NassimSeghir, Mohammed Nassim
1
Show details for Seidl, Andreas (ed.)Seidl, Andreas (ed.)
1
Show details for Seidl, HelmutSeidl, Helmut
1
Show details for Seipel, Dietmar (ed.)Seipel, Dietmar (ed.)
1
Show details for Selman, BartSelman, Bart
1
Show details for Seyr, Katrin (ed.)Seyr, Katrin (ed.)
2
Show details for Shankar, Natarajan (ed.)Shankar, Natarajan (ed.)
2
Show details for Shapiro, Stuart C. (ed.)Shapiro, Stuart C. (ed.)
2
Show details for Shapiro, Stuart (ed.)Shapiro, Stuart (ed.)
1
Show details for Sharma, Arun (ed.)Sharma, Arun (ed.)
1
Show details for Shenoy, Prakash Pundalik (ed.)Shenoy, Prakash Pundalik (ed.)
5
Show details for She, ZhikunShe, Zhikun
1
Show details for Shinohara, Takeshi (ed.)Shinohara, Takeshi (ed.)
1
Show details for Shyamasundar, R. K.Shyamasundar, R. K.
1
Show details for Shyamasundar, R. K. (ed.)Shyamasundar, R. K. (ed.)
1
Show details for Siekmann, Jörg H.Siekmann, Jörg H.
2
Show details for Siekmann, J. (ed.)Siekmann, J. (ed.)
1
Show details for Sigayret, Alain (ed.)Sigayret, Alain (ed.)
2
Show details for Sijanski, GrozdanaSijanski, Grozdana
1
Show details for Silverman, J. (ed.)Silverman, J. (ed.)
1
Show details for Simonis, Helmut (ed.)Simonis, Helmut (ed.)
1
Show details for Simon, CarloSimon, Carlo
1
Show details for Simpson, AlexSimpson, Alex
1
Show details for Sinner, AlexSinner, Alex
2
Show details for Siveroni, Igor (ed.)Siveroni, Igor (ed.)
1
Show details for Slaney, John K. (ed.)Slaney, John K. (ed.)
8
Show details for Slaney, J. K. (ed.)Slaney, J. K. (ed.)
3
Show details for Smaill, AlanSmaill, Alan
2
Show details for Smaus, Jan-GeorgSmaus, Jan-Georg
1
Show details for Smith, B. C. (ed.)Smith, B. C. (ed.)
3
Show details for Smith, Stephen F. (ed.)Smith, Stephen F. (ed.)
3
Show details for Smolka, GertSmolka, Gert
4
Show details for Smolka, Gert (ed.)Smolka, Gert (ed.)
1
Show details for Smolka, G. (ed.)Smolka, G. (ed.)
2
Show details for Snyder, WayneSnyder, Wayne
9
Show details for Socher-Ambrosius, RolfSocher-Ambrosius, Rolf
35
Show details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
1
Show details for Sorbello, F. (ed.)Sorbello, F. (ed.)
1
Show details for Spies, HendrikSpies, Hendrik
1
Show details for Spirakis, Paul G. (ed.)Spirakis, Paul G. (ed.)
1
Show details for Spyns, Peter (ed.)Spyns, Peter (ed.)
1
Show details for Srivas, M. (ed.)Srivas, M. (ed.)
1
Show details for Steele, N. (ed.)Steele, N. (ed.)
1
Show details for Stefanakis, Emmanuel (ed.)Stefanakis, Emmanuel (ed.)
2
Show details for Steffen, Bernhard (ed.)Steffen, Bernhard (ed.)
1
Show details for Steffen, Bernhardt (ed.)Steffen, Bernhardt (ed.)
1
Show details for Steinbach, B. (ed.)Steinbach, B. (ed.)
1
Show details for Stenz, GernotStenz, Gernot
1
Show details for Stephan, Werner (ed.)Stephan, Werner (ed.)
2
Show details for Sterling, Leon (ed.)Sterling, Leon (ed.)
1
Show details for Stevens, Perdita (ed.)Stevens, Perdita (ed.)
1
Show details for Stokkermans, KarelStokkermans, Karel
4
Show details for Stoyan, Herbert (ed.)Stoyan, Herbert (ed.)
1
Show details for Stoyan, H. (ed.)Stoyan, H. (ed.)
4
Show details for Struth, GeorgStruth, Georg
2
Show details for Struth, Georg (ed.)Struth, Georg (ed.)
13
Show details for Stuber, JürgenStuber, Jürgen
3
Show details for Stuckey, Peter J. (ed.)Stuckey, Peter J. (ed.)
1
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Suchanek, FabianSuchanek, Fabian
1
Show details for Suchanek, Fabian M.Suchanek, Fabian M.
3
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Suzuki, Nobu-Yuki (ed.)Suzuki, Nobu-Yuki (ed.)
1
Show details for Swartout, William (ed.)Swartout, William (ed.)
1
Show details for Swierstra, S. Doaitse (ed.)Swierstra, S. Doaitse (ed.)
2
Show details for Szalas, AndrzejSzalas, Andrzej
11
Show details for Talbot, Jean-MarcTalbot, Jean-Marc
1
Show details for Tammet, TanelTammet, Tanel
1
Show details for Tammet, Tanel (ed.)Tammet, Tanel (ed.)
1
Show details for Tan, HongyanTan, Hongyan
11
Show details for Tan, Yao-HuaTan, Yao-Hua
1
Show details for Tari, Zahir (ed.)Tari, Zahir (ed.)
4
Show details for Tarlecki, Andrzej (ed.)Tarlecki, Andrzej (ed.)
1
Show details for Tchuente, M. (ed.)Tchuente, M. (ed.)
1
Show details for Tessaris, Sergio (ed.)Tessaris, Sergio (ed.)
2
Show details for Theobalt, ChristianTheobalt, Christian
1
Show details for Thiagarajan, P.S. (ed.)Thiagarajan, P.S. (ed.)
1
Show details for Thiebaux, SylvieThiebaux, Sylvie
1
Show details for Thiele, Lothar (ed.)Thiele, Lothar (ed.)
1
Show details for Thomas, Wolfgang (ed.)Thomas, Wolfgang (ed.)
1
Show details for Thümmel, W. (ed.)Thümmel, W. (ed.)
1
Show details for Timm, Jan-GeorgTimm, Jan-Georg
5
Show details for Tinelli, CesareTinelli, Cesare
6
Show details for Tishkovsky, DmitryTishkovsky, Dmitry
1
Show details for Tison, SophieTison, Sophie
1
Show details for Tison, Sophie (ed.)Tison, Sophie (ed.)
1
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
1
Show details for Topic, DaliborTopic, Dalibor
3
Show details for Topić, DaliborTopić, Dalibor
1
Show details for Torasso, P. (ed.)Torasso, P. (ed.)
1
Show details for Traverso, P.Traverso, P.
1
Show details for Treinen, Ralf (ed.)Treinen, Ralf (ed.)
1
Show details for Trueg, SebastianTrueg, Sebastian
1
Show details for Truszczynski, Mirek (ed.)Truszczynski, Mirek (ed.)
2
Show details for Truszczynski, M. (ed.)Truszczynski, M. (ed.)
1
Show details for Tsay, Yih-Kuen (ed.)Tsay, Yih-Kuen (ed.)
1
Show details for Turini, Franco (ed.)Turini, Franco (ed.)
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
7
Show details for Tzakova, MiroslavaTzakova, Miroslava
1
Show details for Uebe, G. (ed.)Uebe, G. (ed.)
1
Show details for Ursini, Aldo (ed.)Ursini, Aldo (ed.)
1
Show details for Urzyczyn, Pawe{ł} (ed.)Urzyczyn, Pawe{ł} (ed.)
1
Show details for Vakarelov, DimiterVakarelov, Dimiter
1
Show details for Vakil, R. (ed.)Vakil, R. (ed.)
1
Show details for Vallduvi, Enric (ed.)Vallduvi, Enric (ed.)
2
Show details for Valmari, Antti (ed.)Valmari, Antti (ed.)
22
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
1
Show details for van Emde Boas, Peter (ed.)van Emde Boas, Peter (ed.)
2
Show details for Van Hentenryck, Pascal (ed.)Van Hentenryck, Pascal (ed.)
1
Show details for van Leeuwen, Jan (ed.)van Leeuwen, Jan (ed.)
1
Show details for Vardi, MosheVardi, Moshe
1
Show details for Varsek, I.Varsek, I.
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
10
Show details for Veanes, MargusVeanes, Margus
1
Show details for Vehi, JosepVehi, Josep
1
Show details for Veit, JörgVeit, Jörg
1
Show details for Ventura, PaoloVentura, Paolo
9
Show details for Viganò, LucaViganò, Luca
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Vogel, Carl (ed.)Vogel, Carl (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
1
Show details for von Wright, J. (ed.)von Wright, J. (ed.)
11
Show details for Vorobyov, SergeiVorobyov, Sergei
10
Show details for Voronkov, AndreiVoronkov, Andrei
18
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
4
Show details for Voronkov, A. (ed.)Voronkov, A. (ed.)
1
Show details for Vorozhtsov, Evgenii V. (ed.)Vorozhtsov, Evgenii V. (ed.)
1
Show details for Wachsmuth, Ipke (ed.)Wachsmuth, Ipke (ed.)
1
Show details for Wagner, Dorothea (ed.)Wagner, Dorothea (ed.)
6
Show details for Wagner, SilkeWagner, Silke
22
Show details for Waldmann, UweWaldmann, Uwe
1
Show details for Wallin, Annika (ed.)Wallin, Annika (ed.)
6
Show details for Walsh, TobyWalsh, Toby
1
Show details for Walukiewicz, IgorWalukiewicz, Igor
1
Show details for Wang, Dongming (ed.)Wang, Dongming (ed.)
1
Show details for Wang, D. (ed.)Wang, D. (ed.)
3
Show details for Wang, YonggeWang, Yongge
3
Show details for Wansing, Heinrich (ed.)Wansing, Heinrich (ed.)
2
Show details for Wansing, H. (ed.)Wansing, H. (ed.)
1
Show details for Warren, David Scott (ed.)Warren, David Scott (ed.)
1
Show details for Warren, D. S. (ed.)Warren, D. S. (ed.)
33
Show details for Weidenbach, ChristophWeidenbach, Christoph
1
Show details for Weispfenning, V.Weispfenning, V.
7
Show details for Werner, AndreasWerner, Andreas
2
Show details for Wetzel, SusanneWetzel, Susanne
30
Show details for Weydert, EmilWeydert, Emil
2
Show details for Weydert, Emil (ed.)Weydert, Emil (ed.)
2
Show details for Wiedermann, Jiri (ed.)Wiedermann, Jiri (ed.)
3
Show details for Wies, ThomasWies, Thomas
1
Show details for Williams, Denise A. (ed.)Williams, Denise A. (ed.)
2
Show details for Winskel, Glynn (ed.)Winskel, Glynn (ed.)
2
Show details for Wirsing, Martin (ed.)Wirsing, Martin (ed.)
1
Show details for Wirtz, BorisWirtz, Boris
4
Show details for Witteveen, Cees (ed.)Witteveen, Cees (ed.)
1
Show details for Woeginger, Gerhard J. (ed.)Woeginger, Gerhard J. (ed.)
1
Show details for Wolter, Frank (ed.)Wolter, Frank (ed.)
5
Show details for Wu, JinzhaoWu, Jinzhao
1
Show details for Xiao, RongXiao, Rong
2
Show details for Xia, BicanXia, Bican
1
Show details for Yahya, AdnanYahya, Adnan
1
Show details for Yang, LuYang, Lu
1
Show details for Yap, Roland H. C. (ed.)Yap, Roland H. C. (ed.)
1
Show details for Yi, Wang (ed.)Yi, Wang (ed.)
1
Show details for Yonezawa, A. (ed.)Yonezawa, A. (ed.)
1
Show details for Yoshida, TetsujaYoshida, Tetsuja
1
Show details for Yuan, CongYuan, Cong
1
Show details for Zaha, Johannes Maria (ed.)Zaha, Johannes Maria (ed.)
2
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
1
Show details for Zakharyaschev, M. (ed.)Zakharyaschev, M. (ed.)
1
Show details for Zamulin, Alexandre (ed.)Zamulin, Alexandre (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zaroliagis, ChristosZaroliagis, Christos
1
Show details for Zartmann, FrankZartmann, Frank
1
Show details for Zaytoon, Janan (ed.)Zaytoon, Janan (ed.)
1
Show details for Zemankova, M. (ed.)Zemankova, M. (ed.)
1
Show details for Zeugmann, Thomas (ed.)Zeugmann, Thomas (ed.)
1
Show details for Zeyer, JörgZeyer, Jörg
2
Show details for Zhang, Hantao (ed.)Zhang, Hantao (ed.)
1
Show details for Zhang, Nevin L. (ed.)Zhang, Nevin L. (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zilberstein, Shlomo (ed.)Zilberstein, Shlomo (ed.)
1
Show details for Zimány, Esteban (ed.)Zimány, Esteban (ed.)
2
Show details for Zini, FlorianoZini, Floriano
1
Show details for Zlatuska, Jirí (ed.)Zlatuska, Jirí (ed.)
2
Show details for Zuck, Lenore (ed.)Zuck, Lenore (ed.)
2336
Next Page