Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic. - Jerzy Tyszkiewicz (CSL, 1991)

On Asymptotic Probabilities of Monadic Second Order Properties. - Jerzy Tyszkiewicz (CSL, 1992)

On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering. - Jerzy Tyszkiewicz (TAPSOFT, 1993)

Infinitary Queries and Their Asymptotic Probabilites II. Properties Definable in Least Fixed Point Logic. - Jerzy Tyszkiewicz (Random Struct. Algorithms, 1994)

Monadic second order probabilities in algebra. Directly representable varieties and groups. - Pawel M. Idziak; Jerzy Tyszkiewicz (Logic and Random Structures, 1995)

The Infinitary Logic of Sparse Random Graphs - James F. Lynch; Jerzy Tyszkiewicz (LICS, 1995)

Probabilities in First-Order Logic of a Unary Function and a Binary Relation. - Jerzy Tyszkiewicz (Random Struct. Algorithms, 1995)

Fine Hierarchies of Generic Computation. - Jerzy Tyszkiewicz (ICDT, 1997)

Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract). - Jerzy Tyszkiewicz (MFCS, 1997)

Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. - Jerzy Tyszkiewicz (Fundam. Informaticae, 1997)

The Kolmogorov Expression Complexity of Logics. - Jerzy Tyszkiewicz (Inf. Comput., 1997)

A Note on the Kolmogorov Data Complexity and Nonuniform Logical Definitions. - Jerzy Tyszkiewicz (Inf. Process. Lett., 1997)

The Kolmogorov Expressive Power of Boolean Query Languages. - Jerzy Tyszkiewicz (Theor. Comput. Sci., 1998)

SO(forall-exist*) Sentences and Their Asymptotic Probabilities. - Eric Rosen; Jerzy Tyszkiewicz (Math. Log. Q., 2000)

Statistical properties of simple types. - Malgorzata Moczurad; Jerzy Tyszkiewicz; Marek Zaionc (Math. Struct. Comput. Sci., 2000)

A Simple Construction for Tournaments with Every k Players Beaten by a Single Player. - Jerzy Tyszkiewicz (Am. Math. Mon., 2000)

The temporal calculus of conditional objects and conditional events - Jerzy Tyszkiewicz; Arthur Ramer; Achim G. Hoffmann (CoRR, 2001)

Embedding conditional event algebras into temporal calculus of conditionals - Jerzy Tyszkiewicz; Achim G. Hoffmann; Arthur Ramer (CoRR, 2001)

Computability by Sequences of Queries. - Jerzy Tyszkiewicz (Fundam. Informaticae, 2001)

Adding For-Loops to First-Order Logic. - Frank Neven; Martin Otto 001; Jerzy Tyszkiewicz; Jan Van den Bussche (Inf. Comput., 2001)

Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. - Piotr Chrzastowski-Wachtel; Jerzy Tyszkiewicz; Achim G. Hoffmann; Arthur Ramer (Inf. Process. Lett., 2001)

Contextual alignment of biological sequences. - Anna Gambin; Slawomir Lasota 001; Radoslaw Szklarczyk; Jerzy Tiuryn; Jerzy Tyszkiewicz (ECCB, 2002)

Navigating with a Browser. - Michal Bielecki; Jan Hidders; Jan Paredaens; Jerzy Tyszkiewicz; Jan Van den Bussche (ICALP, 2002)

Distributed Computation of Web Queries Using Automata. - Marc Spielmann; Jerzy Tyszkiewicz; Jan Van den Bussche (PODS, 2002)

A Maple Package for Conditional Event Algebras. - Piotr Chrzastowski-Wachtel; Jerzy Tyszkiewicz (WCII, 2002)

The semijoin algebra and the guarded fragment - Dirk Leinders; Jerzy Tyszkiewicz; Jan Van den Bussche (CoRR, 2004)

On the expressive power of semijoin queries. - Dirk Leinders; Jerzy Tyszkiewicz; Jan Van den Bussche (Inf. Process. Lett., 2004)

