Jerzy Tyszkiewicz

According to our database, Jerzy Tyszkiewicz authored at least 48 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps.

Jacek Sroka, Jerzy Tyszkiewicz

Proceedings of the 31st Annual European Symposium on Algorithms, 2023

2020

The Power of Spreadsheet Computations.

Jerzy Tyszkiewicz

Proceedings of the Fields of Logic and Computation III, 2020

2017

Towards minimal algorithms for big data analytics with spreadsheets.

Jacek Sroka, Artur Lesniewski, Miroslaw Kowaluk, Krzysztof Stencel, Jerzy Tyszkiewicz

Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 2017

Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems.

Krzysztof Lecki, Jerzy Tyszkiewicz, Jacek Sroka

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016

Programming Communication with the User in Multiplatform Spreadsheet Applications.

Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz

Proceedings of the Software Technologies: Applications and Foundations, 2016

2015

Translating Relational Queries into Spreadsheets.

Jacek Sroka, Adrian Panasiuk, Krzysztof Stencel, Jerzy Tyszkiewicz

IEEE Trans. Knowl. Data Eng., 2015

Spreadsheet as a Multi-platform Mobile Application.

Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

2013

Translating Relational Queries into Spreadsheets

Jacek Sroka, Krzysztof Stencel, Jerzy Tyszkiewicz

CoRR, 2013

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

User Defined Spreadsheet Functions in Excel

Jerzy Tyszkiewicz, Dermot Balson

CoRR, 2012

2011

<i>CalcTav</i> - integration of a spreadsheet and <i>Taverna</i> workbench.

Jacek Sroka, Lukasz Krupa, Andrzej M. Kierzek, Jerzy Tyszkiewicz

Bioinform., 2011

2010

Complexity of Type Inference.

Jerzy Tyszkiewicz

Fundam. Informaticae, 2010

Spreadsheet as a relational database engine.

Jerzy Tyszkiewicz

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

2009

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

2008

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

2007

A Formal Model of Dataflow Repositories.

Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche

Proceedings of the Data Integration in the Life Sciences, 4th International Workshop, 2007

2006

Alignment with Context Dependent Scoring Function.

Anna Gambin, Jerzy Tiuryn, Jerzy Tyszkiewicz

J. Comput. Biol., 2006

XQTav: an XQuery processor for Taverna environment.

Jacek Sroka, Grzegorz Kaczor, Jerzy Tyszkiewicz, Andrzej M. Kierzek

Bioinform., 2006

On the Fixpoint Theory of Equality and Its Applications.

Andrzej Szalas, Jerzy Tyszkiewicz

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

The Semijoin Algebra and the Guarded Fragment.

Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche

J. Log. Lang. Inf., 2005

Petri Net + Nested Relational Calculus = Dataflow.

Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

2004

On the expressive power of semijoin queries.

Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche

Inf. Process. Lett., 2004

The semijoin algebra and the guarded fragment

Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche

CoRR, 2004

2002

A Maple Package for Conditional Event Algebras.

Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz

Proceedings of the Conditionals, Information, and Inference, International Workshop, 2002

Distributed Computation of Web Queries Using Automata.

Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Navigating with a Browser.

Michal Bielecki, Jan Hidders, Jan Paredaens, Jerzy Tyszkiewicz, Jan Van den Bussche

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Contextual alignment of biological sequences.

Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz

Proceedings of the European Conference on Computational Biology (ECCB 2002), 2002

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

Adding For-Loops to First-Order Logic.

Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche

Inf. Comput., 2001

Computability by Sequences of Queries.

Jerzy Tyszkiewicz

Fundam. Informaticae, 2001

Embedding conditional event algebras into temporal calculus of conditionals

Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer

CoRR, 2001

The temporal calculus of conditional objects and conditional events

Jerzy Tyszkiewicz, Arthur Ramer, Achim G. Hoffmann

CoRR, 2001

2000

A Simple Construction for Tournaments with Every k Players Beaten by a Single Player.

Jerzy Tyszkiewicz

Am. Math. Mon., 2000

Statistical properties of simple types.

Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc

Math. Struct. Comput. Sci., 2000

SO(forall-exist*) Sentences and Their Asymptotic Probabilities.

Eric Rosen, Jerzy Tyszkiewicz

Math. Log. Q., 2000

1998

The Kolmogorov Expressive Power of Boolean Query Languages.

Jerzy Tyszkiewicz

Theor. Comput. Sci., 1998

1997

A Note on the Kolmogorov Data Complexity and Nonuniform Logical Definitions.

Jerzy Tyszkiewicz

Inf. Process. Lett., 1997

The Kolmogorov Expression Complexity of Logics.

Jerzy Tyszkiewicz

Inf. Comput., 1997

Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines.

Jerzy Tyszkiewicz

Fundam. Informaticae, 1997

Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract).

Jerzy Tyszkiewicz

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Fine Hierarchies of Generic Computation.

Jerzy Tyszkiewicz

Proceedings of the Database Theory, 1997

1995

Probabilities in First-Order Logic of a Unary Function and a Binary Relation.

Jerzy Tyszkiewicz

Random Struct. Algorithms, 1995

The Infinitary Logic of Sparse Random Graphs

James F. Lynch, Jerzy Tyszkiewicz

Proceedings of the Proceedings, 1995

Monadic second order probabilities in algebra. Directly representable varieties and groups.

Pawel M. Idziak, Jerzy Tyszkiewicz

Proceedings of the Logic and Random Structures, 1995

1994

Infinitary Queries and Their Asymptotic Probabilites II. Properties Definable in Least Fixed Point Logic.

Jerzy Tyszkiewicz

Random Struct. Algorithms, 1994

1993

On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering.

Jerzy Tyszkiewicz

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

On Asymptotic Probabilities of Monadic Second Order Properties.

Jerzy Tyszkiewicz

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic.

Jerzy Tyszkiewicz

Proceedings of the Computer Science Logic, 5th Workshop, 1991