Jerzy Tyszkiewicz
Jerzy Tyszkiewicz
Profesor informatyki, Uniwersytet Warszawski
Dirección de correo verificada de mimuw.edu.pl
TítuloCitado porAño
Statistical properties of simple types
M Moczurad, J Tyszkiewicz, M Zaionc
Mathematical Structures in Computer Science 10 (5), 575-594, 2000
552000
Spreadsheet as a relational database engine
J Tyszkiewicz
Proceedings of the 2010 ACM SIGMOD International Conference on Management of …, 2010
492010
DFL: A dataflow language based on Petri nets and nested relational calculus
J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche
Information Systems 33 (3), 261-284, 2008
472008
A formal model of dataflow repositories
J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche
International Conference on Data Integration in the Life Sciences, 105-121, 2007
302007
The semijoin algebra and the guarded fragment
D Leinders, M Marx, J Tyszkiewicz, J Van den Bussche
Journal of Logic, Language and Information 14 (3), 331-343, 2005
292005
Contextual alignment of biological sequences
A Gambin, S Lasota, R Szklarczyk, J Tiuryn, J Tyszkiewicz
Bioinformatics 18 (suppl 2), S116-S127, 2002
222002
Petri net+ nested relational calculus= dataflow
J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche
OTM Confederated International Conferences" On the Move to Meaningful …, 2005
212005
Petri net+ nested relational calculus= dataflow
J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche
OTM Confederated International Conferences" On the Move to Meaningful …, 2005
212005
Translating relational queries into spreadsheets
J Sroka, A Panasiuk, K Stencel, J Tyszkiewicz
IEEE Transactions on knowledge and data engineering 27 (8), 2291-2303, 2015
172015
On asymptotic probabilities of monadic second order properties
J Tyszkiewicz
International Workshop on Computer Science Logic, 425-439, 1992
171992
Infinitary queries and their asymptotic probabilities. II. Properties definable in least fixed point logic
J Tyszkiewicz
Random Structures & Algorithms 5 (1), 215-234, 1994
151994
Database query processing using finite cursor machines
M Grohe, Y Gurevich, D Leinders, N Schweikardt, J Tyszkiewicz, ...
Theory of Computing Systems 44 (4), 533-560, 2009
142009
Navigating with a browser
M Bielecki, J Hidders, J Paredaens, J Tyszkiewicz, J Van den Bussche
International Colloquium on Automata, Languages, and Programming, 764-775, 2002
132002
Distributed computation of web queries using automata
M Spielmann, J Tyszkiewicz, J Van den Bussche
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on …, 2002
122002
Infinitary queries and their asymptotic probabilities I: properties definable in transitive closure logic
J Tyszkiewicz
International Workshop on Computer Science Logic, 396-410, 1991
121991
On the expressive power of semijoin queries
D Leinders, J Tyszkiewicz, J Van den Bussche
Information Processing Letters 91 (2), 93-98, 2004
102004
Multi-sensor odour detection and measurement of polluted food
TR Maciejak, B Kukawska-Tarnawska, J Tyszkiewicz, S Tyszkiewicz
Polish journal of food and nutrition sciences 12, 53, 2003
102003
Database query processing using finite cursor machines
M Grohe, Y Gurevich, D Leinders, N Schweikardt, J Tyszkiewicz, ...
International Conference on Database Theory, 284-298, 2007
92007
Complexity of type inference in finitely typed lambda calculus
J Tyszkiewicz
Master's thesis, University of Warsaw, 1988
91988
NRC as a formal model for expressing bioinformatics workflows
A Gambin, J Hidders, N Kwasnikowska, S Lasota, J Sroka, J Tyszkiewicz, ...
Poster at ISMB, 2005
82005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20