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 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
Hide details for Veanes, MargusVeanes, Margus
2000[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184
Journal Article
2000Veanes, MargusFarmer's Theorem Revisited
In: Information Processing Letters [74], 47-53
Journal Article
2000[Levy, Jordi]
Veanes, Margus
On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150
Journal Article
2000Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus]
Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27
Journal Article
1999Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus
Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260
Proceedings Article
1999[Gurevich, Yuri]
Veanes, Margus
Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235
Journal Article
1999Ganzinger, Harald
Meyer, Christoph
Veanes, Margus
The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34
Proceedings Article
1998Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus
Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21
Proceedings Article
1998[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195
Proceedings Article
1998Veanes, MargusThe Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275
Proceedings Article
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