| ||
1. | The Navigational Power of Web Browsers
THEORY OF COMPUTING SYSTEMS Tom 50 Nr 2 r. 2012, str. 213-240 (Artykuł) Michał Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche | |
2. | CalcTav - Integration of a Spreadsheet and Taverna Workbench
BIOINFORMATICS Tom 27 Nr 18 r. 2011, str. 2618-2619 (Artykuł) Jacek Sroka, Łukasz Krupa, Andrzej Kierzek, Jerzy Tyszkiewicz | |
3. | Complexity of Type Inference
FUNDAMENTA INFORMATICAE Tom 103 Nr 1-4 r. 2010, str. 289-301 (Artykuł) Jerzy Tyszkiewicz | |
4. | Database Query Processing Using Finite Cursor Machines
THEORY OF COMPUTING SYSTEMS Tom 44 Nr 4 r. 2009, str. 533-560 (Artykuł) Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche | |
5. | DFL: A dataflow language based on Petri nets and nested relational calculus
INFORMATION SYSTEMS Tom 33 Nr 3 r. 2008, str. 261-284 (Artykuł) Jan Hidders, Natalia Kwa¶nikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
6. | A Formal Model of Dataflow Repositories
LECTURE NOTES IN COMPUTER SCIENCE Tom 4544 r. 2007, str. 105-121 (Artykuł konferencyjny) Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
7. | Database Query Processing Using Finite Cursor Machines
LECTURE NOTES IN COMPUTER SCIENCE Tom 4353 r. 2007, str. 284-298 (Artykuł konferencyjny) Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche | |
8. | Magik - nowoczesne narzędzie dla badacza literatury
TEKSTY DRUGIE Tom 3 r. 2007, str. 224-228 (Artykuł) Martyna Barczuk, Jerzy Tyszkiewicz | |
9. | Alignment with context dependent scoring function
JOURNAL OF COMPUTATIONAL BIOLOGY Tom 13 Nr 1 r. 2006, str. 81-101 (Artykuł) Anna Gambin, Jerzy Tiuryn, Jerzy Tyszkiewicz | |
10. | On the Fixpoint Theory of Equality and its Applications
LECTURE NOTES IN COMPUTER SCIENCE Tom 4136 r. 2006, str. 388-401 (Artykuł konferencyjny) Andrzej Szałas, Jerzy Tyszkiewicz | |
11. | XQTav: an XQuery processor for Taverna environment
BIOINFORMATICS Tom 22 Nr 10 r. 2006, str. 1280-1281 (Artykuł) Jacek Sroka, Grzegor Kaczor, Jerzy Tyszkiewicz, Andrzej Kierzek | |
12. | A Maple Package for Conditional Event Algebras
LECTURE NOTES IN COMPUTER SCIENCE Tom 3301 r. 2005, str. 131-151 (Artykuł konferencyjny) Piotr Chrz±stowski-Wachtel, Jerzy Tyszkiewicz | |
13. | Krótkie rozmowy między sumerologiem a matematykiem
DELTA Tom 5 Nr 372 r. 2005, str. 1-3 (Artykuł) Jerzy Tyszkiewicz | |
14. | Petri Net + Nested Relational Calculus = Dataflow
LECTURE NOTES IN COMPUTER SCIENCE Tom 3760 r. 2005, str. 220-237 (Artykuł konferencyjny) Jan Hidders, Natalia Kwasnikowska, Sławomir Lasota, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
15. | The Semijoin Algebra and the Guarded Fragment
Journal of Logic, Language and Information Tom 14 Nr 3 r. 2005, str. 331-343 (Artykuł) Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche | |
16. | On the expressive power of semijoin queries
INFORMATION PROCESSING LETTERS Tom 91 r. 2004, str. 93-98 (Artykuł) Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche | |
17. | Contextual Alignment of Biological Sequences
BIOINFORMATICS Tom 18 Nr 2 r. 2002, str. 116-127 (Artykuł) Anna Gambin, Sławomir Lasota, Radosław Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz | |
18. | Distributed computation of Web queries using automata
SYMPOSIUM ON THE PRINCIPLES OF DATABASE SYSTEMS (PODS) Tom 21 r. 2002, str. 97-108 (Artykuł konferencyjny) M. Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche | |
19. | Navigating with a browser
LECTURE NOTES IN COMPUTER SCIENCE Tom 2380 r. 2002, str. 764-775 (Artykuł konferencyjny) Jerzy Tyszkiewicz, Michał Bielecki, J. Hidders, J. Paredaens, J. Van den Bussche | |
20. | Adding for-loops to first order logic
INFORMATION AND COMPUTATION Tom 168 Nr 2 r. 2001, str. 156-186 (Artykuł) Jerzy Tyszkiewicz, F. Neven, M. Otto, Jan Bussche | |
21. | Computability by Sequences of Queries
FUNDAMENTA INFORMATICAE Tom 48 Nr 4 r. 2001, str. 389-414 (Artykuł) Jerzy Tyszkiewicz | |
22. | Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker
INFORMATION PROCESSING LETTERS Tom 79 Nr 4 r. 2001, str. 155-160 (Artykuł) Piotr Chrz±stowski-Wachtel, Jerzy Tyszkiewicz, A. Hoffmann, A. Ramer | |
23. | Statistical properties of simple types
Mathematical Structures in Computer Science Tom 10 r. 2000, str. 575-594 (Artykuł) Jerzy Tyszkiewicz, Małgorzata Moczurad, Marek Zaionc | |
24. | A simple construction for tournaments with every k players beaten by a single player
AMERICAN MATHEMATICAL MONTHLY Tom 107 r. 2000, str. 53-54 (Artykuł) Jerzy Tyszkiewicz | |
25. | SO(AE*) sentences and their asymptotic probabilities
MATHEMATICAL LOGIC QUARTERLY Tom 46 r. 2000, str. 435-452 (Artykuł) Jerzy Tyszkiewicz, E Rosen |