| 30 Publications (2005–2024) indexed |
| 97 Citations |
| Co-Authors: | Benveniste, Albert; Jugé, Vincent; Mairesse, Jean; … |
| Main Fields: | Computer science (68-XX); Probability theory and stochastic processes (60-XX) |
| Published as: | Abbes, Samy; Abbes, S. |
| 4 Publications (1997–2004) indexed |
| 46 Citations |
| Co-Authors: | Edalat, Abbas; Saheb-Djahromi, Nasser; Jung, Achim; … |
| Main Fields: | Computer science (68-XX); Measure and integration (28-XX); Probability theory and stochastic processes (60-XX) |
| Published as: | Alvarez-Manilla, Mauricio; Alvarez-Manilla, Maurizio; Alvarez-Manilla, M. more...less |
| 11 Publications (2006–2015) indexed |
| 47 Citations |
| Co-Authors: | Schröder, Matthias; Simpson, Alex K.; Keimel, Klaus; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX) |
| Published as: | Battenfeld, Ingo |
| 14 Publications (1918–1983) indexed |
| 10 Citations |
| Co-Authors: | Keimel, Klaus; Köhler, Roland; Neumann, Klaus; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Bauer, Heiko; Bauer, H. |
| 75 Publications (1990–2023) indexed |
| 299 Citations |
| Co-Authors: | Seisenberger, Monika; Schwichtenberg, Helmut; Tsuiki, Hideki; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Berger, Ulrich; Berger, U. |
| 23 Publications (1964–1987) indexed |
| 394 Citations |
| Co-Authors: | Crestey, Maurice; Grappy, J.; Keimel, Klaus; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX) |
| Published as: | Bigard, A.; Bigard, Alain |
| 17 Publications (1997–2015) indexed |
| 83 Citations |
| Co-Authors: | Stoltenberg-Hansen, Viggo; Tucker, John V.; Bauer, Andrej; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Computer science (68-XX); General and overarching topics; collections (00-XX); ... |
| Published as: | Blanck, Jens; Blanck, J. |
| 62 Publications (1971–2011) indexed |
| 479 Citations |
| Co-Authors: | McDowell, Kenneth P.; Kilp, Mati; Laan, Valdis; … |
| Main Fields: | Group theory and generalizations (20-XX); Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Bulman-Fleming, Sydney; Bulman-Fleming, S. |
| 42 Publications (1966–2015) indexed |
| 219 Citations |
| Co-Authors: | Wojdyło, Bolesław; Rosselló, Francesc; Holzer, Richard; … |
| Main Fields: | General algebraic systems (08-XX); Computer science (68-XX) |
| Published as: | Burmeister, Peter; Burmeister, P. |
| 53 Publications (1993–2023) indexed |
| 132 Citations |
| Co-Authors: | Wu, Hengyang; Zhang, Min; Pan, Haiyu; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); ... |
| Published as: | Chen, Yixiang; Chen, Yi-Xiang; Chen, Yi Xiang more...less |
| 4 Publications (1995–2006) indexed |
| 5 Citations |
| Co-Authors: | Hötzel Escardó, Martín; Keimel, Klaus |
| Main Fields: | Computer science (68-XX) |
| Published as: | Cohen, Ben |
| 3 Publications (1974–1977) indexed |
| 14 Citations |
| Co-Authors: | Keimel, Klaus |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Colville, Peter D.; Colville, P. |
| 60 Publications (1991–2023) indexed |
| 699 Citations |
| Co-Authors: | Pattinson, Dirk; Lieutier, André; Sünderhauf, Philipp; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); Measure and integration (28-XX); ... |
| Published as: | Edalat, Abbas; Edalat, A. |
| 2 Publications (1997–1998) indexed |
| 21 Citations |
| Co-Authors: | Hötzel Escardó, Martín; Keimel, Klaus |
| Main Fields: | General topology (54-XX); Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Erker, Thomas |
| 6 Publications (2010–2013) indexed |
| 29 Citations |
| Co-Authors: | Montagna, Franco; Flaminio, Tommaso; Hosni, Hykel; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); ... |
| Published as: | Fedel, Martina |
| 126 Publications (1953–2010) indexed |
| 251 Citations |
| Co-Authors: | Joffe, Anatole; Traynor, Tim; Bulman-Fleming, Sydney; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); Mathematical logic and foundations (03-XX); ... |
| Published as: | Fleischer, Isidore; Fleischer, I. |
| 13 Publications (1975–1983) indexed |
| 24 Citations |
| Co-Authors: | Roth, Walter J.; Gierz, Gerhard; Irmisch, Robert; … |
| Main Fields: | Functional analysis (46-XX); Approximations and expansions (41-XX) |
| Published as: | Flösser, Hans O.; Floesser, H. O.; Flösser, Hans-Otto; Flösser, H. O.; Flösser, Hans Otto; Floesser, Hans O. more...less |
| 93 Publications (1971–2024) indexed |
| 1,404 Citations |
| Co-Authors: | Wille, Rudolf; Kuznetsov, Sergei O.; Poguntke, Werner; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); Combinatorics (05-XX); ... |
| Published as: | Ganter, Bernhard; Ganter, B. |
| 49 Publications (1975–2020) indexed |
| 1,819 Citations |
| Co-Authors: | Stralka, Albert R.; Keimel, Klaus; Lawson, Jimmie Don; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Functional analysis (46-XX); ... |
| Published as: | Gierz, Gerhard; Gierz, G. |
| 93 Publications (1993–2024) indexed |
| 625 Citations |
| Co-Authors: | Finkel, Alain; Goubault, Eric; Jia, Xiaodong; … |
| Main Fields: | Computer science (68-XX); General topology (54-XX); Mathematical logic and foundations (03-XX); ... |
| Published as: | Goubault-Larrecq, Jean; Goubault, Jean |
| 40 Publications (1986–2015) indexed |
| 460 Citations |
| Co-Authors: | Ferdinand, Christian; Thesing, Stephan; Edalat, Abbas; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX) |
| Published as: | Heckmann, Reinhold |
| 281 Publications (1958–2024) indexed |
| 3,989 Citations |
| Co-Authors: | Morris, Sidney A.; Mislove, Michael W.; Lawson, Jimmie Don; … |
| Main Fields: | Topological groups, Lie groups (22-XX); General topology (54-XX); Group theory and generalizations (20-XX); ... |
| Published as: | Hofmann, Karl Heinrich; Hofmann, Karl H.; Hofmann, K. H.; Hofmann, Karl; Hofmann, Karl-Heinrich; Hofmann, K-H. more...less |
| 66 Publications (1992–2024) indexed |
| 546 Citations |
| Co-Authors: | Oliva, Paulo; Coquand, Thierry; de Jong, Tom J.; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Escardó, Martín; Hötzel Escardó, Martín; Escardó, Martín Hötzel; Escardó, Martín H.; Escardo, Martín; Escardo, M.; Escardo, Martin; Escardó, M. more...less |
| 61 Publications (1990–2019) indexed |
| 298 Citations |
| Co-Authors: | Antonik, Adam; Piterman, Nir; Fecher, Harald; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); ... |
| Published as: | Huth, Michael; Huth, Michael R. A. |
| 60 Publications (1988–2023) indexed |
| 499 Citations |
| Co-Authors: | Moshier, M. Andrew; Rivieccio, Umberto; Keimel, Klaus; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX); ... |
| Published as: | Jung, Achim; Jung, A. |
| 5 Publications (1969–2008) indexed |
| 2 Citations |
| Co-Authors: | Bauer, Heiko; Gerstlauer, Andreas; Hofstetter, Günter; … |
| Main Fields: | General topology (54-XX) |
| Published as: | Köhler, Roland; Koehler, R. |
| 156 Publications (1985–2024) indexed |
| 1,294 Citations |
| Co-Authors: | Norman, Gethin; Parker, David F.; Cardelli, Luca; … |
| Main Fields: | Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX); ... |
| Published as: | Kwiatkowska, Marta; Kwiatkowska, Marta Z.; Kwiatkowska, M.; Kwiatkowska, M. Z.; Kwiatkowska, Marta. more...less |
| 171 Publications (1969–2024) indexed |
| 3,427 Citations |
| Co-Authors: | Lim, Yongdo; Hofmann, Karl Heinrich; Keimel, Klaus; … |
| Main Fields: | Topological groups, Lie groups (22-XX); Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); ... |
| Published as: | Lawson, Jimmie D.; Lawson, Jimmie; Lawson, J. D.; Lawson, J.; Lawson, Jimmie A. more...less |
| 46 Publications (1969–2009) indexed |
| 101 Citations |
| Co-Authors: | Liu, Yingming; Huang, Fangping; Xi, Xiaoyong; … |
| Main Fields: | General topology (54-XX); Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Liang, Jihua; Liang, Ji-hua; Liang, J. H. more...less |
| 4 Publications (2001–2023) indexed |
| Co-Authors: | Chen, Huanzhen; Chen, Yixiang; Keimel, Klaus; … |
| Main Fields: | Computer science (68-XX); Geophysics (86-XX) |
| Published as: | Liu, Ming Ying; Liu, Mingying |
| 127 Publications (1970–2024) indexed |
| 2,095 Citations |
| Co-Authors: | Hofmann, Karl Heinrich; Worrell, James Benjamin; Lindenhovius, Bert; … |
| Main Fields: | Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); General and overarching topics; collections (00-XX); ... |
| Published as: | Mislove, Michael; Mislove, Michael W.; Mislove, M. W.; Mislove, M. more...less |
| 145 Publications (1974–2018) indexed |
| 1,708 Citations |
| Co-Authors: | Esteva, Francesc; Godo, Lluís; Simi, Giulia; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Montagna, Franco; Montagna, F. |
| 118 Publications (1986–2024) indexed |
| 441 Citations |
| Co-Authors: | Chajda, Ivan; Länger, Helmut M.; Riečanová, Zdenka; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); Mathematical logic and foundations (03-XX); Quantum theory (81-XX) |
| Published as: | Paseka, Jan; Paseka, J.; Paseka, Ján more...less |
| 112 Publications (1969–2023) indexed |
| 3,584 Citations |
| Co-Authors: | Abadi, Martín; Panangaden, Prakash; Power, John; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX) |
| Published as: | Plotkin, Gordon; Plotkin, Gordon D.; Plotkin, G. D.; Plotkin, G. more...less |
| 34 Publications (1974–2010) indexed |
| 142 Citations |
| Co-Authors: | Rival, Ivan; Wille, Rudolf; Ganter, Bernhard; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); General and overarching topics; collections (00-XX); Combinatorics (05-XX); ... |
| Published as: | Poguntke, Werner; Poguntke, W. |
| 3 Publications (2009–2011) indexed |
| 7 Citations |
| Co-Authors: | Keimel, Klaus; Streicher, Thomas |
| Main Fields: | Computer science (68-XX); Convex and discrete geometry (52-XX); Order, lattices, ordered algebraic structures (06-XX) |
| Published as: | Rosenbusch, A.; Rosenbusch, Artus Ph. |
| 47 Publications (1958–2024) indexed |
| 225 Citations |
| Co-Authors: | Keimel, Klaus; Flösser, Hans-Otto; Bucovics, E.; … |
| Main Fields: | Functional analysis (46-XX); Approximations and expansions (41-XX) |
| Published as: | Roth, Walter; Roth, Walter J.; Roth, W. more...less |
| 131 Publications (1949–2023) indexed |
| 4,479 Citations |
| Co-Authors: | Birkedal, Lars; Benzmüller, Christoph Ewald; Awodey, Steve; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Computer science (68-XX); Category theory; homological algebra (18-XX); ... |
| Published as: | Scott, Dana; Scott, Dana S.; Scott, D.; Scott, D. S.; Scott, D. B. more...less |
| 61 Publications (1985–2024) indexed |
| 386 Citations |
| Co-Authors: | Reus, Bernhard; Hofmann, Martin; Bunge, Marta Cavallo; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX) |
| Published as: | Streicher, Thomas; Streicher, T.; Streicher, Th. more...less |
| 6 Publications (1997–2009) indexed |
| 102 Citations |
| Co-Authors: | Keimel, Klaus; Plotkin, Gordon D.; Jung, Achim |
| Main Fields: | Computer science (68-XX) |
| Published as: | Tix, Regina; Tix, R. |
| 64 Publications (1975–2024) indexed |
| 850 Citations |
| Co-Authors: | Powell, Wayne B.; Paoli, Francesco; Ledda, Antonio; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Tsinakis, Constantine; Tsinakis, C. |
| 46 Publications (1970–2002) indexed |
| 507 Citations |
| Co-Authors: | Davey, Brian A.; Ganter, Bernhard; Keimel, Klaus; … |
| Main Fields: | General algebraic systems (08-XX); Category theory; homological algebra (18-XX); Order, lattices, ordered algebraic structures (06-XX); ... |
| Published as: | Werner, Heinrich |
| 36 Publications (1975–2009) indexed |
| 54 Citations |
| Co-Authors: | Balcerzyk, Stanisław; Bartol, Wiktor; Flåm, Sjur Didrik; … |
| Main Fields: | Game theory, economics, finance, and other social and behavioral sciences (91-XX); General topology (54-XX); Convex and discrete geometry (52-XX); ... |
| Published as: | Wieczorek, Andrzej; Wieczorek, A. |
| 149 Publications (1966–2017) indexed |
| 1,815 Citations |
| Co-Authors: | Ganter, Bernhard; Wille, Uta; Poguntke, Werner; … |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); General and overarching topics; collections (00-XX); ... |
| Published as: | Wille, Rudolf; Wille, R. |
| 14 Publications (1966–1986) indexed |
| 383 Citations |
| Co-Authors: | Bigard, Alain; Keimel, Klaus; Conrad, Paul F. |
| Main Fields: | Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX) |
| Published as: | Wolfenstein, Samuel; Wolfenstein, S. |
| 34 Publications (1994–2023) indexed |
| 50 Citations |
| Co-Authors: | Chen, Yixiang; Lai, K. K.; Kleijn, W. Bastiaan; … |
| Main Fields: | Computer science (68-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX); ... |
| Published as: | Zhang, Guoqiang; Zhang, Guo-Qiang; Zhang, Guo-qiang more...less |
