MPI-INF Logo
Publications

MPI-INF RG1 Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
3
Show details for Lamotte-Schubert, ManuelLamotte-Schubert, Manuel
1
Show details for Lamotte, ManuelLamotte, Manuel
1
Show details for Lasaruk, AlessLasaruk, Aless
1
Show details for Lee, Insup (ed.)Lee, Insup (ed.)
3
Show details for Leitsch, Alexander (ed.)Leitsch, Alexander (ed.)
1
Show details for Lenzerini, Maurizio (ed.)Lenzerini, Maurizio (ed.)
1
Show details for Lenzini, Luciano (ed.)Lenzini, Luciano (ed.)
1
Show details for Letz, ReinholdLetz, Reinhold
1
Show details for Leuschel, Michael (ed.)Leuschel, Michael (ed.)
1
Show details for Lev-Ami, TalLev-Ami, Tal
1
Show details for Levi, G. (ed.)Levi, G. (ed.)
1
Show details for Leykin, Anton (ed.)Leykin, Anton (ed.)
1
Show details for Lilith, NimrodLilith, Nimrod
5
Show details for Löchner, BerndLöchner, Bernd
2
Show details for Ludwig, MichelLudwig, Michel
1
Show details for Lutz, Carsten (ed.)Lutz, Carsten (ed.)
1
Show details for Luuk, MarcLuuk, Marc
1
Show details for Lu, QiLu, Qi
3
Show details for Lu, TianxiangLu, Tianxiang
1
Show details for Lynch, ChristopherLynch, Christopher
1
Show details for Lynch, Christopher (ed.)Lynch, Christopher (ed.)
1
Show details for Maler, Oded (ed.)Maler, Oded (ed.)
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marcus, Solomon (ed.)Marcus, Solomon (ed.)
2
Show details for Matheis, ThomasMatheis, Thomas
2
Show details for McAllester, David (ed.)McAllester, David (ed.)
1
Show details for McCune, William (ed.)McCune, William (ed.)
1
Show details for McRobbie, Michael A. (ed.)McRobbie, Michael A. (ed.)
2
Show details for McRobbie, M. A. (ed.)McRobbie, M. A. (ed.)
1
Show details for Mendling, Jan (ed.)Mendling, Jan (ed.)
1
Show details for Mertsching, Bärbel (ed.)Mertsching, Bärbel (ed.)
1
Show details for Mery, Dominique (ed.)Mery, Dominique (ed.)
3
Show details for Merz, StephanMerz, Stephan
1
Show details for Merz, Stephan (ed.)Merz, Stephan (ed.)
3
Show details for Meyer, ChristophMeyer, Christoph
1
Show details for Miller, Dale (ed.)Miller, Dale (ed.)
1
Show details for Motik, Boris (ed.)Motik, Boris (ed.)
1
Show details for Münch, SusanneMünch, Susanne
1
Show details for Mundici, Daniele (ed.)Mundici, Daniele (ed.)
1
Show details for Nadif, Mohamed (ed.)Nadif, Mohamed (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 Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1
Show details for Neumann, Stephan RouvenNeumann, Stephan Rouven
1
Show details for Nguyen, ThanhVuNguyen, ThanhVu
2
Show details for Nieuwenhuis, RobertNieuwenhuis, Robert
3
Show details for Nieuwenhuis, Robert (ed.)Nieuwenhuis, Robert (ed.)
4
Show details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
3
Show details for Nonnengart, AndreasNonnengart, Andreas
1
Show details for Nüttgens, Markus (ed.)Nüttgens, Markus (ed.)
1
Show details for Nutt, Werner (ed.)Nutt, Werner (ed.)
2
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
1
Show details for Ohlbach, Hans Jürgen (ed.)Ohlbach, Hans Jürgen (ed.)
1
Show details for Okamura, Yoshio (ed.)Okamura, Yoshio (ed.)
1
Show details for Olbrich, SebastianOlbrich, Sebastian
8
Show details for Olderog, Ernst-Rüdiger (ed.)Olderog, Ernst-Rüdiger (ed.)
3
Show details for Orlowska, Ewa (ed.)Orlowska, Ewa (ed.)
2
Show details for Pang, JunPang, Jun
1
Show details for Pascal Fontaine (ed.)Pascal Fontaine (ed.)
1
Show details for Patel-Schneider, Peter F. (ed.)Patel-Schneider, Peter F. (ed.)
1
Show details for Paun, Gheorghe (ed.)Paun, Gheorghe (ed.)
1
Show details for Peltier, NicolasPeltier, Nicolas
5
Show details for Peltier, Nicolas (ed.)Peltier, Nicolas (ed.)
1
Show details for Pfenning, Frank (ed.)Pfenning, Frank (ed.)
4
Show details for Pigorsch, FlorianPigorsch, Florian
1
Show details for Piskac, RuzicaPiskac, Ruzica
1
Show details for Podelski, AndreasPodelski, Andreas
9
Show details for Podelski, Andreas (ed.)Podelski, Andreas (ed.)
1
Show details for Popescu, AndreiPopescu, Andrei
1
Show details for Prade, Henri (ed.)Prade, Henri (ed.)
1
Show details for Prevosto, VirgilePrevosto, Virgile
1
Show details for Pribbenow, Simone (ed.)Pribbenow, Simone (ed.)
1
Show details for Ramakrishnan, C. R. (ed.)Ramakrishnan, C. R. (ed.)
1
Show details for Ranise, SilvioRanise, Silvio
1
Show details for Ranise, Silvio (ed.)Ranise, Silvio (ed.)
2
Show details for Ratschan, Stefan (ed.)Ratschan, Stefan (ed.)
1
Show details for Rehof, Jakob (ed.)Rehof, Jakob (ed.)
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 Renate A. Schmidt (ed.)Renate A. Schmidt (ed.)
1
Show details for Reps, ThomasReps, Thomas
1
Show details for Reuter, JochenReuter, Jochen
1
Show details for Riazanov, AlexandreRiazanov, Alexandre
1
Show details for Ringeissen, Christophe (ed.)Ringeissen, Christophe (ed.)
1
Show details for Ringeissen, ChristopherRingeissen, Christopher
2
Show details for Robinson, Alan (ed.)Robinson, Alan (ed.)
2
Show details for Rock, GeorgRock, Georg
1
Show details for Roggenbach, Markus (ed.)Roggenbach, Markus (ed.)
1
Show details for Rosati, Riccardo (ed.)Rosati, Riccardo (ed.)
1
Show details for Rudeanu, Sergiu (ed.)Rudeanu, Sergiu (ed.)
1
Show details for Rudolph, Sebastian (ed.)Rudolph, Sebastian (ed.)
1
Show details for Rump, Frank J. (ed.)Rump, Frank J. (ed.)
2
Show details for Rusev, RostislavRusev, Rostislav
1
Show details for Rusinowitch, Michael (ed.)Rusinowitch, Michael (ed.)
1
Show details for Rusinowitch, M. (ed.)Rusinowitch, M. (ed.)
3
Show details for Rybalchenko, AndreyRybalchenko, Andrey
1
Show details for Sagiv, MoolySagiv, Mooly
1
Show details for Salzer, Gernot (ed.)Salzer, Gernot (ed.)
1
Show details for SanJuan, Eric (ed.)SanJuan, Eric (ed.)
1
Show details for Sattler, Uli (ed.)Sattler, Uli (ed.)
1
Show details for Sattler, UlrikeSattler, Ulrike
4
Show details for Sattler, Ulrike (ed.)Sattler, Ulrike (ed.)
1
Show details for Scheibler, KarstenScheibler, Karsten
1
Show details for Schmidt, RenateSchmidt, Renate
2
Show details for Schmidt, Renate A.Schmidt, Renate A.
6
Show details for Schmidt, Renate A. (ed.)Schmidt, Renate A. (ed.)
1
Show details for Schmidt, Renate (ed.)Schmidt, Renate (ed.)
1
Show details for Schmitt, Peter H. (ed.)Schmitt, Peter H. (ed.)
5
Show details for Scholl, ChristophScholl, Christoph
1
Show details for Schulz, Klaus U. (ed.)Schulz, Klaus U. (ed.)
2
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
2
Show details for Sebastiani, Roberto (ed.)Sebastiani, Roberto (ed.)
1
Show details for Seiler, W.Seiler, W.
1
Show details for Shankar, Natarajan (ed.)Shankar, Natarajan (ed.)
1
Show details for Sigayret, Alain (ed.)Sigayret, Alain (ed.)
1
Show details for Sijanski, GrozdanaSijanski, Grozdana
1
Show details for Simon, CarloSimon, Carlo
1
Show details for Slaney, John K. (ed.)Slaney, John K. (ed.)
2
Show details for Slaney, J. K. (ed.)Slaney, J. K. (ed.)
75
Show details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
12
Show details for Sofronie-Stokkermans, Viorica (ed.)Sofronie-Stokkermans, Viorica (ed.)
1
Show details for Spies, HendrikSpies, Hendrik
1
Show details for Stickel, Mark E. (ed.)Stickel, Mark E. (ed.)
1
Show details for Stickel, Mark (ed.)Stickel, Mark (ed.)
1
Show details for Stokkermans, KarelStokkermans, Karel
1
Show details for Stoyan, Herbert (ed.)Stoyan, Herbert (ed.)
4
Show details for Sturm, ThomasSturm, Thomas
3
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Sturm, T.Sturm, T.
6
Show details for Suda, MartinSuda, Martin
1
Show details for Sutcliffe, GeoffSutcliffe, Geoff
1
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Tang, Ching HooTang, Ching Hoo
1
Show details for Teige, TeigeTeige, Teige
1
Show details for Teucke, AndreasTeucke, Andreas
2
Show details for Theobalt, ChristianTheobalt, Christian
2
Show details for Tinelli, Cesare (ed.)Tinelli, Cesare (ed.)
2
Show details for Tiwari, AshishTiwari, Ashish
2
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
2
Show details for Topic, DaliborTopic, Dalibor
3
Show details for Topić, DaliborTopić, Dalibor
2
Show details for Tran, Duc-KhanhTran, Duc-Khanh
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
1
Show details for Vaida, Dragos (ed.)Vaida, Dragos (ed.)
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
1
Show details for Veith, Helmut (ed.)Veith, Helmut (ed.)
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Viswanathan, Mahesh (ed.)Viswanathan, Mahesh (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
2
Show details for Voronkov, AndreiVoronkov, Andrei
1
Show details for Voronkov, Andrei VoronkovVoronkov, Andrei Voronkov
15
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
32
Show details for Waldmann, UweWaldmann, Uwe
1
Show details for Wand, DanielWand, Daniel
1
Show details for Weber, AndreasWeber, Andreas
1
Show details for Weber, A.Weber, A.
75
Show details for Weidenbach, ChristophWeidenbach, Christoph
3
Show details for Weidenbach, Christoph (ed.)Weidenbach, Christoph (ed.)
1
Show details for Weydert, EmilWeydert, Emil
1
Show details for Wilhelm, ReinhardWilhelm, Reinhard
7
Show details for Wilhelm, Reinhard (ed.)Wilhelm, Reinhard (ed.)
5
Show details for Wirtz, BorisWirtz, Boris
11
Show details for Wischnewski, PatrickWischnewski, Patrick
1
Show details for Wolter, Frank (ed.)Wolter, Frank (ed.)
1
Show details for Yoneda, Tomohiro (ed.)Yoneda, Tomohiro (ed.)
1
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zeller, Andreas (ed.)Zeller, Andreas (ed.)
2
Show details for Zengler, Christoph (ed.)Zengler, Christoph (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zhang, ZhihaiZhang, Zhihai
1
Show details for Zhao, HantaoZhao, Hantao
2
Show details for Ziemann, JoergZiemann, Joerg
1
Show details for Zimmer, StephanZimmer, Stephan
841
Next Page