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 - 2. by Group - 3. by Names Including [Non Members]

Login to this database


 

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

#YearTitleType
1
Show details for Pacholski, Podelski [Pacholski, Smolka]Pacholski, Podelski [Pacholski, Smolka]
1
Show details for Piskac [-]Piskac [-]
2
Show details for Plaisted [-]Plaisted [-]
1
Show details for Pnueli, Podelski, Rybalchenko [Pnueli, Halbwachs, Zuck]Pnueli, Podelski, Rybalchenko [Pnueli, Halbwachs, Zuck]
1
Show details for Podelski (ed.) [-]Podelski (ed.) [-]
2
Show details for Podelski [-]Podelski [-]
1
Show details for Podelski [Leuschel]Podelski [Leuschel]
1
Show details for Podelski [Palsberg]Podelski [Palsberg]
1
Show details for Podelski [Zuck, Attie, Cortesi, Mukhopadhyay]Podelski [Zuck, Attie, Cortesi, Mukhopadhyay]
1
Show details for Podelski, Ball, Rajamani [Ball, Rajamani, Ball, Rajamani]Podelski, Ball, Rajamani [Ball, Rajamani, Ball, Rajamani]
1
Show details for Podelski, Ball, Rajamani [Ball, Rajamani, Kaoen, Stevens]Podelski, Ball, Rajamani [Ball, Rajamani, Kaoen, Stevens]
1
Show details for Podelski, Charatonik, Müller [Müller, Swierstra]Podelski, Charatonik, Müller [Müller, Swierstra]
2
Show details for Podelski, Rybalchenko [-]Podelski, Rybalchenko [-]
1
Show details for Podelski, Rybalchenko [Levi, Steffen]Podelski, Rybalchenko [Levi, Steffen]
1
Show details for Podelski, Rybalchenko [Palsberg, Abadi]Podelski, Rybalchenko [Palsberg, Abadi]
1
Show details for Podelski, Rybalchenko [Podelski]Podelski, Rybalchenko [Podelski]
1
Show details for Podelski, Rybalchenko, Cook [Cook]Podelski, Rybalchenko, Cook [Cook]
1
Show details for Podelski, Schaefer, Wagner [-]Podelski, Schaefer, Wagner [-]
1
Show details for Podelski, Schaefer, Wagner [Sagiv]Podelski, Schaefer, Wagner [Sagiv]
2
Show details for Podelski, Smolka [-]Podelski, Smolka [-]
1
Show details for Podelski, Smolka [Smolka]Podelski, Smolka [Smolka]
1
Show details for Podelski, Wagner [Hespanha, Tiwari]Podelski, Wagner [Hespanha, Tiwari]
2
Show details for Podelski, Wagner [Podelski]Podelski, Wagner [Podelski]
1
Show details for Podelski, Wies [Hankin, Siveroni]Podelski, Wies [Hankin, Siveroni]
1
Show details for Prevosto [Coquand, Lombardi, Roy]Prevosto [Coquand, Lombardi, Roy]
1
Show details for Prevosto, Boulmé [Boulmé, Urzyczyn]Prevosto, Boulmé [Boulmé, Urzyczyn]
1
Show details for Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz]Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz]
1
Show details for Rahman, Rückert, Fischmann [Rahman, Rückert]Rahman, Rückert, Fischmann [Rahman, Rückert]
2
Show details for Ratschan [-]Ratschan [-]
1
Show details for Ratschan [Dolzmann, Seidl, Sturm]Ratschan [Dolzmann, Seidl, Sturm]
1
Show details for Ratschan [Rossi]Ratschan [Rossi]
2
Show details for Ratschan, She [-]Ratschan, She [-]
1
Show details for Ratschan, She [Calmet, Ida, Wang]Ratschan, She [Calmet, Ida, Wang]
1
Show details for Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]
1
Show details for Ratschan, Vehi [Bittanti]Ratschan, Vehi [Bittanti]
1
Show details for Rau [-]Rau [-]
1
Show details for Reinold [-]Reinold [-]
1
Show details for Rock [-]Rock [-]
1
Show details for Rybalchenko [-]Rybalchenko [-]
1
Show details for Rybalchenko [Malkis, Podelski, Filé, Nielson]Rybalchenko [Malkis, Podelski, Filé, Nielson]
1
Show details for Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]
1
Show details for Schäf [-]Schäf [-]
1
Show details for Schlobach [-]Schlobach [-]
6
Show details for Schmidt [-]Schmidt [-]
1
Show details for Schmidt [Böttner, Thümmel]Schmidt [Böttner, Thümmel]
1
Show details for Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]
1
Show details for Schmidt [Nipkow]Schmidt [Nipkow]
1
Show details for Schmidt, Hustadt [Hustadt, Baader]Schmidt, Hustadt [Hustadt, Baader]
1
Show details for Schmidt, Orłowska, Hustadt [Or{Schmidt, Orłowska, Hustadt [Or{
1
Show details for Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky]Schmidt, Tishkovsky [Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Tishkovsky]Schmidt, Tishkovsky [Tishkovsky]
1
Show details for Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]
1
Show details for Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]
1
Show details for Schmolzi [-]Schmolzi [-]
1
Show details for She, Ratschan [-]She, Ratschan [-]
1
Show details for She, Xia, Xiao [Xiao, Kovalerchuk]She, Xia, Xiao [Xiao, Kovalerchuk]
1
Show details for Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]
1
Show details for Smaus [-]Smaus [-]
8
Show details for Socher-Ambrosius [-]Socher-Ambrosius [-]
14
Show details for Sofronie-Stokkermans [-]Sofronie-Stokkermans [-]
1
Show details for Sofronie-Stokkermans [Autexier, Mantel]Sofronie-Stokkermans [Autexier, Mantel]
1
Show details for Sofronie-Stokkermans [Cachro, Kijania-Placek]Sofronie-Stokkermans [Cachro, Kijania-Placek]
1
Show details for Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]
1
Show details for Sofronie-Stokkermans [Egly, Fermüller]Sofronie-Stokkermans [Egly, Fermüller]
1
Show details for Sofronie-Stokkermans [Eklund, Escalada-Imaz, Haehnle, Vojtas]Sofronie-Stokkermans [Eklund, Escalada-Imaz, Haehnle, Vojtas]
1
Show details for Sofronie-Stokkermans [Fitting, Orlowska]Sofronie-Stokkermans [Fitting, Orlowska]
1
Show details for Sofronie-Stokkermans [Furbach, Shankar]Sofronie-Stokkermans [Furbach, Shankar]
1
Show details for Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]
1
Show details for Sofronie-Stokkermans [McAllester]Sofronie-Stokkermans [McAllester]
1
Show details for Sofronie-Stokkermans [Nadif, Napoli, SanJuan, Sigayret]Sofronie-Stokkermans [Nadif, Napoli, SanJuan, Sigayret]
1
Show details for Sofronie-Stokkermans [Nieuwenhuis]Sofronie-Stokkermans [Nieuwenhuis]
1
Show details for Sofronie-Stokkermans [Prade]Sofronie-Stokkermans [Prade]
1
Show details for Sofronie-Stokkermans [Vaz de Carvalho, Ferreirim]Sofronie-Stokkermans [Vaz de Carvalho, Ferreirim]
1
Show details for Sofronie-Stokkermans, Stokkermans [Stokkermans, Ciobanu, Paun]Sofronie-Stokkermans, Stokkermans [Stokkermans, Ciobanu, Paun]
3
Show details for Struth [-]Struth [-]
1
Show details for Struth [Comon]Struth [Comon]
6
Show details for Stuber [-]Stuber [-]
1
Show details for Stuber [Bibel, Schmitt]Stuber [Bibel, Schmitt]
1
Show details for Stuber [Bonacina, Furbach]Stuber [Bonacina, Furbach]
1
Show details for Stuber [Narendran, Rusinowitch]Stuber [Narendran, Rusinowitch]
1
Show details for Suchanek [-]Suchanek [-]
1
Show details for Talbot [-]Talbot [-]
1
Show details for Talbot [Parigot, Voronkov]Talbot [Parigot, Voronkov]
1
Show details for Talbot, Devienne, Tison [Devienne, Tison]Talbot, Devienne, Tison [Devienne, Tison]
1
Show details for Talbot, Niehren, Müller [Niehren, Müller, Longo]Talbot, Niehren, Müller [Niehren, Müller, Longo]
1
Show details for Thiebaux, Hoffmann, Nebel [Thiebaux, Nebel, Gottlob]Thiebaux, Hoffmann, Nebel [Thiebaux, Nebel, Gottlob]
1
Show details for Timm [-]Timm [-]
1
Show details for Trueg, Hoffmann, Nebel [Trueg, Nebel, Biundo, Frühwirth, Palm]Trueg, Hoffmann, Nebel [Trueg, Nebel, Biundo, Frühwirth, Palm]
1
Show details for Tzakova [-]Tzakova [-]
1
Show details for Tzakova [Murray]Tzakova [Murray]
2
Show details for van der Torre [-]van der Torre [-]
1
Show details for van der Torre [Hunter, Parsons]van der Torre [Hunter, Parsons]
1
Show details for van der Torre, Tan [Tan, Cavalcanti]van der Torre, Tan [Tan, Cavalcanti]
1
Show details for van der Torre, Tan [Tan, Laskey, Prade]van der Torre, Tan [Tan, Laskey, Prade]
1
Show details for van der Torre, Tan [Tan, McNamara, Prakken]van der Torre, Tan [Tan, McNamara, Prakken]
8
Show details for van der Torre, Tan [Tan]van der Torre, Tan [Tan]
1
Show details for van der Torre, Weydert [van der Torre]van der Torre, Weydert [van der Torre]
2
Show details for Veanes [-]Veanes [-]
1
Show details for Veit [-]Veit [-]
1
Show details for Viganò [-]Viganò [-]
5
Show details for Vorobyov [-]Vorobyov [-]
1
Show details for Vorobyov [Comon]Vorobyov [Comon]
1
Show details for Vorobyov [Gottlob, Grandjean, Seyr]Vorobyov [Gottlob, Grandjean, Seyr]
1
Show details for Vorobyov [Jaffar, Yap]Vorobyov [Jaffar, Yap]
1
Show details for Vorobyov [McRobbie, Slaney]Vorobyov [McRobbie, Slaney]
1
Show details for Vorobyov [Winskel]Vorobyov [Winskel]
1
Show details for Vorobyov, Voronkov [-]Vorobyov, Voronkov [-]
1
Show details for Voronkov [-]Voronkov [-]
1
Show details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]Wagner, Podelski [Podelski, Raskin, Thiagarajan]
6
Show details for Waldmann [-]Waldmann [-]
1
Show details for Waldmann [Bonacina, Furbach]Waldmann [Bonacina, Furbach]
1
Show details for Waldmann [Goré, Leitsch, Nipkow]Waldmann [Goré, Leitsch, Nipkow]
1
Show details for Waldmann [Kirchner, Kirchner]Waldmann [Kirchner, Kirchner]
1
Show details for Waldmann [McAllester, Voronkov]Waldmann [McAllester, Voronkov]
3
Show details for Wang [-]Wang [-]
11
Show details for Weidenbach [-]Weidenbach [-]
1
Show details for Weidenbach [Bibel, Schmitt]Weidenbach [Bibel, Schmitt]
1
Show details for Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]
1
Show details for Weidenbach [Hermann, Salzer]Weidenbach [Hermann, Salzer]
1
Show details for Weidenbach [McRobbie, Slaney]Weidenbach [McRobbie, Slaney]
1
Show details for Weidenbach [Robinson, Voronkov]Weidenbach [Robinson, Voronkov]
1
Show details for Weidenbach [Schulz, Kepser]Weidenbach [Schulz, Kepser]
1
Show details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]
1
Show details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]
1
Show details for Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]
1
Show details for Weidenbach, Meyer, Cohrs, Engel, Keen [-]Weidenbach, Meyer, Cohrs, Engel, Keen [-]
3
Show details for Werner, Bockmayr, Krischer [-]Werner, Bockmayr, Krischer [-]
2
Show details for Werner, Bockmayr, Krischer [Werner, Krischer]Werner, Bockmayr, Krischer [Werner, Krischer]
7
Show details for Weydert [-]Weydert [-]
1
Show details for Weydert [Besnard, Hanks]Weydert [Besnard, Hanks]
1
Show details for Weydert [Brewka, Witteveen, Schaub]Weydert [Brewka, Witteveen, Schaub]
1
Show details for Weydert [Brewka, Witteveen]Weydert [Brewka, Witteveen]
1
Show details for Weydert [Cohn, Schubert, Shapiro]Weydert [Cohn, Schubert, Shapiro]
1
Show details for Weydert [Cunningham, Gabbay]Weydert [Cunningham, Gabbay]
1
Show details for Weydert [de Leon, Wallin, Hulth]Weydert [de Leon, Wallin, Hulth]
1
Show details for Weydert [Delgrande, Truszczynski]Weydert [Delgrande, Truszczynski]
1
Show details for Weydert [Froideveaux, Kohlas]Weydert [Froideveaux, Kohlas]
1
Show details for Weydert [Fuhrmann, Rott]Weydert [Fuhrmann, Rott]
1
Show details for Weydert [Gabbay, Kruse]Weydert [Gabbay, Kruse]
1
Show details for Weydert [Gabbay, Ohlbach]Weydert [Gabbay, Ohlbach]
1
Show details for Weydert [Horn]Weydert [Horn]
1
Show details for Weydert [Lopez de Mantaraz, Poole]Weydert [Lopez de Mantaraz, Poole]
1
Show details for Weydert [Niemelä]Weydert [Niemelä]
1
Show details for Weydert [Rott, Albert, Brewka, Witteveen]Weydert [Rott, Albert, Brewka, Witteveen]
1
Show details for Weydert [Wachsmuth, Rollinger, Brauer]Weydert [Wachsmuth, Rollinger, Brauer]
1
Show details for Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]
1
Show details for Weydert, van der Torre [Lang]Weydert, van der Torre [Lang]
1
Show details for Weydert, van der Torre [van der Torre]Weydert, van der Torre [van der Torre]
1
Show details for Wies [-]Wies [-]
1
Show details for Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]
1
Show details for Wu [Gao, Wang]Wu [Gao, Wang]
1
Show details for Wu, Liu [Liu]Wu, Liu [Liu]
1
Show details for Wu, Lu [Lu]Wu, Lu [Lu]
1
Show details for Wu, Tan, Li [Tan, Li]Wu, Tan, Li [Tan, Li]
1
Show details for Xia, Yang [Yang]Xia, Yang [Yang]
1
Show details for Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]
1
Show details for Yuan, Billington, Freiheit [Yuan, Billington]Yuan, Billington, Freiheit [Yuan, Billington]
1
Show details for Zeyer [-]Zeyer [-]
782

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)