Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2009

  1. M. Biernacka, D. Biernacki, A Context-based Approach to Proving Termination of Evaluation, Proceedings of the 25th Conference on the Mathematical Foundations of Programming Semantics (MFPS25), Oxford, UK, April 2009. ENTCS 249, 169-192, 2009. (http://www.ii.uni.wroc.pl/~dabi/Publications/MFPS09/biernacka-biernacki-mfps09.pdf)
  2. M. Biernacka, D. Biernacki, Context-based Proofs of Termination for Typed Delimited-Control Operators, Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2009), Coimbra, Portugal, September 2009, 289-300. (http://www.ii.uni.wroc.pl/~dabi/Publications/PPDP09/biernacka-biernacki-ppdp09.pdf)
  3. M. Biernacka, O. Danvy, Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines, Festschrift in the honour of Peter Mosses. Lecture Notes in Computer Science, 5700:162-185, September 2009. (http://www.ii.uni.wroc.pl/~mabi/scheme-festschrift09.pdf)
  4. E. Kieroński, L. Tendera, On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations, Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science Computer Science, LICS 2009: 123-132, IEEE Computer Society. (http://www.ii.uni.wroc.pl/~kiero/lics09.ps)
  5. J. Chomicki, J. Marcinkowski, C. Molinaro, Disjunctive Databases for Representing Repairs, Annals of Mathematics and Artificial Intelligence, opublikowane on-line 29 września 2009. (http://www.springerlink.com/content/uv1440vn1205774g/)
  6. J. Marcinkowski, The cost of being co-Buchi is nonlinear, June lst 2009, journals/corr/abs-0906-0072. (http://arxiv.org/PS_cache/arxiv/pdf/0906/0906.0072v2.pdf)
  7. L. Grocholski, A. Niemiec, Sprawa o nielegalne korzystanie z oprogramowania, Wydawnictwo Wyższej Szkoły Policyjnej w Szczytnie, 291-319, 2009.
  8. R. Kústers, T. Truderung, A. Vogt, Improving and Simplifying a Variant of Prêt à Voter, E-Voting and Identity, Second International Conference, Springer (LNCS 5767), 2009, 37-53, 1. (http://www.ii.uni.wroc.pl/~tt/papers/voteid09.pdf)
  9. R. Kústers, T. Truderung, Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation, IEEE Computer Security Foundations Symposium, IEEE Computer Society, 2009, 157-171. (http://www.ii.uni.wroc.pl/~tt/papers/csf09.pdf)
  10. R. Kústers, T. Truderung, An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols, IEEE Symposium on Security and Privacy, IEEE Computer Society, 2009, 251-266. (http://www.ii.uni.wroc.pl/~tt/papers/SP-2009.pdf)
  11. J. Marcinkowski, P. Wieczorek, Modulo Constraints and the Complexity of Typechecking XML Views, Theory of Computing Systems, Volume 44, Number 4, May, 2009, 620-652, Springer. (http://www.springerlink.com/content/37q886x411657733/)
  12. W. Charatonik, M. Gębala, M. Kutyłowski, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5699, Springer 2009, 371. (http://www.springerlink.com/content/u86775512p68/)
  13. L. Grocholski, A. Jabłoński, Rola Klastra ICT w rozwoju społeczeństwa informacyjnego, w Społeczeństwo Informacyjne: Krok naprzód, dwa kroki wstecz (red. J. Nowak, P. Sienkiewicz), PTI – Polskie Towarzystwo Informatyczne – oddział Górnośląski, Katowice 2009, Zakład Graficzny Politechniki Śląskiej w Gliwicach 227-260.
  14. J. Michaliszyn, Decidability of the Guarded Fragment with the Transitive Closure, Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, LNCS 5556, 261-272, 1. (http://www.ii.uni.wroc.pl/~jmi/icalp.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