Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Teorii Informatyki i Baz Danych - 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)
Adres:
Instytut Informatyki
Uniwersytetu Wroclawskiego
ul. Joliot-Curie 15
50-383 Wroclaw
Sekretariat
tel.: 71 375 7800
tel.: 71 325 1271
fax: 71 375 7801
sekretariat@ii.uni.wroc.pl
Dziekanat
tel.: 71 375 7892
dziekan@ii.uni.wroc.pl
sprawy studenckie:
dziekanat@ii.uni.wroc.pl
Portiernia
tel.: 71 375 7958
Redaktor strony WWW
redaktor@ii.uni.wroc.pl
Projekt
MAKOS