Publications of J. Tyszkiewicz

  1. J. Tyszkiewicz.
    A new approach to verification of programs with higher-order arrays. Tanulmányok 208(1988), pp. 227-232.
  2. J.Stepaniuk and J.Tyszkiewicz.
    Probabilistic properties of approximation problems.
    Bull. Pol. Acad. Sci., Tech. Sci. 39(1991), No.3, pp. 535-550.
  3. J. Tyszkiewicz.
    Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closure Logic.
    Proc. Computer Science Logic - CSL'91, volume 626 of LNCS, pages 396-410. Springer-Verlag, 1991.
  4. J. Tyszkiewicz.
    On Asymptotic Probabilities of Monadic Second Order Properties.
    Computer Science Logic, 6th Workshop, CSL `92, San Miniato 1992, Selected Papers, volume 702 of LNCS, pages 425-439. Springer-Verlag, 1993.
  5. J. Tyszkiewicz.
    On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering.
    Proc. TAPSOFT'93, volume 668 of LNCS, pages 569-583. Springer-Verlag, 1993.
  6. J. Tyszkiewicz.
    Infinitary Queries and Their Asymptotic Probabilities II: Properties Definable in Least Fixed Point Logic.
    Random Structures & Algorithms,  5(1994), pages 215-234.
  7. J. Tyszkiewicz.
    Probabilities in First-Order Logic of a Unary Function and a Binary Relation.
    Random Structures & Algorithms, 6(1995) pages 181-191.
    Ph.D. received
  8. J. Tyszkiewicz.
    The Kolmogorov Expressive Power of Boolean Query Languages.
    Theoretical Computer Science 190(1998), pp. 317-361.
  9. J. Tyszkiewicz.
    The Kolmogorov Expression Complexity of Logics.
    Information and Computation 135(1997), pp. 113-135.
  10. J. Tyszkiewicz.
    Fine Hierarchies of Generic Computation.
    Proc. International Conference of Database Theory'97 F. Afrati and Ph. Kolaitis eds., Lecture Notes in Computer Science No. 1186, Springer Verlag 1997, pp. 125-139.
  11. J. Tyszkiewicz.
    Computability by sequences of queries.
    Fundamenta Informaticae 48(2001), pp. 389-414.
  12. J. Tyszkiewicz.
    A Note on the Kolmogorov Data Complexity and Nonuniform Logical Definitions.
    Information Processing Letters 64(1997), pp. 187-195.
  13. J. Tyszkiewicz.
    Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines.
    Fundamenta Informaticae 32(1997), pp. 91-105.
  14. P. Idziak and J. Tyszkiewicz.
    Monadic Second Order Probabilities in Algebra. Directly Representable Varieties and Groups.
    Logic and Random Structures, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Ravi B. Boppana and James F. Lynch, eds., AMS, 1997, pp. 79-108.
  15. E. Rosen and J. Tyszkiewicz.
    SO(AE*) sentences and their asymptotic probabilities.
    Mathematical Logic Quarterly 46 (2000), no. 4,  pp. 435--452.
  16. J. Tyszkiewicz.
    Tournaments with every k players beaten by a single player.
    American Mathematical Monthly 107(2000), pp. 53-54.
  17. F. Neven, M. Otto, J. Tyszkiewicz, J. Van den Bussche.
    Adding for-loops to first-order logic.
    Proc. International Conference of Database Theory'99, C. Beeri and P. Bunemen, eds., Lecture Notes in Computer Science No. 1540, Springer Verlag 1999.
  18. F. Neven, M. Otto, J. Tyszkiewicz, J. Van den Bussche.
    Adding for-loops to first-order logic. [Full version.]
    Information and Computation 168 (2001), no. 2, pp. 156--186.
  19. M. Moczurad, J. Tyszkiewicz, M. Zaionc.
    Statistical Properties of Simple Types.
    Mathematical Structures in Computer Science 10 (2000), no. 5, pp. 575--594.
    D.Sc. received
  20. P. Chrząstowski-Wachtel, J. Tyszkiewicz, A. Hoffmann, A. Ramer.
    Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker.
    Information Processing Letters 79 (2001), no. 4, pp. 155--160.
  21. M. Spielmann, J. Tyszkiewicz, J. Van den Bussche, Distributed computation of Web queries using automata.
    Proc. Principles of Database Systems 2002 pp. 97-108.
  22. M. Bielecki, J. Hidders, J. Paredaens, J. Tyszkiewicz, J. Van den Bussche,
    Navigating with a browser.
    Proc. Automata, languages and programming ICALP 2002, LNCS 2380, pp. 764--775.
  23. A. Gambin, S. Lasota, R. Szklarczyk, J. Tiuryn J. Tyszkiewicz,
    Contextual Alignment of Biological Sequences.
    Bioinformatics, 18(2002), pp. 116-127.
  24. P. Chrząstowski-Wachtel, J. Tyszkiewicz,
    A Maple package for conditional event algebras.
    Proc. Conditionals, Information, and Inference, LNCS 3301(2006), pp. 131-151.
  25. T. R. Maciejak, B. Kukawska - Tarnawska, J. Tyszkiewicz, S. Tyszkiewicz,
    Multi-sensor odour detection and measurement of polluted food.
    Polish Journal of Food and Nutrition Sciences 53(2003).
  26. J. Tyszkiewicz, S. Tyszkiewicz,
    An introduction to chemometrics for food science,
    Polish Journal of Food and Nutrition Sciences 54(2004).
  27. D. Leinders, J. Tyszkiewicz, J. Van den Bussche,
    On the expressive power of semijoin queries,
    Information Processing Letters 91(2004), pp. 93--98.
  28. D. Leinders, M. Marx, J. Tyszkiewicz, J. Van den Bussche,
    The semijoin algebra and the guarded fragment,
    Journal of Logic, Language and Information 14(2005), pp. 331--343.
  29. J. Hidders, N. Kwasnikowska, J. Sroka,J. Tyszkiewicz, J. Van den Bussche,
    Petri net + nested relational calculus = dataflow
    Proceedings CoopIS, LNCS 3760, 2005, pp 220-237,
  30. A. Gambin, J. Tiuryn, J. Tyszkiewicz,
    Alignment with Context Dependent Scoring Function
    Journal of Computational Biology 13(2006) pp. 81-101.
  31. J. Sroka, G. Kaczor, J. Tyszkiewicz, A. M. Kierzek,
    XQTav: an XQuery processor for Taverna environment
    Bioinformatics 22(10): 1280-1281 (2006) Oxford University Press.
  32. L. Mankiewicz, M. Sawitus, J. Tyszkiewicz, G. Wrochna
    Tools for "Pi of the Sky" data exploration,
    Proc. SPIE Vol. 6347, 63470S, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2006; (Ryszard S. Romaniuk; Ed.); The International Society for Optical Engineering.
  33. M. Stępień, J. Tyszkiewicz,
    Computer Algorithm to Detect Similar Administrative Documents from the Ur III Archives,
    Proc. 51st Rencontre Assyriologique Internationale 2006, R.D. Biggs, J.Myers and M.Roth (eds.), Studies in Ancient Oriental Civilization 62(2008), pp. 177-189.
  34. Martyna Barczuk, Jerzy Tyszkiewicz,
    Magik - nowoczesne narzędzie dla badacza literatury, Teksty Drugie 3 2007, pp. 224-228.
  35. Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz,
    Jan Van den Bussche: A Formal Model of Dataflow Repositories. Proc. DILS (Data Integration in the Life Sciences), LNCS 4544, 2007, pp. 105-121.
  36. Marek Dopiera, Adam Kawa, Piotr Krewski, Tomek Weksej, Jacek Sroka and Jerzy Tyszkiewicz,
    Tavernalc. How to transform your OpenOffice Calc into a grid, presentation at OpenOffice.org Conference (OOoCon 2007), published in online proceedings.
  37. Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche:
    DFL: A dataflow language based on Petri nets and nested relational calculus. Information Systems 33(3), pp. 261-284 (2008).
  38. Edward Ochmanski, Jerzy Tyszkiewicz (editors):
    Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Springer LNCS 5162, 2008.
  39. Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche,
    Database Query Processing Using Finite Cursor Machines.
    Theory Comput. Syst. 44(4): 533-560 (2009).
    The first version appeared in Proc. International Conference on Database Theory ICDT 2007, LNCS 4353 (2006), pp. 284-298.
  40. Jerzy Tyszkiewicz:
    Spreadsheet As a Relational Database Engine,
    to appear in Proc. ACM SIGMOD International Conference on Management of Data, Indianapolis, 2010.