Edit Profile (opens in new tab) Tyszkiewicz, Jerzy Co-Author Distance Author ID: tyszkiewicz.jerzy Published as: Tyszkiewicz, Jerzy; Tyszkiewicz, J. External Links: MGP · ORCID Documents Indexed: 25 Publications since 1991 1 Contribution as Editor Co-Authors: 20 Co-Authors with 13 Joint Publications 442 Co-Co-Authors all top 5 Co-Authors 13 single-authored 5 Van den Bussche, Jan 3 Leinders, Dirk 2 Bielecki, Michał 2 Chrząstowski-Wachtel, Piotr 2 Hidders, Jan 2 Paredaens, Jan 1 Grohe, Martin 1 Gurevich, Yuri 1 Hoffmann, Achim G. 1 Idziak, Paweł M. 1 Marx, Maarten 1 Moczurad, Małgorzata 1 Ochmański, Edward 1 Ramer, Arthur 1 Rosen, Eric 1 Schweikardt, Nicole 1 Spielmann, Marc 1 Stepaniuk, Jarosław 1 Szałas, Andrzej 1 Zaionc, Marek all top 5 Serials 3 Information Processing Letters 2 Random Structures & Algorithms 2 Theory of Computing Systems 2 Fundamenta Informaticae 1 American Mathematical Monthly 1 Bulletin of the Polish Academy of Sciences. Technical Sciences 1 Theoretical Computer Science 1 Annales Societatis Mathematicae Polonae. Series IV 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 Lecture Notes in Computer Science all top 5 Fields 20 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 48 times in 43 Documents Cited by ▼ Year ▼ Statistical properties of simple types. Zbl 0966.03016 Moczurad, M.; Tyszkiewicz, J.; Zaionc, M. 19 2000 Database query processing using finite cursor machines. Zbl 1192.68213 Grohe, Martin; Gurevich, Yuri; Leinders, Dirk; Schweikardt, Nicole; Tyszkiewicz, Jerzy; Van den Bussche, Jan 4 2009 The semijoin algebra and the guarded fragment. Zbl 1080.03012 Leinders, Dirk; Marx, Maarten; Tyszkiewicz, Jerzy; Van den Bussche, Jan 4 2005 On asymptotic probabilities of monadic second order properties. Zbl 0788.68045 Tyszkiewicz, Jerzy 3 1993 On the expressive power of semijoin queries. Zbl 1178.68202 Leinders, Dirk; Tyszkiewicz, Jerzy; van den Bussche, Jan 3 2004 Navigating with a browser. Zbl 1057.68729 Bielecki, Michał; Hidders, Jan; Paredaens, Jan; Tyszkiewicz, Jerzy; Van den Bussche, Jan 3 2002 Infinitary queries and their asymptotic probabilities. II: Properties definable in least fixed point logic. Zbl 0828.03011 Tyszkiewicz, Jerzy 2 1994 A Maple package for conditional event algebras. Zbl 1111.68787 Chrzastowski-Wachtel, Piotr; Tyszkiewicz, Jerzy 2 2005 Probabilities in first-order logic of a unary function and a binary relation. Zbl 0815.03020 Tyszkiewicz, Jerzy 1 1995 Queries and algorithms computable by polynomial time existential reflective machines. Zbl 0892.68028 Tyszkiewicz, Jerzy 1 1997 The Kolmogorov expressive power of Boolean query languages. Zbl 0893.68055 Tyszkiewicz, Jerzy 1 1998 The Kolmogorov expression complexity of logics. Zbl 0879.68055 Tyszkiewicz, Jerzy 1 1997 Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25–29, 2008. Proceedings. Zbl 1154.68021 1 2008 Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. Zbl 1032.68071 Chrząstowski-Wachtel, Piotr; Tyszkiewicz, Jerzy; Hoffmann, Achim; Ramer, Arthur 1 2001 On the fixpoint theory of equality and its applications. Zbl 1134.03316 Szałas, Andrzej; Tyszkiewicz, Jerzy 1 2006 On asymptotic probabilities in logics that capture \(\mathrm{DSPACE}(\log n)\) in presence of ordering. Zbl 1497.03050 Tyszkiewicz, Jerzy 1 1993 Database query processing using finite cursor machines. Zbl 1192.68213 Grohe, Martin; Gurevich, Yuri; Leinders, Dirk; Schweikardt, Nicole; Tyszkiewicz, Jerzy; Van den Bussche, Jan 4 2009 Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25–29, 2008. Proceedings. Zbl 1154.68021 1 2008 On the fixpoint theory of equality and its applications. Zbl 1134.03316 Szałas, Andrzej; Tyszkiewicz, Jerzy 1 2006 The semijoin algebra and the guarded fragment. Zbl 1080.03012 Leinders, Dirk; Marx, Maarten; Tyszkiewicz, Jerzy; Van den Bussche, Jan 4 2005 A Maple package for conditional event algebras. Zbl 1111.68787 Chrzastowski-Wachtel, Piotr; Tyszkiewicz, Jerzy 2 2005 On the expressive power of semijoin queries. Zbl 1178.68202 Leinders, Dirk; Tyszkiewicz, Jerzy; van den Bussche, Jan 3 2004 Navigating with a browser. Zbl 1057.68729 Bielecki, Michał; Hidders, Jan; Paredaens, Jan; Tyszkiewicz, Jerzy; Van den Bussche, Jan 3 2002 Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. Zbl 1032.68071 Chrząstowski-Wachtel, Piotr; Tyszkiewicz, Jerzy; Hoffmann, Achim; Ramer, Arthur 1 2001 Statistical properties of simple types. Zbl 0966.03016 Moczurad, M.; Tyszkiewicz, J.; Zaionc, M. 19 2000 The Kolmogorov expressive power of Boolean query languages. Zbl 0893.68055 Tyszkiewicz, Jerzy 1 1998 Queries and algorithms computable by polynomial time existential reflective machines. Zbl 0892.68028 Tyszkiewicz, Jerzy 1 1997 The Kolmogorov expression complexity of logics. Zbl 0879.68055 Tyszkiewicz, Jerzy 1 1997 Probabilities in first-order logic of a unary function and a binary relation. Zbl 0815.03020 Tyszkiewicz, Jerzy 1 1995 Infinitary queries and their asymptotic probabilities. II: Properties definable in least fixed point logic. Zbl 0828.03011 Tyszkiewicz, Jerzy 2 1994 On asymptotic probabilities of monadic second order properties. Zbl 0788.68045 Tyszkiewicz, Jerzy 3 1993 On asymptotic probabilities in logics that capture \(\mathrm{DSPACE}(\log n)\) in presence of ordering. Zbl 1497.03050 Tyszkiewicz, Jerzy 1 1993 all cited Publications top 5 cited Publications all top 5 Cited by 61 Authors 7 Genitrini, Antoine 7 Zaionc, Marek 5 Gardy, Danièle 5 Kostrzycka, Zofia 4 Gittenberger, Bernhard 4 Van den Bussche, Jan 3 Fournier, Hervé 3 Kozik, Jakub 3 Leinders, Dirk 3 Tyszkiewicz, Jerzy 3 Zhukovskiĭ, Maksim Evgen’evich 2 Mailler, Cécile 1 Amarilli, Antoine 1 Bendkowski, Maciej 1 Berger, Gerald 1 Bodini, Olivier 1 Bourhis, Pierre 1 Brunet, Paul 1 Calabrese, Philip G. 1 Chauvin, Brigitte 1 Egorova, Alena N. 1 Francez, Nissim 1 Gabbay, Dov M. 1 Gogin, N. D. 1 Grohe, Martin 1 Grygiel, Katarzyna 1 Gurevich, Yuri 1 Jacquot, Alice 1 Kaminski, Michael 1 Kara, Ahmet 1 Kozen, Dexter C. 1 Kraus, Veronika 1 Larcher, Isabella 1 Malyshkin, Yu. A. 1 Marx, Maarten 1 McColm, Gregory L. 1 Milius, Stefan 1 Moczurad, Małgorzata 1 Moczurad, Włodzimierz 1 Monet, Mikaël 1 Myllari, A. A. 1 Nestmann, Uwe 1 Nikolić, Miloš 1 Olteanu, Dan 1 Ostrovskii, Lev B. 1 Otto, Martin 1 Peters, Kirstin 1 Pieris, Andreas 1 Razafimahatratra, Andriaherimanana Sarobidy 1 Schröder, Lutz 1 Schweikardt, Nicole 1 Senellart, Pierre 1 Silva, Alexandra 1 Surinx, Dimitri 1 Szałas, Andrzej 1 Turull Torres, Jose Maria 1 van Den, Bussche Jan 1 Wißmann, Thorsten 1 Woods, Alan Robert 1 Zhang, Haozhe 1 Zimand, Marius all top 5 Cited in 20 Serials 4 Theoretical Computer Science 3 Annals of Pure and Applied Logic 3 Random Structures & Algorithms 2 Information Processing Letters 2 Studia Logica 2 Journal of Logic, Language and Information 2 Journal of Applied Non-Classical Logics 2 Theory of Computing Systems 1 Discrete Applied Mathematics 1 Information Sciences 1 The Journal of Symbolic Logic 1 Mathematics and Computers in Simulation 1 Programming and Computer Software 1 European Journal of Combinatorics 1 Statistics & Probability Letters 1 MSCS. Mathematical Structures in Computer Science 1 Mathematical Logic Quarterly (MLQ) 1 The Electronic Journal of Combinatorics 1 RAIRO. Theoretical Informatics and Applications 1 Logical Methods in Computer Science all top 5 Cited in 8 Fields 25 Mathematical logic and foundations (03-XX) 17 Computer science (68-XX) 11 Combinatorics (05-XX) 6 Probability theory and stochastic processes (60-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) Citations by Year