Jerzy Tyszkiewicz

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 8

Top Topics

Relational Queries

Top Venues

ATAED@Petri Nets/ACSD

Publications

Jacek Sroka, Jerzy Tyszkiewicz
Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps. CoRR (2023)
Jacek Sroka, Jerzy Tyszkiewicz
Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps. ESA (2023)
Jerzy Tyszkiewicz
The Power of Spreadsheet Computations. Fields of Logic and Computation III (2020)
Jacek Sroka, Artur Lesniewski, Miroslaw Kowaluk, Krzysztof Stencel, Jerzy Tyszkiewicz
Towards minimal algorithms for big data analytics with spreadsheets. BeyondMR@SIGMOD (2017)
Krzysztof Lecki, Jerzy Tyszkiewicz, Jacek Sroka
Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems. ATAED@Petri Nets/ACSD (2017)
Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz
Programming Communication with the User in Multiplatform Spreadsheet Applications. STAF Workshops (2016)
Jacek Sroka, Adrian Panasiuk, Krzysztof Stencel, Jerzy Tyszkiewicz
Translating Relational Queries into Spreadsheets. IEEE Trans. Knowl. Data Eng. 27 (8) (2015)
Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz
Spreadsheet as a Multi-platform Mobile Application. MOBILESoft (2015)
Jerzy Tyszkiewicz
The Power of Spreadsheet Computations. CoRR (2013)
Jacek Sroka, Krzysztof Stencel, Jerzy Tyszkiewicz
Translating Relational Queries into Spreadsheets CoRR (2013)
Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
The Navigational Power of Web Browsers. Theory Comput. Syst. 50 (2) (2012)
Jerzy Tyszkiewicz, Dermot Balson
User Defined Spreadsheet Functions in Excel CoRR (2012)
Jacek Sroka, Lukasz Krupa, Andrzej M. Kierzek, Jerzy Tyszkiewicz
workbench. Bioinform. 27 (18) (2011)
Jerzy Tyszkiewicz
Spreadsheet as a relational database engine. SIGMOD Conference (2010)
Jerzy Tyszkiewicz
Complexity of Type Inference. Fundam. Informaticae 103 (1-4) (2010)
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
Database Query Processing Using Finite Cursor Machines. Theory Comput. Syst. 44 (4) (2009)
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
DFL: A dataflow language based on Petri nets and nested relational calculus. Inf. Syst. 33 (3) (2008)
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
A Formal Model of Dataflow Repositories. DILS (2007)
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
Database Query Processing Using Finite Cursor Machines. ICDT (2007)
Jacek Sroka, Grzegorz Kaczor, Jerzy Tyszkiewicz, Andrzej M. Kierzek
XQTav: an XQuery processor for Taverna environment. Bioinform. 22 (10) (2006)
Anna Gambin, Jerzy Tiuryn, Jerzy Tyszkiewicz
Alignment with Context Dependent Scoring Function. J. Comput. Biol. 13 (1) (2006)
Andrzej Szalas, Jerzy Tyszkiewicz
On the Fixpoint Theory of Equality and Its Applications. RelMiCS (2006)
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
Petri Net + Nested Relational Calculus = Dataflow. OTM Conferences (1) (2005)
Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche
The Semijoin Algebra and the Guarded Fragment. J. Log. Lang. Inf. 14 (3) (2005)
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
On the expressive power of semijoin queries. Inf. Process. Lett. 91 (2) (2004)
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
The semijoin algebra and the guarded fragment CoRR (2004)
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
On the expressive power of semijoin queries CoRR (2003)
Michal Bielecki, Jan Hidders, Jan Paredaens, Jerzy Tyszkiewicz, Jan Van den Bussche
Navigating with a Browser. ICALP (2002)
Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz
A Maple Package for Conditional Event Algebras. WCII (2002)
Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
Distributed Computation of Web Queries Using Automata. PODS (2002)
Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz
Contextual alignment of biological sequences. ECCB (2002)
Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer
Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. Inf. Process. Lett. 79 (4) (2001)
Jerzy Tyszkiewicz, Arthur Ramer, Achim G. Hoffmann
The temporal calculus of conditional objects and conditional events CoRR (2001)
Jerzy Tyszkiewicz
Computability by Sequences of Queries. Fundam. Informaticae 48 (4) (2001)
Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
Adding For-Loops to First-Order Logic. Inf. Comput. 168 (2) (2001)
Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer
Embedding conditional event algebras into temporal calculus of conditionals CoRR (2001)
Eric Rosen, Jerzy Tyszkiewicz
SO(forall-exist*) Sentences and Their Asymptotic Probabilities. Math. Log. Q. 46 (4) (2000)
Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc
Statistical properties of simple types. Math. Struct. Comput. Sci. 10 (5) (2000)
Jerzy Tyszkiewicz
A Simple Construction for Tournaments with Every k Players Beaten by a Single Player. Am. Math. Mon. 107 (1) (2000)
Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
Adding For-Loops to First-Order Logic. ICDT (1999)
Jerzy Tyszkiewicz
The Kolmogorov Expressive Power of Boolean Query Languages. Theor. Comput. Sci. 190 (2) (1998)
Jerzy Tyszkiewicz
A Note on the Kolmogorov Data Complexity and Nonuniform Logical Definitions. Inf. Process. Lett. 64 (4) (1997)
Jerzy Tyszkiewicz
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. Fundam. Informaticae 32 (1) (1997)
Jerzy Tyszkiewicz
The Kolmogorov Expression Complexity of Logics. Inf. Comput. 135 (2) (1997)
Jerzy Tyszkiewicz
Fine Hierarchies of Generic Computation. ICDT (1997)
Jerzy Tyszkiewicz
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract). MFCS (1997)
Jerzy Tyszkiewicz
On the Kolmogorov Expressive Power of Boolean Query Languages. ICDT (1995)
James F. Lynch, Jerzy Tyszkiewicz
The Infinitary Logic of Sparse Random Graphs LICS (1995)
Pawel M. Idziak, Jerzy Tyszkiewicz
Monadic second order probabilities in algebra. Directly representable varieties and groups. Logic and Random Structures (1995)
Jerzy Tyszkiewicz
Probabilities in First-Order Logic of a Unary Function and a Binary Relation. Random Struct. Algorithms 6 (2/3) (1995)
Jerzy Tyszkiewicz
Infinitary Queries and Their Asymptotic Probabilites II. Properties Definable in Least Fixed Point Logic. Random Struct. Algorithms 5 (1) (1994)
Jerzy Tyszkiewicz
On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering. TAPSOFT (1993)
Jerzy Tyszkiewicz
On Asymptotic Probabilities of Monadic Second Order Properties. CSL (1992)
Jerzy Tyszkiewicz
Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic. CSL (1991)