Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jerzy Tyszkiewicz
@inproceedings{DBLP:conf/esa/SrokaT23,
author = {Jacek Sroka and
Jerzy Tyszkiewicz},
editor = {Inge Li G{\o}rtz and
Martin Farach{-}Colton and
Simon J. Puglisi and
Grzegorz Herman},
title = {Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat
Maps},
booktitle = {31st Annual European Symposium on Algorithms, {ESA} 2023, September
4-6, 2023, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {274},
pages = {96:1--96:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ESA.2023.96},
doi = {10.4230/LIPICS.ESA.2023.96},
timestamp = {Wed, 30 Aug 2023 15:40:45 +0200},
biburl = {https://dblp.org/rec/conf/esa/SrokaT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16751,
author = {Jacek Sroka and
Jerzy Tyszkiewicz},
title = {Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat
Maps},
journal = {CoRR},
volume = {abs/2305.16751},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16751},
doi = {10.48550/ARXIV.2305.16751},
eprinttype = {arXiv},
eprint = {2305.16751},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Tyszkiewicz20,
author = {Jerzy Tyszkiewicz},
editor = {Andreas Blass and
Patrick C{\'{e}}gielski and
Nachum Dershowitz and
Manfred Droste and
Bernd Finkbeiner},
title = {The Power of Spreadsheet Computations},
booktitle = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12180},
pages = {305--322},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48006-6\_20},
doi = {10.1007/978-3-030-48006-6\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Tyszkiewicz20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LeckiTS17,
author = {Krzysztof Lecki and
Jerzy Tyszkiewicz and
Jacek Sroka},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Structural Induction as a Method to Distribute the Generation of a
Trace Language Representation for Complex Systems},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2017 Satellite event of the conferences:
38th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2017 and 17th International Conference
on Application of Concurrency to System Design {ACSD} 2017, Zaragoza,
Spain, June 26-27, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1847},
pages = {55--70},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1847/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/LeckiTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SrokaLKST17,
author = {Jacek Sroka and
Artur Lesniewski and
Miroslaw Kowaluk and
Krzysztof Stencel and
Jerzy Tyszkiewicz},
editor = {Foto N. Afrati and
Jacek Sroka},
title = {Towards minimal algorithms for big data analytics with spreadsheets},
booktitle = {Proceedings of the 4th {ACM} {SIGMOD} Workshop on Algorithms and Systems
for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA,
May 19, 2017},
pages = {1:1--1:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3070607.3075961},
doi = {10.1145/3070607.3075961},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/SrokaLKST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/SikoraST16,
author = {Jerzy Sikora and
Jacek Sroka and
Jerzy Tyszkiewicz},
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Programming Communication with the User in Multiplatform Spreadsheet
Applications},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {356--371},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_27},
doi = {10.1007/978-3-319-50230-4\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/SikoraST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/SrokaPST15,
author = {Jacek Sroka and
Adrian Panasiuk and
Krzysztof Stencel and
Jerzy Tyszkiewicz},
title = {Translating Relational Queries into Spreadsheets},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {27},
number = {8},
pages = {2291--2303},
year = {2015},
url = {https://doi.org/10.1109/TKDE.2015.2397440},
doi = {10.1109/TKDE.2015.2397440},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/SrokaPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SikoraST15,
author = {Jerzy Sikora and
Jacek Sroka and
Jerzy Tyszkiewicz},
editor = {Aharon Abadi and
Danny Dig and
Yael Dubinsky},
title = {Spreadsheet as a Multi-platform Mobile Application},
booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
pages = {140--141},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileSoft.2015.34},
doi = {10.1109/MOBILESOFT.2015.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SikoraST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-2103,
author = {Jacek Sroka and
Krzysztof Stencel and
Jerzy Tyszkiewicz},
title = {Translating Relational Queries into Spreadsheets},
journal = {CoRR},
volume = {abs/1305.2103},
year = {2013},
url = {http://arxiv.org/abs/1305.2103},
eprinttype = {arXiv},
eprint = {1305.2103},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-2103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tyszkiewicz13,
author = {Jerzy Tyszkiewicz},
title = {The Power of Spreadsheet Computations},
journal = {CoRR},
volume = {abs/1307.7261},
year = {2013},
url = {http://arxiv.org/abs/1307.7261},
eprinttype = {arXiv},
eprint = {1307.7261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tyszkiewicz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BieleckiHPSTB12,
author = {Michal Bielecki and
Jan Hidders and
Jan Paredaens and
Marc Spielmann and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {The Navigational Power of Web Browsers},
journal = {Theory Comput. Syst.},
volume = {50},
number = {2},
pages = {213--240},
year = {2012},
url = {https://doi.org/10.1007/s00224-010-9294-3},
doi = {10.1007/S00224-010-9294-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BieleckiHPSTB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-6781,
author = {Jerzy Tyszkiewicz and
Dermot Balson},
title = {User Defined Spreadsheet Functions in Excel},
journal = {CoRR},
volume = {abs/1211.6781},
year = {2012},
url = {http://arxiv.org/abs/1211.6781},
eprinttype = {arXiv},
eprint = {1211.6781},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SrokaKKT11,
author = {Jacek Sroka and
Lukasz Krupa and
Andrzej M. Kierzek and
Jerzy Tyszkiewicz},
title = {\emph{CalcTav} - integration of a spreadsheet and \emph{Taverna} workbench},
journal = {Bioinform.},
volume = {27},
number = {18},
pages = {2618--2619},
year = {2011},
url = {https://doi.org/10.1093/bioinformatics/btr425},
doi = {10.1093/BIOINFORMATICS/BTR425},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SrokaKKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tyszkiewicz10,
author = {Jerzy Tyszkiewicz},
title = {Complexity of Type Inference},
journal = {Fundam. Informaticae},
volume = {103},
number = {1-4},
pages = {289--301},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-329},
doi = {10.3233/FI-2010-329},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Tyszkiewicz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Tyszkiewicz10,
author = {Jerzy Tyszkiewicz},
editor = {Ahmed K. Elmagarmid and
Divyakant Agrawal},
title = {Spreadsheet as a relational database engine},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
pages = {195--206},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807167.1807191},
doi = {10.1145/1807167.1807191},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/Tyszkiewicz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GroheGLSTB09,
author = {Martin Grohe and
Yuri Gurevich and
Dirk Leinders and
Nicole Schweikardt and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {Database Query Processing Using Finite Cursor Machines},
journal = {Theory Comput. Syst.},
volume = {44},
number = {4},
pages = {533--560},
year = {2009},
url = {https://doi.org/10.1007/s00224-008-9137-7},
doi = {10.1007/S00224-008-9137-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GroheGLSTB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/HiddersKSTB08,
author = {Jan Hidders and
Natalia Kwasnikowska and
Jacek Sroka and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {{DFL:} {A} dataflow language based on Petri nets and nested relational
calculus},
journal = {Inf. Syst.},
volume = {33},
number = {3},
pages = {261--284},
year = {2008},
url = {https://doi.org/10.1016/j.is.2007.09.002},
doi = {10.1016/J.IS.2007.09.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/HiddersKSTB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2008,
editor = {Edward Ochmanski and
Jerzy Tyszkiewicz},
title = {Mathematical Foundations of Computer Science 2008, 33rd International
Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85238-4},
doi = {10.1007/978-3-540-85238-4},
isbn = {978-3-540-85237-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dils/HiddersKSTB07,
author = {Jan Hidders and
Natalia Kwasnikowska and
Jacek Sroka and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Sarah Cohen Boulakia and
Val Tannen},
title = {A Formal Model of Dataflow Repositories},
booktitle = {Data Integration in the Life Sciences, 4th International Workshop,
{DILS} 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4544},
pages = {105--121},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73255-6\_11},
doi = {10.1007/978-3-540-73255-6\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dils/HiddersKSTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GroheGLSTB07,
author = {Martin Grohe and
Yuri Gurevich and
Dirk Leinders and
Nicole Schweikardt and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Database Query Processing Using Finite Cursor Machines},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {284--298},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_20},
doi = {10.1007/11965893\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GroheGLSTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SrokaKTK06,
author = {Jacek Sroka and
Grzegorz Kaczor and
Jerzy Tyszkiewicz and
Andrzej M. Kierzek},
title = {XQTav: an XQuery processor for Taverna environment},
journal = {Bioinform.},
volume = {22},
number = {10},
pages = {1280--1281},
year = {2006},
url = {https://doi.org/10.1093/bioinformatics/btl101},
doi = {10.1093/BIOINFORMATICS/BTL101},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SrokaKTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/GambinTT06,
author = {Anna Gambin and
Jerzy Tiuryn and
Jerzy Tyszkiewicz},
title = {Alignment with Context Dependent Scoring Function},
journal = {J. Comput. Biol.},
volume = {13},
number = {1},
pages = {81--101},
year = {2006},
url = {https://doi.org/10.1089/cmb.2006.13.81},
doi = {10.1089/CMB.2006.13.81},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcb/GambinTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/SzalasT06,
author = {Andrzej Szalas and
Jerzy Tyszkiewicz},
editor = {Renate A. Schmidt},
title = {On the Fixpoint Theory of Equality and Its Applications},
booktitle = {Relations and Kleene Algebra in Computer Science, 9th International
Conference on Relational Methods in Computer Science and 4th International
Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
UK, August 29-September 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4136},
pages = {388--401},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11828563\_26},
doi = {10.1007/11828563\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/SzalasT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/LeindersMTB05,
author = {Dirk Leinders and
Maarten Marx and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {The Semijoin Algebra and the Guarded Fragment},
journal = {J. Log. Lang. Inf.},
volume = {14},
number = {3},
pages = {331--343},
year = {2005},
url = {https://doi.org/10.1007/s10849-005-5789-8},
doi = {10.1007/S10849-005-5789-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/LeindersMTB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HiddersKSTB05,
author = {Jan Hidders and
Natalia Kwasnikowska and
Jacek Sroka and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Robert Meersman and
Zahir Tari and
Mohand{-}Said Hacid and
John Mylopoulos and
Barbara Pernici and
{\"{O}}zalp Babaoglu and
Hans{-}Arno Jacobsen and
Joseph P. Loyall and
Michael Kifer and
Stefano Spaccapietra},
title = {Petri Net + Nested Relational Calculus = Dataflow},
booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences CoopIS, DOA,
and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3760},
pages = {220--237},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575771\_16},
doi = {10.1007/11575771\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HiddersKSTB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LeindersTB04,
author = {Dirk Leinders and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {On the expressive power of semijoin queries},
journal = {Inf. Process. Lett.},
volume = {91},
number = {2},
pages = {93--98},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2004.03.011},
doi = {10.1016/J.IPL.2004.03.011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LeindersTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0407007,
author = {Dirk Leinders and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {The semijoin algebra and the guarded fragment},
journal = {CoRR},
volume = {cs.DB/0407007},
year = {2004},
url = {http://arxiv.org/abs/cs.DB/0407007},
doi = {10.48550/ARXIV.CS/0407007},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0407007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0308014,
author = {Dirk Leinders and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {On the expressive power of semijoin queries},
journal = {CoRR},
volume = {cs.DB/0308014},
year = {2003},
url = {http://arxiv.org/abs/cs/0308014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0308014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccb/GambinLSTT02,
author = {Anna Gambin and
Slawomir Lasota and
Radoslaw Szklarczyk and
Jerzy Tiuryn and
Jerzy Tyszkiewicz},
title = {Contextual alignment of biological sequences},
booktitle = {Proceedings of the European Conference on Computational Biology {(ECCB}
2002), October 6-9, 2002, Saarbr{\"{u}}cken, Germany},
pages = {116--127},
year = {2002},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccb/GambinLSTT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BieleckiHPTB02,
author = {Michal Bielecki and
Jan Hidders and
Jan Paredaens and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Navigating with a Browser},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {764--775},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_65},
doi = {10.1007/3-540-45465-9\_65},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BieleckiHPTB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SpielmannTB02,
author = {Marc Spielmann and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Lucian Popa and
Serge Abiteboul and
Phokion G. Kolaitis},
title = {Distributed Computation of Web Queries Using Automata},
booktitle = {Proceedings of the Twenty-first {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, Madison, Wisconsin, {USA}},
pages = {97--108},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/543613.543626},
doi = {10.1145/543613.543626},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/SpielmannTB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcii/Chrzastowski-WachtelT02,
author = {Piotr Chrzastowski{-}Wachtel and
Jerzy Tyszkiewicz},
editor = {Gabriele Kern{-}Isberner and
Wilhelm R{\"{o}}dder and
Friedhelm Kulmann},
title = {A Maple Package for Conditional Event Algebras},
booktitle = {Conditionals, Information, and Inference, International Workshop,
{WCII} 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3301},
pages = {131--151},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/11408017\_8},
doi = {10.1007/11408017\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/wcii/Chrzastowski-WachtelT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tyszkiewicz01,
author = {Jerzy Tyszkiewicz},
title = {Computability by Sequences of Queries},
journal = {Fundam. Informaticae},
volume = {48},
number = {4},
pages = {389--414},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi48-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Tyszkiewicz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NevenOTB01,
author = {Frank Neven and
Martin Otto and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {Adding For-Loops to First-Order Logic},
journal = {Inf. Comput.},
volume = {168},
number = {2},
pages = {156--186},
year = {2001},
url = {https://doi.org/10.1006/inco.2000.2961},
doi = {10.1006/INCO.2000.2961},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/NevenOTB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Chrzastowski-WachtelTHR01,
author = {Piotr Chrzastowski{-}Wachtel and
Jerzy Tyszkiewicz and
Achim G. Hoffmann and
Arthur Ramer},
title = {Definability of connectives in conditional event algebras of Schay-Adams-Calabrese
and Goodman-Nguyen-Walker},
journal = {Inf. Process. Lett.},
volume = {79},
number = {4},
pages = {155--160},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(00)00219-2},
doi = {10.1016/S0020-0190(00)00219-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Chrzastowski-WachtelTHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0110003,
author = {Jerzy Tyszkiewicz and
Arthur Ramer and
Achim G. Hoffmann},
title = {The temporal calculus of conditional objects and conditional events},
journal = {CoRR},
volume = {cs.AI/0110003},
year = {2001},
url = {https://arxiv.org/abs/cs/0110003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0110003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0110004,
author = {Jerzy Tyszkiewicz and
Achim G. Hoffmann and
Arthur Ramer},
title = {Embedding conditional event algebras into temporal calculus of conditionals},
journal = {CoRR},
volume = {cs.AI/0110004},
year = {2001},
url = {https://arxiv.org/abs/cs/0110004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0110004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RosenT00,
author = {Eric Rosen and
Jerzy Tyszkiewicz},
title = {SO(forall-exist*) Sentences and Their Asymptotic Probabilities},
journal = {Math. Log. Q.},
volume = {46},
number = {4},
pages = {435--452},
year = {2000},
url = {https://doi.org/10.1002/1521-3870(200010)46:4\&\#60;435::AID-MALQ435\&\#62;3.0.CO;2-E},
doi = {10.1002/1521-3870(200010)46:4\&\#60;435::AID-MALQ435\&\#62;3.0.CO;2-E},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RosenT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MoczuradTZ00,
author = {Malgorzata Moczurad and
Jerzy Tyszkiewicz and
Marek Zaionc},
title = {Statistical properties of simple types},
journal = {Math. Struct. Comput. Sci.},
volume = {10},
number = {5},
pages = {575--594},
year = {2000},
url = {http://journals.cambridge.org/action/displayAbstract?aid=58589},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MoczuradTZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/Tyszkiewicz00,
author = {Jerzy Tyszkiewicz},
title = {A Simple Construction for Tournaments with Every k Players Beaten
by a Single Player},
journal = {Am. Math. Mon.},
volume = {107},
number = {1},
pages = {53--54},
year = {2000},
url = {http://www.jstor.org/stable/2589377},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/Tyszkiewicz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NevenOTB99,
author = {Frank Neven and
Martin Otto and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Catriel Beeri and
Peter Buneman},
title = {Adding For-Loops to First-Order Logic},
booktitle = {Database Theory - {ICDT} '99, 7th International Conference, Jerusalem,
Israel, January 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1540},
pages = {58--69},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49257-7\_5},
doi = {10.1007/3-540-49257-7\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NevenOTB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tyszkiewicz98,
author = {Jerzy Tyszkiewicz},
title = {The Kolmogorov Expressive Power of Boolean Query Languages},
journal = {Theor. Comput. Sci.},
volume = {190},
number = {2},
pages = {317--361},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00094-7},
doi = {10.1016/S0304-3975(97)00094-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tyszkiewicz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tyszkiewicz97,
author = {Jerzy Tyszkiewicz},
title = {Queries and Algorithms Computable by Polynomial Time Existential Reflective
Machines},
journal = {Fundam. Informaticae},
volume = {32},
number = {1},
pages = {91--105},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-32104},
doi = {10.3233/FI-1997-32104},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Tyszkiewicz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Tyszkiewicz97,
author = {Jerzy Tyszkiewicz},
title = {The Kolmogorov Expression Complexity of Logics},
journal = {Inf. Comput.},
volume = {135},
number = {2},
pages = {113--135},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2636},
doi = {10.1006/INCO.1997.2636},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Tyszkiewicz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Tyszkiewicz97,
author = {Jerzy Tyszkiewicz},
title = {A Note on the Kolmogorov Data Complexity and Nonuniform Logical Definitions},
journal = {Inf. Process. Lett.},
volume = {64},
number = {4},
pages = {187--195},
year = {1997},
url = {https://doi.org/10.1016/S0020-0190(97)00172-5},
doi = {10.1016/S0020-0190(97)00172-5},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Tyszkiewicz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Tyszkiewicz97,
author = {Jerzy Tyszkiewicz},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {Fine Hierarchies of Generic Computation},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {125--139},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_41},
doi = {10.1007/3-540-62222-5\_41},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Tyszkiewicz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Tyszkiewicz97,
author = {Jerzy Tyszkiewicz},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Queries and Algorithms Computable by Polynomial Time Existential Reflective
Machines (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {498--507},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029993},
doi = {10.1007/BFB0029993},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Tyszkiewicz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/Tyszkiewicz95,
author = {Jerzy Tyszkiewicz},
title = {Probabilities in First-Order Logic of a Unary Function and a Binary
Relation},
journal = {Random Struct. Algorithms},
volume = {6},
number = {2/3},
pages = {181--192},
year = {1995},
url = {https://doi.org/10.1002/rsa.3240060205},
doi = {10.1002/RSA.3240060205},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsa/Tyszkiewicz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/IdziakT95,
author = {Pawel M. Idziak and
Jerzy Tyszkiewicz},
editor = {Ravi Bopu Boppana and
James F. Lynch},
title = {Monadic second order probabilities in algebra. Directly representable
varieties and groups},
booktitle = {Logic and Random Structures, Proceedings of a {DIMACS} Workshop, New
Brunswick, New Jersey, USA, November 5-7, 1995},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {33},
pages = {79--107},
publisher = {{DIMACS/AMS}},
year = {1995},
url = {https://doi.org/10.1090/dimacs/033/06},
doi = {10.1090/DIMACS/033/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/IdziakT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Tyszkiewicz95,
author = {Jerzy Tyszkiewicz},
editor = {Georg Gottlob and
Moshe Y. Vardi},
title = {On the Kolmogorov Expressive Power of Boolean Query Languages},
booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
Republic, January 11-13, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {893},
pages = {97--110},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58907-4\_9},
doi = {10.1007/3-540-58907-4\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Tyszkiewicz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LynchT95,
author = {James F. Lynch and
Jerzy Tyszkiewicz},
title = {The Infinitary Logic of Sparse Random Graphs},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {46--53},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523243},
doi = {10.1109/LICS.1995.523243},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LynchT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/Tyszkiewicz94,
author = {Jerzy Tyszkiewicz},
title = {Infinitary Queries and Their Asymptotic Probabilites {II.} Properties
Definable in Least Fixed Point Logic},
journal = {Random Struct. Algorithms},
volume = {5},
number = {1},
pages = {215--234},
year = {1994},
url = {https://doi.org/10.1002/rsa.3240050120},
doi = {10.1002/RSA.3240050120},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsa/Tyszkiewicz94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Tyszkiewicz93,
author = {Jerzy Tyszkiewicz},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in
Presence of Ordering},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {569--583},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_90},
doi = {10.1007/3-540-56610-4\_90},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Tyszkiewicz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tyszkiewicz92,
author = {Jerzy Tyszkiewicz},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {On Asymptotic Probabilities of Monadic Second Order Properties},
booktitle = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
pages = {425--439},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56992-8\_26},
doi = {10.1007/3-540-56992-8\_26},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/Tyszkiewicz92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tyszkiewicz91,
author = {Jerzy Tyszkiewicz},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Infinitary Queries and Their Asymptotic Probabilities {I:} Properties
Definable in Transitive Closue Logic},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {396--410},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023784},
doi = {10.1007/BFB0023784},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/Tyszkiewicz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-11 22:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
