Jerzy Tyszkiewicz
Jerzy Tyszkiewicz
Profesor informatyki, Uniwersytet Warszawski
Email verificata su mimuw.edu.pl
Titolo
Citata da
Citata da
Anno
Statistical properties of simple types
M lgorzata Moczurad, J Tyszkiewicz, M Zaionc
Mathematical Structures in Computer Science 10, 575-594, 2000
582000
Spreadsheet as a relational database engine
J Tyszkiewicz
Proceedings of the 2010 ACM SIGMOD International Conference on Management of …, 2010
532010
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
532008
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
322007
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
302005
Contextual alignment of biological sequences
A Gambin, S Lasota, R Szklarczyk, J Tiuryn, J Tyszkiewicz
Bioinformatics 18 (suppl 2), S116-S127, 2002
232002
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
222005
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
222005
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
192015
On asymptotic probabilities of monadic second order properties
J Tyszkiewicz
International Workshop on Computer Science Logic, 425-439, 1992
181992
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
Infinitary queries and their asymptotic probabilities. II. Properties definable in least fixed point logic
J Tyszkiewicz
Random Structures & Algorithms 5 (1), 215-234, 1994
141994
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
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
122007
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
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
112003
Infinitary queries and their asymptotic probabilities I: properties definable in transitive closure logic
J Tyszkiewicz
International Workshop on Computer Science Logic, 396-410, 1991
111991
On the expressive power of semijoin queries
D Leinders, J Tyszkiewicz, J Van den Bussche
Information Processing Letters 91 (2), 93-98, 2004
102004
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torún, Poland, August 25-29, 2008. Proceedings
D Hutchison, T Kanade, J Kittler, JM Kleinberg, F Mattern, JC Mitchell, ...
Springer-Verlag Berlin Heidelberg, 2008
9*2008
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
92005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20