Menu
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2017

    1. T. Gogacz, J. Marcinkowski, Converging to the chase: a tool for finite controllability, Journal of Computer and System Sciences. - Vol. 83, iss. 1 (2017), s. 180-206. (http://dx.doi.org/10.1016/j.jcss.2016.08.001)
    2. T. A. Henzinger, J. Otop, Model measuring for discrete and hybrid systems, Nonlinear Analysis-Hybrid Systems . - Vol. 23 (2017), s. 166-190. (http://dx.doi.org/10.1016/j.nahs.2016.09.001)
    3. B. Bednarczyk, W. Charatonik, E. Kieroński, Extending Two-Variable Logic on Trees. CSL 2017, Stockholm, Sweden, August 2017, pp. 11:1–20. (doi:10.4230/LIPIcs.CSL.2017.11)
    4. E. Kieroński, I. Pratt-Hartmann, L. Tendera, Equivalence closure in the two-variable guarded fragment, Journal of Logic and Computation. - Vol. 27, Iss. 4 (2017), s. 999-1021. (https://tinyurl.com/y8vu9lqz)
    5. K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit distance for pushdown automata, Logical Methods in Computer Science. - Vol. 13, iss. 3 (2017), art. nr 23, s. 1-23. (https://tinyurl.com/ybblhzxy)
    6. T.A. Henzinger, J. Otop, Nonlinear Analysis-Hybrid Systems . - Vol. 23 (2017), s. 166-190. (http://dx.doi.org/10.1016/j.nahs.2016.09.001)
    7. K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation. - Vol. 254, Part 2 (2017), s. 143-166. (http://dx.doi.org/10.1016/j.ic.2016.10.006)
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2016

    1. J. Otop, T. A. Henzinger, R. Samanta, Lipschitz robustness of timed I/O systems, Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Barbara Jobstmann, K. Rustan M. Leino (eds.). - Berlin : Springer Berlin, 2016. - (Lecture Notes in Computer Science ; 9583). - S. 250-267. (http://dx.doi.org/10.1007/978-3-662-49122-5_12)
    2. E. Kieroński, One-dimensional logic over words, W: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Jean-Marc Talbot, Laurent Regnier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (LIPIcs - Leibniz International Porceedings in Informatics ; 62).- S. 38:1--38:15. (http://dx.doi.org/10.4230/LIPIcs.CSL.2016.38)
    3. T. Gogacz, J. Marcinkowski, Red spider meets a rainworm: conjunctive query finite determinacy is undecidable, W: PODS'16 Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems / Tova Milo (General Chair). - New York, NY : ACM, 2016.- S. 121-134. (http://dx.doi.org/10.1145/2902251.2902288)
    4. A. Lomuscio, J. Michaliszyn, Model checking multi-agent systems against epistemic HS specifications with regular expressions, W: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Cape Town, South Africa, April 25-29, 2016 / Chitta Baral, James Delgrande, and Frank Wolter (eds.).- Palo Alto : AAAI Press, 2016.- S. 298-308. (http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12823/12486)
    5. M. Graboń, J. Michaliszyn, J. Otop, P. Wieczorek, Querying data graphs with arithmetical regular expressions, W: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), New York, New York, USA 9-15 July 2016 / Subbarao Kambhampati (ed.). - Palo Alto : AAAI Press / International Joint Conferences on Artificial Intelligence, 2016. - S. 1088-1094. (http://www.ii.uni.wroc.pl/~piotrek/papers/ijcai16.pdf)
    6. A. Lomuscio, J. Michaliszyn, Verification of multi-agent systems via predicate abstraction against ATLK specifications, W: Proceedings of the 2016 International Conference on Autonomous Agents Multiagent Systems (AAMAS 2016) / Catholijn M. Jonker, Stacy Marsella (General Chairs). - Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2016.- S. 662-670. (http://tinyurl.com/zta6n6n)
    7. T. A. Henzinger, J. Otop, R. Samanta, Lipschitz robustness of timed I/O systems, W: Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Barbara Jobstmann, K. Rustan M. Leino (eds.). - Berlin : Springer Berlin, 2016. - (Lecture Notes in Computer Science ; 9583). - S. 250-267. (http://dx.doi.org/10.1007/978-3-662-49122-5_12)
    8. K. Chatterjee, T. A. Henzinger, J. Otop, Nested weighted limit-average automata of bounded width, W: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) / Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (Leibniz International Proceedings in Informatics (LIPIcs) ; 58).- S. 24:1--24:14. (http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.24)
    9. K. Chatterjee, T. A. Henzinger, J. Otop, Quantitative automata under probabilistic semantics, W: LICS '16 31st Annual ACM/IEEE Symposium on Logic in Computer Science New York, NY, USA - July 05 - 08, 2016 / Martin Grohe (General Chairs). - New York : Association for Computing Machinery, 2016.- S. 76-85. (http://dx.doi.org/10.1145/2933575.2933588)
    10. K. Chatterjee, T. A. Henzinger, J. Otop, Quantitative monitor automata, W: Static analysis : 23rd international symposium, SAS 2016 Edinburgh, UK, September 8-10, 2016 : proceedings / Xavier Rival (ed.). - Berlin ; Heidelberg : Springer, 2016. - (Lecture Notes in Computer Science ; 9837).- S. 23-38. (http://dx.doi.org/10.1007/978-3-662-53413-7_2)
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2015

    1. S. Staworko, P. Wieczorek, Characterizing XML twig queries with examples, 18th International Conference on Database Theory, ICDT-15, March 23-27, 2015, Brussels, Belgium / Marcelo Arenas, Martín Ugarte (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 31).- S. 144-160. (http://dx.doi.org/10.4230/LIPIcs.ICDT.2015.144).
    2. E. Kieroński, A. Kuusisto, Uniform one-dimensional fragments with one equivalence relation, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) / Stephan Kreutzer (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 41).- S. 597-615. (http://dx.doi.org/10.4230/LIPIcs.CSL.2015.597).
    3. E. Kieroński, J. Michaliszyn, J. Otop, On the decidability of elementary modal logics, ACM Transactions on Computational Logic. - Vol. 17, iss. 1 (2015), nr art. 2 (47 str.). (http://dx.doi.org/10.1145/2811262).
    4. T. Gogacz, J. Marcinkowski, The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable, LICS 2015: 281-292.
    5. T. Gogacz, W. Czerwinski, E. Kopczynski, Non-dominating Sequences of Vectors Using only Resets and Increments, Fundam. Inform. 140(2): 123-127 (2015).
    6. U. Boker, T. A. Henzinger, J. Otop, The target discounted-sum problem, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 6 - 10 July 2015, Kyoto, Japan. - Piscataway : IEEE, 2015. - (IEEE Conference Publications). - S. 750 - 761. (http://dx.doi.org/10.1109/LICS.2015.74).
    7. K. Chatterjee, T. A. Henzinger, J. Otop, Nested weighted automata, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 6 - 10 July 2015, Kyoto, Japan. - Piscataway : IEEE, 2015.- (IEEE Conference Publicatons). - S. 725 - 737. (http://dx.doi.org/10.1109/LICS.2015.72).
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2014

    1. T. Gogacz, K. Krupiński, On regular groups and fields, Journal of Symbolic Logic. - Vol. 79, iss. 3 (2014), s. 826-844. (http://dx.doi.org/10.1017/jsl.2013.17).
    2. E. Kieroński, A. Kuusisto, Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality, MFCS 2014. Budapest, Hungary, August 26-29, 2014. Proceedings, Part I, LNCS 8634, pp. 365--376. (http://link.springer.com/chapter/10.1007%2F978-3-662-44522-8_31).
    3. W. Charatonik, E. Kieroński, F. Mazowiecki, Decidability of Weak Logics with Deterministic Transitive Closure, CSL-LICS 2014. Vienna, Austria, July 14 - 18, 2014. Proceedings, pp. 29:1--29:10. (http://dl.acm.org/citation.cfm?doid=2603088.2603134).
    4. E. Kieroński, J. Michaliszyn, I. Pratt-Hartmann, L. Tendera, Two-variable First-order Logic with Equivalence Closure, SIAM Journal on Computing, Volume 43, Issue 3, 2014, pp. 1012--1063. (http://epubs.siam.org/doi/abs/10.1137/120900095).
    5. T. Gogacz, M. Bojańczyk, H. Michalewski, M. Skrzypczak, On the decidability of MSO+U on infinite trees, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 50-61.
    6. T. Gogacz, J. Marcinkowski, All-Instances Termination of Chase is Undecidable, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 293-304.
    7. T. Gogacz, H. Michalewski, M. Mio, M. Skrzypczak, Measure Properties of Game Tree Languages, Proceedings - Mathematical Foundations of Computer Science - 2014, s. 303-314.
    8. T. A. Henzinger, J. Otop, Model measuring for hybrid systems, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, ACM, 2014, str. 213-222. (http://dl.acm.org/citation.cfm?doid=2562059.2562130).
    9. J. Otop, T. A. Henzinger, S. Roopsha, Lipschitz Robustness of Finite-state Transducers, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, LIPIcs, 2014, str. 431-443. (http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.431).
    10. S. Staworko, P. Wieczorek, Characterizing XML Twig Queries with Examples, 18th International Conference on Database Theory (ICDT'15). Leibniz International Proceedings in Informatics Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. (http://www.ii.uni.wroc.pl/~piotrek/paper.php?p=icdt15)
    11. J. Marcinkowski, J. Michaliszyn, The Undecidability of the Logic of Subintervals, Fundamenta Informaticae. 131(2): 217-240, 2014. (http://dx.doi.org/10.3233/FI-2014-1011).
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2013

    1. W. Charatonik, E. Kieroński, S. Benaim, M. Benedikt, R. Lenhardt, F. Mazowiecki, J. Worrell, Complexity of two-variable logic on finite trees, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 7966). - S. 74-88. (http://dx.doi.org/10.1007/978-3-642-39212-2_10).
    2. P. Guagliardo, P. Wieczorek, Query processing in data integration, Data Exchange, Integration, and Streams / Phokion G. Kolaitis and Maurizio Lenzerini and Nicole Schweikardt (Eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. - (Dagstuhl Follow-Ups ; Vol. 5).- S. 129-160. (http://dx.doi.org/10.4230/DFU.Vol5.10452.129).
    3. T. Gogacz, J. Marcinkowski, Converging to the Chase - A Tool for Finite Controllability, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, s. 540-549. (http://doi.ieeecomputersociety.org/10.1109/LICS.2013.61).
    4. T. Gogacz, J. Marcinkowski, On the BDD/FC conjecture, Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June // s. 22 - 27, ACM 2013 ISBN 978-1-4503-2066-5: 127-138.
    5. T. A. Henzinger, J. Otop, From Model Checking to Model Measuring, Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, Springer 2013, (Lecture Notes in Computer Science Vol. ), s. 273-287. (http://dx.doi.org/ 10.1007/978-3-642-40184-8_20).
    6. J. Michaliszyn, J. Otop, Elementary Modal Logics over Transitive Structures, Computer Science Logic 2013 CSL 2013, Torino, Italy, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 23 of LIPIcs s. 563-577. (http://dx.doi.org/10.1007/978-3-642-40184-8_20).
    7. J. Otop, K. Chatterjee, T. A. Henzinger, A. Pavlogiannis, Distributed synthesis for LTL fragments, Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, IEEE, s. 18-25. (https://repository.ist.ac.at/130/1/Distributed_Synthesis.pdf).