Jerzy Tyszkiewicz

54 papers A* 3A 5B 4C 1Journal 29Unranked 12

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