Petri Net + Nested Relational Calculus = Dataflow. - Jan Hidders; Natalia Kwasnikowska; Jacek Sroka; Jerzy Tyszkiewicz; Jan Van den Bussche (OTM Conferences (1), 2005)

The Semijoin Algebra and the Guarded Fragment. - Dirk Leinders; Maarten Marx; Jerzy Tyszkiewicz; Jan Van den Bussche (J. Log. Lang. Inf., 2005)

On the Fixpoint Theory of Equality and Its Applications. - Andrzej Szalas; Jerzy Tyszkiewicz (RelMiCS, 2006)

XQTav: an XQuery processor for Taverna environment. - Jacek Sroka; Grzegorz Kaczor; Jerzy Tyszkiewicz; Andrzej M. Kierzek (Bioinform., 2006)

Alignment with Context Dependent Scoring Function. - Anna Gambin; Jerzy Tiuryn; Jerzy Tyszkiewicz (J. Comput. Biol., 2006)

A Formal Model of Dataflow Repositories. - Jan Hidders; Natalia Kwasnikowska; Jacek Sroka; Jerzy Tyszkiewicz; Jan Van den Bussche (DILS, 2007)

DFL: A dataflow language based on Petri nets and nested relational calculus. - Jan Hidders; Natalia Kwasnikowska; Jacek Sroka; Jerzy Tyszkiewicz; Jan Van den Bussche (Inf. Syst., 2008)

Database Query Processing Using Finite Cursor Machines. - Martin Grohe; Yuri Gurevich; Dirk Leinders; Nicole Schweikardt; Jerzy Tyszkiewicz; Jan Van den Bussche (Theory Comput. Syst., 2009)

Spreadsheet as a relational database engine. - Jerzy Tyszkiewicz (SIGMOD Conference, 2010)

Complexity of Type Inference. - Jerzy Tyszkiewicz (Fundam. Informaticae, 2010)

CalcTav - integration of a spreadsheet and Taverna workbench. - Jacek Sroka; Lukasz Krupa; Andrzej M. Kierzek; Jerzy Tyszkiewicz (Bioinform., 2011)

User Defined Spreadsheet Functions in Excel - Jerzy Tyszkiewicz; Dermot Balson (CoRR, 2012)

The Navigational Power of Web Browsers. - Michal Bielecki; Jan Hidders; Jan Paredaens; Marc Spielmann; Jerzy Tyszkiewicz; Jan Van den Bussche (Theory Comput. Syst., 2012)

Translating Relational Queries into Spreadsheets - Jacek Sroka; Krzysztof Stencel; Jerzy Tyszkiewicz (CoRR, 2013)

Spreadsheet as a Multi-platform Mobile Application. - Jerzy Sikora; Jacek Sroka; Jerzy Tyszkiewicz (MOBILESoft, 2015)

Translating Relational Queries into Spreadsheets. - Jacek Sroka; Adrian Panasiuk; Krzysztof Stencel; Jerzy Tyszkiewicz (IEEE Trans. Knowl. Data Eng., 2015)

Programming Communication with the User in Multiplatform Spreadsheet Applications. - Jerzy Sikora; Jacek Sroka; Jerzy Tyszkiewicz (STAF Workshops, 2016)

Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems. - Krzysztof Lecki; Jerzy Tyszkiewicz; Jacek Sroka (ATAED@Petri Nets/ACSD, 2017)

Towards minimal algorithms for big data analytics with spreadsheets. - Jacek Sroka; Artur Lesniewski; Miroslaw Kowaluk; Krzysztof Stencel; Jerzy Tyszkiewicz (BeyondMR@SIGMOD, 2017)

The Power of Spreadsheet Computations. - Jerzy Tyszkiewicz (Fields of Logic and Computation III, 2020)

Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps. - Jacek Sroka; Jerzy Tyszkiewicz (ESA, 2023)