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
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
Hide details for Waldmann, UweWaldmann, Uwe
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings Article
2006Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Journal Article
2006[Prevosto, Virgile]
Waldmann, Uwe
SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
Proceedings Article
2005Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168
Proceedings Article
2004Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182
Proceedings Article
2003Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
Attachment IconSuperposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
Proceedings Article
2002Waldmann, UweA New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Proceedings Article
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Journal Article
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Journal Article
2001Waldmann, UweSuperposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Proceedings Article
1999Waldmann, UweCancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147
Proceedings Article
1998Waldmann, UweExtending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Journal Article
1998Waldmann, UweSuperposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article
1997Waldmann, UweA Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Proceedings Article
1997Waldmann, UweCancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Thesis - PhD thesis
1996Ganzinger, Harald
Waldmann, Uwe
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402
Proceedings Article
1994Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Journal Article
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83
Proceedings Article
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96
Proceedings Article
1992Waldmann, UweSemantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Journal Article
1992Ganzinger, Harald
Waldmann, Uwe
Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437
Proceedings Article
1992Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Proceedings Article
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