"Tippkeskused" projekt EXCS
EXCS "Estonian Excellence in Computer Science - EXCS (7.07.2008−31.08.2015)", Tarmo Uustalu, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
EXCS
Arvutiteaduse tippkeskus - EXCS
Estonian Excellence in Computer Science - EXCS
Estonian Excellence in Computer Science - EXCS
7.07.2008
31.08.2015
Tippkeskused
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)100,0
AsutusRollPeriood
Tallinna Tehnikaülikoolkoordinaator07.07.2008−31.08.2015
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituutkoordinaator07.07.2008−31.08.2015
PerioodSumma
07.07.2008−31.08.201566 410 000,00 EEK (4 244 372,58 EUR)
4 244 372,58 EUR
4244372,58
Tippkeskus

Tippkeskus koosneb 4 sihiteema teadlastest TTÜ KübI, Cybernetica ASi ja TÜ juures, mis esindavad suuremat osa Eestis tehtavast arvutiteadusest. Üldeesmärgiks on konsolideerida ja edendada eesti arvutiteadust 6 tugevusalal: programmikeeled ja -süsteemid, turvalisus, tarkvaratehnika, teadus- ja inseneriarvutused, bioinformaatika ning inimkeeletehnoloogia. Erieesmärkideks on tugevdada uurimisrühmade teaduspotentsiaali eriti läbi nendevahelise koostöö, suurendada rühmade teadustulemuste mõju rahvusvahelisele teaduskogukonnale ja tööstusele-ühiskonnale, populariseerida neid tulemusi avalikkuse ees ning toetada rühmade jätkusuutlikkust. Selleks rakendatakse hoolikalt kavandatud koordinatsiooni ning ühistegevusi. Kõik need on suunatud noorteadlaste (ka välisnoorteadlaste) jaoks atraktiivse, kõrge reputatsiooniga ja hästi toimiva uurimiskeskkonna loomisele. Vastavalt ''Teadmistepõhise Eesti'' strateegiale 2007-2013 on info- ja kommunikatsioonitehnoloogiad Eesti TA&I võtmetehnoloogiateks.
The general objective of the CoE, formed of the research staff of 4 target-financed themes at TUT IoC, Cybernetica and UT and representing most of the computer science research conducted in Estonia, is to consolidate and advance it in 6 areas of recognized strength: programming languages and systems, information security, software engineering, scientific and engineering computing, bioinformatics and human language technology. The specific objectives are to enhance the research potential of the groups by facilitating collaborations, to increase the impact of their research results on academia and industry-society as well as to popularize them, and to ensure the sustainability of the groups. This is achieved by carefully planned coordination and joint actions, targeted at creating at a thriving highly reputed research environment, attractive for young researchers (in particular from abroad). According to ''Knowledge-Based Estonia 2007-2013'', ICT are key technologies for the Estonian RD&I.
TegevusProtsent
Alusuuring100,0
http://cs.ioc.ee/excs/

Vastutav täitja (1)

IsikKraadTöökoht ja ametCVOsalemise periood
Tarmo UustaludoktorikraadEST / ENG07.07.2008−31.08.2015

Põhitäitjad (25)

IsikKraadTöökoht ja ametCVOsalemise periood
Tanel AlumäedoktorikraadEST / ENG07.07.2008−31.08.2015
Irina AstrovadoktorikraadEST / ENG07.07.2008−31.08.2015
Silvio CapobiancodoktorikraadEST / ENG07.07.2008−31.08.2015
James ChapmandoktorikraadEST / ENG07.07.2008−31.08.2015
Mohamed El-ZawawydoktorikraadEST / ENG07.07.2008−31.08.2015
Juhan-Peep ErnitsdoktorikraadEST / ENG07.07.2008−31.08.2015
Pavel GrigorenkodoktorikraadEST / ENG07.07.2008−31.08.2015
Hele-Mai HaavdoktorikraadEST / ENG07.07.2008−31.08.2015
Mait HarfdoktorikraadEST / ENG07.07.2008−31.08.2015
Wolfgang JeltschdoktorikraadEST / ENG07.07.2008−31.08.2015
Ahto KaljadoktorikraadEST / ENG07.07.2008−31.08.2015
Toomas KirtdoktorikraadEST / ENG07.07.2008−31.08.2015
Marion LepmetsdoktorikraadEST / ENG07.07.2008−31.08.2015
Riina MaigredoktorikraadEST / ENG07.07.2008−31.08.2015
Einar MeisterdoktorikraadEST / ENG07.07.2008−31.08.2015
Lya MeisterdoktorikraadEST / ENG07.07.2008−31.08.2015
Keiko NakatadoktorikraadEST / ENG07.07.2008−31.08.2015
Rena NemotodoktorikraadEST / ENG07.07.2008−31.08.2015
Andres OjamaadoktorikraadEST / ENG07.07.2008−31.08.2015
Jaan PenjamdoktorikraadEST / ENG07.07.2008−31.08.2015
Ando SaabasdoktorikraadEST / ENG07.07.2008−31.08.2015
Hellis TammdoktorikraadEST / ENG07.07.2008−31.08.2015
Enn TõugudoktorikraadEST / ENG07.07.2008−31.08.2015
Jüri VaindoktorikraadEST / ENG07.07.2008−31.08.2015
Varmo VenedoktorikraadEST / ENG07.07.2008−31.08.2015

Täitjad (13)

IsikKraadTöökoht ja ametCVOsalemise periood
Danel AhmanmagistrikraadEST / ENG07.07.2008−31.08.2015
Denis FirsovdoktorikraadEST / ENG07.07.2008−31.08.2015
Kristiina Kindelmagistrikraad (teaduskraad)EST / ENG07.07.2008−31.08.2015
Vahur Kotkasmagistrikraad (teaduskraad)EST / ENG07.07.2008−31.08.2015
Jüri KuusikmagistrikraadEST / ENG07.07.2008−31.08.2015
Andri SaarmagistrikraadEST / ENG07.07.2008−31.08.2015
Jelena Sankomagistrikraad (teaduskraad)EST / ENG07.07.2008−31.08.2015
Kairit SirtsdoktorikraadEST / ENG07.07.2008−31.08.2015
Margarita Spitšakovamagistrikraad (teaduskraad)EST / ENG07.07.2008−31.08.2015
Boriss ŠelajevmagistrikraadEST / ENG07.07.2008−31.08.2015
Elmo TodurovmagistrikraadEST / ENG07.07.2008−31.08.2015
Andres Toommagistrikraad (teaduskraad)EST / ENG07.07.2008−31.08.2015
Niccolò VeltridoktorikraadEST / ENG07.07.2008−31.08.2015
Publikatsioonid
Publikatsioonid
Bezem, Marc; Coquand, Thierry; Nakata, Keiko (2013). Are streamless sets Noetherian? Types for Proofs and Programs, 19th TYPES Meeting : Toulouse, France, April 22-26, 2013 : TYPES 2013 : Book of Abstracts. Ed. Matthes, Ralph. Toulouse: Institut de Recherche en Informatique de Toulouse, 32−33.
Ahman, Danel; Uustalu, Tarmo (2013). Update monads: cointerpreting directed containers. Types for Proofs and Programs, 19th TYPES Meeting : Toulouse, France, April 22-26, 2013 : TYPES 2013 : Book of Abstracts. Ed. Matthes, Ralph. Toulouse: Institut de Recherche en Informatique de Toulouse, 16−17.
Ahman, Danel; Uustalu, Tarmo (2013). Distributive laws of directed containers. Progress in Informatics, 10, 3−18.10.2201/niipi.2013.10.2.
Lipmaa, Helger; Toft, Tomas (2013). Secure Equality and Greater-Than Tests with Sublinear Online Complexity. ICALP 2013, Riga, Latvia, July 8-12, 2013. Ed. Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. Springer Heidelberg, 645−656. (Lecture Notes in Computer Science; 7966).10.1007/978-3-642-39212-2_56.
Firsov, Denis; Uustalu, Tarmo (2013). Certified parsing of regular languages. Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Ed. Gonthier, Georges; Norrish, Michael. Cham: Springer, 98−113. (Lecture Notes in Computer Science; 8307).
Matthes, R.; Uustalu, T. (Guest eds.) (2013). RAIRO - Theoretical Informatics and Application. Special issue for 6th Workshop on Fixed Points in Computer Science, FICS 2009 : Coimbra, Portugal. EDP Sciences.10.1051/ita/2012026.
Capobianco, Silvio; Guillon, Pierre; Kari, Jarkko (2013). Surjective cellular automata far from the Garden of Eden. Discrete Mathematics and Theoretical Computer Science, 15 (3), 41−60.
Tamm, Hellis (2010). Some minimality results on biresidual and biseparable automata. Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceeding. Ed. Dediu, A.-H.; Fernau, H.; Martín-Vide, C. Berlin: Springer, 573−584. (Lecture Notes in Computer Science; 6031).10.1007/978-3-642-13089-2_48.
Brzozowski, Janusz; Tamm, Hellis (2011). Theory of átomata. Developments in Language Theory : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011, Proceedin. Heidelberg: Springer-Verlag, 105−116. (Lecture Notes in Computer Science; 6795).10.1007/978-3-642-22321-1_10.
Brzozowski, Janusz; Tamm, Hellis (2012). Quotient complexities of atoms of regular languages. Developments in Language Theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings. Ed. Yen, Hsu-Chun; Ibarra, Oscar H. Berlin: Springer, 50−61. (Lecture Notes in Computer Science; 7410).10.1007/978-3-642-31653-1_6.
Van der Merwe, Brink; Tamm, Hellis; Van Zijl, Lynette (2012). Minimal DFA for symmetric difference NFA. Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings. Ed. Kutrib, Martin; Moreira, Nelma; Reis, Rogério. Springer-Verlag, 307−318. (Lecture Notes in Computer Science; 7386).10.1007/978-3-642-31623-4_24.
Brzozowski, Janusz; Tamm, Hellis (2013). Complexity of atoms of regular languages. International Journal of Foundations of Computer Science, 24 (7), 1009−1027.10.1142/S0129054113400285.
Alumäe, Tanel; Nemoto, Rena (2013). Phone duration modeling using clustering of rich contexts. Interspeech 2013 : 14th Annual Conference of the International Speech Communication Association, Lyon, France, 25-29 August, Proceedings. Lyon, France: International Speech Communication Association, 1801−1805.
Nemoto, Rena; Adda-Decker, Martine (2013). How are word-final schwas different in the North and South of France? Interspeech 2013 : 14th Annual Conference of the International Speech Communication Association, Lyon, France, 25-29 August, Proceedings. Lyon, France: International Speech Communication Association, 305−309.
Nemoto, Rena (2013). Which kind of hesitations can be found in Estonian spontaneous speech? Proceedings of DiSS 2013 : The 6th Workshop on Disfluency in Spontaneous Speech, KTH Royal Institute of Technology, Stockholm, Sweden, 21-23 August 2013, 53. Ed. Eklund,Robert. Stockholm: Royal Institute of Technology (KTH), 53−54. (TMH-QPSR; 54(1)).
Adda-Decker, Martine; Nemoto, Rena; Mareüil, Philippe (2012). Une approche automatisée pour l'étude de la diversité prosodique du français. Simon, Anne Catherine. La variation prosodique régionale en français (Ch. 3, 41−64).. Bruxelles: De Boeck, Duculot. (Champs linguistiques. Recueils ).
Nemoto, Rena; Adda-Decker, Martine (2012). Prosodic patterns of Estonian words: a corpus-based description using spontaneous speech. Human Language Technologies. The Baltic Perspective : Proceedings of the Fifth International Conference Baltic HLT 2012. Ed. Tavast, Arvi; Muischnek, Kadri; Koit, Mare. Amsterdam: IOS Press, 286−239. (Frontiers in Artificial Intelligence and Applications; 247).10.3233/978-1-61499-133-5-286.
Nemoto, Rena; Adda-Decker, Martine (2013). How are word-final schwas different in the North and South of France? Interspeech 2013 : 14th Annual Conference of the International Speech Communication Association, Lyon, France, 25-29 August, Conference Program & Abstract Book. Toim. Bimbot,F., et al. Lyon, France: International Speech Communication Association, 65.
Alumäe, Tanel; Nemoto, Rena (2013). Phone duration modeling using clustering of rich contexts. Interspeech 2013 : 14th Annual Conference of the International Speech Communication Association, Lyon, France, 25-29 August, Conference Program & Abstract Book. Ed. Bimbot, F., et al. Lyon, France: International Speech Communication Association, 125.
Uustalu, Tarmo (2013). Coinductive big-step semantics for concurrency. Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13) : Rome, Italy, 23rd March 2013. Ed. Yoshida, Nobuko; Vanderbauwhede, Wim. Rome: Open Publishing Association, 63−78. (Electronic Proceedings in Theoretical Computer Science; 137).10.4204/eptcs.137.6.
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo (2012). On streams that are finitely red. Logical Methods in Computer Science, 8, 1−20.10.2168/LMCS-8(4:4)2012.
Uustalu, Tarmo (2012). Explicit binds: effortless efficiency with and without trees. Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012: Proceedings. Ed. Schrijvers, Tom; Thiemann, Peter. Berlin: Springer, 317−331. (Lecture Notes in Computer Science; 7294).10.1007/978-3-642-29822-6_25.
Ahman, Danel; Chapman, James; Uustalu, Tarmo (2012). When is a container a comonad? Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. Ed. Birkedal, Lars. Berlin: Springer, 74−88. (Lecture Notes in Computer Science; 7213).10.1007/978-3-642-28729-9_5.
Ahman, Danel; Uustalu, Tarmo (2012). Distributive laws of directed containers. 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012: Tallinn, Estonia, 31 March-1 April 2012: Short Contributions. Ed. Pattinson, Dirk; Schröder, Lutz. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 1−3.
Uustalu, Tarmo (2012). Running a centre of excellence in computing in a small country: an experience report (extended abstract). ECSS 2012 : European Computer Science Summit, 19-21 November 2012, Barcelona, Spain. Barcelona: Universitat Politècnica de Catalunya, [1−4].
Uustalu, Tarmo (2012). Arvutiteaduse tippkeskus. Eesti Päevaleht - Eesti Teaduse Tippkeskused, 4.
Uustalu, Tarmo (2012). Centre of Excellence in Computer Science. In: Estonian Centres of Excellence in Research 2012 (4−5).. [Tallinn]: Eesti Teaduste Akadeemia.
Firsov, Denis; Uustalu, Tarmo (2012). Certified CYK parsing of context-free languages. 24th Nordic Workshop on Programming Theory, NWPT 2012, Bergen, Norway, 31 October - 2 November 2012, Abstracts. Bergen: University of Bergen, 1−3. (Reports in Informatics; 403).
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko (2012). Classical call-by-need sequent calculi: the unity of semantic artifacts. Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings. Ed. Schrijvers, Tom; Thiemann, Peter. Berlin: Springer, 32−46. (Lecture Notes in Computer Science; 7294).10.1007/978-3-642-29822-6_6.
Ilik, Danko; Nakata, Keiko (2013). A direct proof of open induction on Cantor space using constructive delimited control operators. Constructive Mathematics: Foundations and Practice, 24-28 of June, Niš, 2013: Book of Abstracts. University of Niš, 37−38.
Rafnsson, Willard; Nakata, Keiko; Sabelfeld, Andrei (2013). Securing class initialization in Java-like languages. IEEE Transactions on Dependable and Secure Computing, 10 (1), 1−13.10.1109/tdsc.2012.73.
Nakata, Keiko; Saar, Andri (2013). Compiling cooperative task management to continuations. Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Ed. Arbab, Farhad; Sirjani, Marjan. Berlin: Springer, 95−110. (Lecture Notes in Computer Science; 8161).10.1007/978-3-642-40213-5_7.
Jeltsch, Wolfgang (2012). Towards a common categorical semantics for linear-time temporal logic and functional reactive programming. Electronic Notes in Theoretical Computer Science, 286, 229−242.10.1016/j.entcs.2012.08.015.
Jeltsch, Wolfgang (2013). Temporal logic with "until", functional reactive programming with processes, and concrete process categories. PLPV '13 : Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, January 22, 2013, Rome, Italy. New York: ACM, 69−78.10.1145/2428116.2428128.
Nemoto, Rena; Adda-Decker, Martine; Durand, Jacques (2012). The Influence of Speaking Style on Lexical f(0) Profiles in French. Proceedings of the 6th International Conference on Speech Prosody 2012 : Shanghai, May 22-25, 2012, Vol.II. Shanghai: Tongji University Press, 673−676.
Nakata, Keiko; Uustalu, Tarmo; Bezem, Marc (2011). A proof pearl with the fan theorem and bar induction walking through infinite trees with mixed induction and coinduction. Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings. Ed. Yang, Hongseok. Berlin: Springer, 353−368. (Lecture Notes in Computer Science; 7078).10.1007/978-3-642-25318-8_26.
Pinto, Luís; Uustalu, Tarmo (2011). Relating sequent calculi for bi-intuitionistic propositional logic. Proceedings Third International Workshop on Classical Logic and Computation (CL&C 2010) : Brno, Czech Republic, 21-22 August 2010. Ed. van Bakel, Steffen; Berardi, Stefano; Berger, Ulrich. Brno: Open Publishing Association, 57−72. (Electronic Proceedings in Theoretical Computer Science; 47).10.4204/eptcs.47.7.
Nakata, Keiko; Uustalu, Tarmo (2010). Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction. Proceedings Seventh Workshop on Structural Operational Semantics (SOS '10) : Paris, France, 30 August 2010. Ed. Aceto, Luca; Sobociński, Paweł. Paris: Open Publishing Association, 57−75. (Electronic Proceedings in Theoretical Computer Science; 32).10.4204/eptcs.32.5.
Capobianco, Silvio; Uustalu, Tarmo (2010). A categorical outlook on cellular automata. Proceedings of JAC 2010 : Journées Automates Cellulaires, December 15-17, 2010, Turku, Finland. Ed. Kari, Jarkko. Turku: Turku Center for Computer Science, 88−99. (TUCS Lecture Notes; 13).
Pinto, Luís; Uustalu, Tarmo (2010). Relating sequent calculi for bi-intuitionistic propositional logic. Classical Logic and Computation [CL&C 2010] : Federated MFCS & CSL Conference, Masaryk University, Brno, Czech Republic [August 21-22, 2010, proceedings]. Ed. van Bakel, Steffen; Berardi, Stefano; Berger, Ulrich. Brno: Masaryk University, 68−85.
Saar, Andri; Uustalu, Tarmo (2010). Reasoning about correctness of transactional memory with operational semantics. Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT '10. Ed. Waldén, Marina; Petre, Luigia. Turku: Turku Centre for Computer Science, 72−75. (TUCS General Publications; 57).
Saar, Andri; Uustalu, Tarmo (2010). Reasoning about correctness of transactional memory with operational semantics. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27.novembril 2010, Essu Mõis. Tallinn: Tallinna Tehnikaülikool, 145−148.
Uustalu, T.; Vain, J. (Guest eds.) (2010). The Journal of Logic and Algebraic Programming. Special Issue on the 20th Nordic Workshop on Programming Theory, NWPT 2008. Amsterdam: Elsevier.10.1016/S1567-8326(10)00074-3.
Nakata, Keiko; Sabelfeld, Andrei (2010). Securing class initialization. Trust Management IV: 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010: Proceedings. Ed. Nishigaki, Masakatsu; Jøsang, Audun; Murayama, Yuko; Marsh, Stephen. Boston: Springer, 48−62. (IFIP Advances in Information and Communication Technology (AICT); 321).10.1007/978-3-642-13446-3_4.
Nakata, Keiko (2010). Denotational semantics for lazy initialization of letrec: black holes as exceptions rather than divergence (extended abstract). Proceedings of the 7th Workshop on Fixed Points in Computer Science, FICS 2010 (Brno, Czech Republic, 21-22 August 2010). Ed. Santocanale, Luigi. Brno: Masarykova Univerzita, 61−67.
Im, Hyeonseung; Nakata, Keiko; Garrigue, Jacques; Park, Sungwoo (2011). A syntactic type system for recursive modules. OOPSLA '11: Proceedings of the 2011 ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications, October 22-27, 2011, Portland, OR, USA. New York: ACM, 993−1012.10.1145/2048066.2048141.
Garrigue, Jacques; Nakata, Keiko (2011). Path resolution for nested recursive modules. Higher-Order and Symbolic Computation, 24 (3), 207−237.10.1007/s10990-012-9083-6.
Im, Hyeonseung; Nakata, Keiko; Garrigue, Jacques; Park, Sungwoo (2011). A syntactic type system for recursive modules. ACM SIGPLAN Notices, 46 (10), 993−1012.10.1145/2076021.2048141.
Nakata, Keiko (2011). Resumption-based big-step and small-step interpreters for While with interactive I/O. Proceedings IFIP Working Conference on Domain-Specific Languages (DSL 2011) : Bordeaux, France, 6-8th September 2011. Ed. Danvy, Oliver; Shan, Chung-chieh. Bordeaux: Open Publishing Association, 226−235. (Electronic Proceedings in Theoretical Computer Science; 66).10.4204/eptcs.66.12.
Nakata, Keiko; Hasegawa, Masahito (2009). Small-step and big-step semantics for call-by-need. Journal of Functional Programming, 19 (6), 699−722.10.1017/S0956796809990219.
Nakata, Keiko; Uustalu, Tarmo (2010). A Hoare logic for the coinductive trace-based big-step semantics of While. Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Paphos, Cyprus, March 20-28, 2010: Proceedings. Ed. Gordon, Andrew D. Berlin: Springer, 488−506. (Lecture Notes in Computer Science; 6012).10.1007/978-3-642-11957-6_26.
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo (2015). Monads need not be endofunctors. Logical Methods in Computer Science, 11 (1), 1−40.10.2168/lmcs-11(1:3)2015.
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo (2014). Relative monads formalised. Journal of Formalized Reasoning, 7 (1), 1−43.10.6092/issn.1972-5787/4389.
Chapman, James; Levy, Paul Blain (2012). Proceedings of the Fourth Workshop on Mathematically Structured Functional Programming [MSFP 2012] : Tallinn, Estonia, 25 March 2012. Open Publishing Association.10.4204/EPTCS.76.
Chapman, James; Dagand, Pierre-Evariste; McBride, Conor; Morris, Peter (2010). The gentle art of levitation. ICFP'10 : Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland, USA. New York: ACM, 3−14.10.1145/1863543.1863547.
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo (2009). Machine assisted proofs in the theory of monads. 21st Nordic Workshop on Programming Theory, NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : Proceedings. Ed. Hansen, Michael R.; Brekling, Aske. Lyngby: Technical University of Denmark, 83−85.
Im, Hyeonseung; Nakata, Keiko; Park, Sungwoo (2013). Contractive signatures with recursive types, type parameters, and abstract types. Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Ed. Fomin, Fedor V.; Rusinš, Freivalds; Kwiatkowska, Marta; Peleg, David. Berlin: Springer, 299−311. (Lecture Notes in Computer Science; 7966).10.1007/978-3-642-39212-2_28.
Uustalu, Tarmo (2012). Structured general corecursion and coinductive graphs. Proceedings 8th Workshop on Fixed Points in Computer Science 2012 (FICS 2012) : Tallinn, Estonia, 24th March 2012. Ed. Miller, Dale and Ésik, Zoltán. Tallinn: Open Publishing Association, 55−61. (Electronic Proceedings in Theoretical Computer Science; 77).10.4204/eptcs.77.8.
Chapman, James; Dagand, Pierre-Evariste; McBride, Conor; Morris, Peter (2010). The gentle art of levitation. ACM SIGPLAN Notices, 3−14.10.1145/1932681.1863547.
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo (2010). Monads need not be endofunctors. Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings. Ed. Ong, Luke. Berlin: Springer, 297−311. (Lecture Notes in Computer Science; 6014).10.1007/978-3-642-12032-9_21.
Capretta, Venanzio; Chapman, James (2010). MSFP'10 : Proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA. New York: ACM.
Haav, Hele-Mai; Küngas, Peep (2014). Semantic data interoperability: the key problem of big data. In: Akerkar, Rajendra (Ed.). Big Data Computing (245−269).. Boca Raton: Chapman and Hall/CRC.10.1201/b16014-10.
Astrova, Irina; Gatziu Grivas, Stella; Schaaf, Marc; Koschel, Arne; Hellwich, Ilja; Kasten, Sven; Vaizovic, Nedim; Wiens, Christoph (2012). Active mechanisms for cloud environments. DigitalWorld 2012 : January 30 - February 4, 2012 - Valencia, Spain. Valencia: IARIA, 109−114.
Astrova, Irina; Koschel, Arne; Schaaf, Marc (2012). Automatic scaling of complex-event processing applications in Eucalyptus. Proceedings, The 15th IEEE International Conference on Computational Science and Engineering, CSE 2012.The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2012 : 5-7 December 2012 / Paphos, Cyprus. Los Alamitos, Calif.: IEEE, 22−29.10.1109/ICCSE.2012.14.
Astrova, Irina; Koschel, Arne; Kalja, Ahto (2013). Cloud-enabled scaling of event processing applications. Cloud Computing 2013 : The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization [Part of ComputationWorld 2013], May 27 - June 1, 2013, Valencia, Spain. Ed. Zimmermann, Wolf; Król, Dariusz; Lee, Yong Woo; Omerovic, Aida. Valencia: IARIA, 73−76.
Astrova, Irina; Koschel, Arne (2013). Distributed OSGi through Apache CXF and Web Services. WEB 2013 : The First International Conference on Building and Exploring Web Based Environments, January 27 - February 1, 2013, Seville, Spain. Ed. Mauri, Jaime Lloret; Dini, Petre. Seville: IARIA, 19−25.
Astrova, Irina; Koschel, Arne; Renners, Leonard; Rossow, Thomas; Schaaf, Marc (2013). Integrating structured peer-to-peer networks into OM4SPACE project. WAINA 2013 : IEEE 27th International Conference on Advanced Information Networking and Applications Workshops, 25-28 March 2013, Barcelona, Catalonia, Spain. Ed. Barolli, L.; Xhafa, F.; Takizawa, M.; Enokido, T.; Hsu, H.-H. IEEE Computer Society, 1211−1216.10.1109/WAINA.2013.88.
Astrova, Irina; Koschel, Arne; Siekmann, Björn; Starrach, Mark; Tebbe, Christopher; Wolf, Stefan; Schaaf, Marc (2013). OSGi in cloud environments. World Academy of Science, Engineering and Technology, 77, 70−80.
Astrova, Irina; Gatziu Grivas, Stella; Schaaf, Marc; Koschel, Arne; Bernhardt, Jan; Kellermeier, Mark Dennis; Nitz, Stefan; Scher, Francisco Carriedo; Herr, Michael (2012). Security of a public cloud. IMIS 2012 : Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 4-6 July 2012, Palermo, Italy. Ed. You, Ilsun; Barolli, Leonard; Gentile, Antonio, et al. IEEE, 564−569.10.1109/IMIS.2012.78.
Maigre, R.; Grigorenko, Pavel; Haav, H.-M.; Kalja, A. (2012). A semantic method of automatic composition of e-government services. Databases and Information Systems, 10th International Baltic Conference on Databases and Information Systems, Baltic DB&IS 2012, Local proceedings, Materials of Doctoral Consortium, (Vilnius, July 8-11 2012). Ed. Caplinskas, A.; Dzemyda, G.; Lupeikene, A.; Vasilecas, O. Vilnius: Žara, 182.
Capobianco, Silvio; Toffoli, Tommaso (2012). Conserved quantities in discrete dynamics: what can be recovered from Noether's theorem, how, and why? Natural Computing, 11 (4), 565−577.10.1007/s11047-012-9336-7.
Grossschmidt, Gunnar; Harf, Mait (2012). Multi-pole modeling and intelligent simulation of technical chain systems (part 1). Proceedings of the 8th International Conference of DAAAM Baltic Industrial Engineering, [vol 2] : 19-21st April 2008, Tallinn, Estonia. Ed. Otto, Tauno. Tallinn: Tallinn University of Technology, 458−463 .
Grossschmidt, Gunnar; Harf, Mait (2012). Multi-pole modeling and intelligent simulation of technical chain systems (part 2). Proceedings of the 8th International Conference of DAAAM Baltic Industrial Engineering, [vol 2] : 19-21st April 2008, Tallinn, Estonia. Ed. Otto,Tauno. Tallinn: Tallinn University of Technology, 464−471 .
Harf, Mait; Grossschmidt, Gunnar (2013). Multi-pole modelling and intelligent simulation environment for fluid power systems. ESM '2013 : The 2013 European Simulation and Modelling Conference, Modelling and Simulation : October 23-25, 2013, Lancaster University, Lancaster, UK, [Proceedings]. Ed. Onggo, Stephan; Kavicka, Antonin. Ostend, Belgium: EUROSIS-ETI, 247−254.
Kalja, Ahto; Põld, Janari; Robal, Tarmo; Vallner, Uuno; Viies, Vladimir (2013). Estonian eGovernment Services: lesson learned. PICMET '13 : Proceedings, Technology Management in the IT-Driven Services [July 28 - August 1, 2013, San Jose, California, USA]. Ed. Kocaoglu, D. F. et al. Portland, Oregon, USA: PICMET, 562−568.
Koschel, Arne; Astrova, Irina; Schaaf, Marc; Ahlers, Volker; Gatziu Grivas, Stella; Kalja, Ahto (2012). Asynchronous messaging for OSGi. ITI 2012 : Proceedings of the 34th International Conference on Information Technology Interfaces, June 25-28, 2012, Cavtat / Dubrovnik, Croatia. Ed. Luzar-Stiffler, Vesna; Jarec, Iva; Bekic, Zoran. IEEE, 99−104.10.2498/iti.2012.0458.
Koschel, Arne; Astrova, Irina; Schaaf, Marc; Ahlers, Volker; Gatziu Grivas, Stella; Kalja, Ahto (2012). Asynchronous messaging for OSGi. Journal of Computing and Information Technology - CIT, 20 (3), 151−157.10.2498/cit.1002091.
Maigre, Riina; Grigorenko, Pavel; Haav, Hele-Mai; Kalja, Ahto (2013). A semantic method of automatic composition of e-government services. Databases and Information Systems VII : Selected Papers from the Tenth International Baltic Conference, DB&IS 2012. Ed. Caplinskas, A.; Dzemyda, G.; Lupeikiene, A.; Vasilecas, O. Amsterdam: IOS Press, 204−217. (Frontiers in Artificial Intelligence and Applications; 249).10.3233/978-1-61499-161-8-204.
Harf, Mait; Grossschmidt, Gunnar (2012). Modeling and simulation of an electro-hydraulic servovalve in an intelligent programming environment. ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis (ESDA2012), July 2-4, 2012, Nantes France, [Proceedings], Vol. 2. New York: ASME, 281−289.10.1115/ESDA2012-82150.
Grossschmidt, Gunnar; Harf, Mait (2012). Modeling and simulation of an electro-hydraulic servo-system in an intelligent programming environment. The 13th Mechatronics Forum International Conference : Proceedings Vol.3/3, September 17-19, 2012, Johannes Kepler University Linz, Austria. Ed. Scheidl, Rudolf; Jakoby, Bernhard. Linz: Trauner, 939−946. (Advances in Mechatronics).
Kotkas, Vahur; Ojamaa, Andres; Grigorenko, Pavel; Maigre, Riina; Harf, Mait; Tyugu, Enn (2011). CoCoViLa as a multifunctional simulation platform. Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques : 21-25 March 2011, Barcelona, Spain, SIMUTools 2011. Brussels: ICST, 195−205.10.4108/icst.simutools.2011.2455.
Grossschmidt, G.; Harf, M. (2010). Simulation of hydraulic circuits in an intelligent programming environment (part 1). Proceedings of the 7th International Conference of DAAAM Baltic Industrial engineering : 22-24th April 2010, Tallinn, Estonia. Ed. Kyttner, R. Tallinn: Tallinn University of Technology, 148−153.
Grossschmidt, G.; Harf, M. (2010). Simulation of hydraulic circuits in an intelligent programming environment (part 2). Proceedings of the 7th International Conference of DAAAM Baltic Industrial engineering : 22-24th April 2010, Tallinn, Estonia. Ed. Kyttner, R. Tallinn: Tallinn University of Technology, 154−161.
Grosschmidt, Gunnar; Harf, Mait (2009). COCO-SIM - object-oriented multi-pole modelling and simulation environment for fluid power systems. Part 1: Fundamentals. International Journal of Fluid Power, 10 (2), 91−100.10.1080/14399776.2009.10780981.
Grossschmidt, Gunnar; Harf, Mait (2009). COCO-SIM - object-oriented multi-pole modelling and simulation environment for fluid power systems. Part 2: Modelling and simulation of hydraulic-mechanical load-sensing system. International Journal of Fluid Power, 10 (3), 71−85.10.1080/14399776.2009.10780990.
Uustalu, Tarmo (2013). Coinductive big-step semantics for concurrency [extended abstract]. PLACES 2013: Programming Language Approaches to Concurrency and Communication-Centric Software (6th International Workshop) : 23rd March 2013, Rome, Italy : Preliminary Proceedings. Ed. Vanderbauwhede, Wim; Yoshida, Nobuko. [s.l.]: [s.n.], 28−33.
Capobianco, Silvio (2011). Generalized Besicovitch and Weyl spaces: topology, patterns, and sliding block codes. Theoretical Computer Science, 412 (30), 3822−3837.10.1016/j.tcs.2011.02.020.
Capobianco, Silvio; Toffoli, Tommaso (2011). Can anything from Noether's theorem be salvaged for discrete dynamical systems? Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011, Proceedings. Heidelberg: Springer, 77−88. (Lecture Notes in Computer Science; 6714).10.1007/978-3-642-21341-0_13.
Capobianco, Silvio; Guillon, Pierre; Kari, Jarkko (2011). Garden-of-Eden-like theorems for amenable groups. AUTOMATA 2011 : 17th International Workshop on Cellular Automata and Discrete Complex Systems, Proceedings, [November 21-23, 2011, Santiago, Chile]. Ed. Fatés, Nazim; Goles, Eric; Maass, Alejandro; Rapaport, Ivan. Santiago: University of Chile, 233−242.
Capobianco, Silvio (2010). On pattern density and sliding block code behavior for the Besicovitch and Weyl pseudo-distances. SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010, Proceedings. Ed. van Leeuwen, J., et al. Berlin: Springer, 259−270. (Lecture Notes in Computer Science; 5901).10.1007/978-3-642-11266-9_22.
Capobianco, Silvio (2009). On the induction operation for shift subspaces and cellular automata as presentations of dynamical systems. Information and Computation, 207 (11), 1169−1180.10.1016/j.ic.2009.02.006.
Capobianco, Silvio (2009). Some notes on Besicovitch and Weyl distances over higher-dimensional configurations. Proceedings of 15th International Workshop on Cellular Automata and Discrete Complex Systems, Automata 2009 : São Jose dos Campos, SP, Brazil, October 10-12, 2009. Ed. de Oliveira, Pedro P.B.; Kari, Jarkko. São Paulo: Universidade Presbiteriana Mackenzie, 300−308.
Ahman, Danel; Chapman, James; Uustalu, Tarmo (2014). When is a container a comonad? Logical Methods in Computer Science, 10 (3), 1−48.10.2168/lmcs-10(3:14)2014.
Jeltsch, Wolfgang (2014). An abstract categorical semantics for functional reactive programming with processes. PLPV '14 : Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, January 21, 2014, San Diego, California, USA. New York: ACM, 47−58.10.1145/2541568.2541573.
(2013). 25th Nordic Workshop on Programming Theory, NWPT 2013: Tallinn, Estonia, 20-22 November 2013, Abstracts. Tallinn: TTÜ Küberneetika Instituut.
Nitz, Stefan; Kleiner, Carsten; Koschel, Arne; Astrova, Irina (2013). Applying event-driven architecture to mobile computing. IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2013) : December 12-15, 2013 - Athens, Greece. IEEE, 000058 −000063.10.1109/ISSPIT.2013.6781854.
Koschel, Arne; Astrova, Irina; Deutschk„mer, Elena; Ester, Jacob; Feldmann, Johannes (2013). Architecture of large-scale systems. World Academy of Science, Engineering and Technology.International Journal of Computer Science and Engineering, 7 (11), 708−717.
Tyugu, Enn; Harf, Mait; Grigorenko, Pavel (2014). A case study of combining compositional and object-oriented software development. MODELSWARD 2014 : Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress, 201−208.10.5220/0004698502010208.
Ojamaa, Andres; Kotkas, Vahur; Spichakova, Margarita; Penjam, Jaan (2013). Developing a lean mass customization based manufacturing. 2013 IEEE 16th International Conference on Computational Science and Engineering, CSE 2013 : Sydney, Australia, 3-5 December, 2013, Proceedings. Piscataway, NJ: IEEE, 28−33.10.1109/CSE.2013.15.
Õim, Haldur; Koit, Mare (2013). Event Representation in Text Understanding. Transfer of Meaning Structures. Proceedings of the International Conference on Knowledge Engineering and Ontology Development: International Conference on Knowledge Engineering and Ontology Development (KEOD-2013), Vilamoura, Algarve, Portugal. Ed. Joaquim Filipe, Jan Dietz. INSTICC, Portugal: SciTEC Publications Ltd, 367−372.
Danilov, Dmitri; Vainikko, Eero (2013). Search Excavator: The Knowledge Discovery Tool. Proceedings of the 22nd ACM international conference on Information and knowledge management: CIKM 2013: The Twenty-Second ACM International Conference on Information and Knowledge Management. ACM, 2525−2528.
Penjam, Jaan (Guest ed.) (2013). Proceedings of the Estonian Academy of Sciences. Selected Papers of the 12th Symposium on Programming Languages and Software Tools, SPLST'11. Tallinn: Estonian Academy Publishers.10.3176/proc.2013.1.01.
Matthes, Ralph; Uustalu, Tarmo (2013). Preface (Special issue for 6th Workshop on Fixed Points in Computer Science, FICS 2009 : Coimbra, Portugal, 2009]. RAIRO - Theoretical informatics and applications, 47 (1), 1−2.10.1051/ita/2012026.
Uustalu, Tarmo; Vain, Jüri (Eds.) (2013). 25th Nordic Workshop on Programming Theory, NWPT 2013 : Tallinn, Estonia, 20-22 November 2013, Abstracts. Tallinn: Institute of Cybernetics at Tallinn University of Technology.
Uustalu, Tarmo (2014). Coherence for skew-monoidal categories. Proceedings 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014. Ed. Levy, Paul; Krishnaswami, Neel. Grenoble: Open Publishing Association, 68−77. (Electronic Proceedings in Theoretical Computer Science; 153).10.4204/eptcs.153.5.
Ahman, Danel; Uustalu, Tarmo (2014). Update monads: cointerpreting directed containers. 19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22-26, 2013, Toulouse, France. Ed. Matthes, Ralph; Schubert, Aleksy. Saarbrücken/Wadern: Dagstuhl Publishing, 1−23. (Leibniz International Proceedings in Informatics; 26).10.4230/lipics.types.2013.1.
Jeltsch, Wolfgang (2014). Categorical semantics for functional reactive programming with temporal recursion and corecursion. Proceedings 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014. Ed. Levy, Paul; Krishnaswami, Neel. Grenoble: Open Publishing Association, 127−142. (Electronic Proceedings in Theoretical Computer Science; 153).10.4204/eptcs.153.9.
Jeltsch, Wolfgang (2014). Categorical semantics for an intuitionistic temporal logic. FINEST MATH 2014 : Fourth Finnish-Estonian Mathematics Colloquium & Finnish Mathematical Days 2014, Book of Abstracts, University of Helsinki, 9-10 January 2014. Helsinki: University of Helsinki, 25.
Koit, Mare (2014). (Semi-)Automatic Analysis of Dialogues. Proceedings of the 6th International Conference on Agents and Artificial Intelligence, 1: 6th International Conference on Agents and Artificial Intelligence, ESEO; Angers, Loire Valley, France; 6 - 8 March, 2014. Ed. Béatrice Duval, Jaap van den Herik, Stephane Loiseau and Joaquim Filipe. Portugal: SciTePress, 445−452.
Õim, Haldur; Koit, Mare (2014). Keele mõistmise modelleerimine arvutil. Semantika, ontoloogia ja sündmuste esitus kahe valdkonna näitel. Keel ja Kirjandus, 3, 169−194.
Ilik, Danko; Nakata, Keiko (2014). A direct version of Veldman's proof of open induction on Cantor space via delimited control operators. 19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22-26, 2013, Toulouse, France. Ed. Matthes, Ralph; Schubert, Aleksy. Saarbrücken/Wadern: Dagstuhl Publishing, 188−201. (Leibniz International Proceedings in Informatics; 26).10.4230/lipics.types.2013.188.
Brzozowski, Janusz; Tamm, Hellis (2014). Theory of átomata. Theoretical Computer Science, 539, 13−27.10.1016/j.tcs.2014.04.016.
Aller, Sven; Gerassimenko, Olga; Hennoste, Tiit; Kasterpalu, Riina; Koit, Mare; Mihkels, Krista; Laanesoo, Kirsi; Rääbis, Andriela (2014). Dialoogide pragmaatilise analüüsi tarkvara. Helle Metslang, Margit Langemets, Maria-Maren Sepper (Toim.). Eesti Rakenduslingvistika Ühingu Aastaraamat = Estonian Papers in Applied Linguistics (23−36).. Eesti Rakenduslingvistika Ühing.10.5128/ERYa.1736-2563.
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. Electronic Notes in Theoretical Computer Science, 308, 25−48.10.1016/j.entcs.2014.10.003.
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. TYPES 2014, Types for Proofs and Programs, 20th Meeting: Paris, 12-15 May 2014, Book of Abstracts. Ed. Herbelin, Hugo; Letouzey, Pierre; Sozeau, Matthieu. [Paris]: [INRIA Paris-Rocquencourt], 17−18.
Koit, Mare; Õim, Haldur (2014). A computational model of argumentation in agreement negotiation processes. Argument & Computation, 5, 209−236.10.1080/19462166.2014.915233.
Koit, Mare (2014). Towards Automatic Recognition of the Negotiation Strategies: Analysis of Human-Human Dialogues. 2014 IEEE International Symposium on Innovations in Intelligent Systems and Applications (INISTA 2014) Proceedings: 2014 IEEE International Symposium on Innovations in Intelligent Systems and Applications (INISTA 2014), Alberobello, 23-25 June 2014. IEEE, 170−176.
Nakata, Keiko; Uustalu, Tarmo (2015). A Hoare logic for the coinductive trace-based big-step semantics of While. Logical Methods in Computer Science, 11, 1−32.10.2168/lmcs-11(1:1)2015.
Firsov, Denis; Uustalu, Tarmo (2014). Certified CYK parsing of context-free languages. Journal of Logical and Algebraic Methods in Programming, 83, 459−468.10.1016/j.jlamp.2014.09.002.
Koit, Mare; Õim, Haldur (2014). Modelling Debates on the Computer. Proceedings of the International Conference on Knowledge Engineering and Ontoly Development: 6th International Conference on Knowledge Engineering and Ontoly Development, Rome, Italy, 21-24 October, 2014. Ed. Joaquim Filipe, Jan Dietz and David Aveiro. SciTEC Publications Ltd, 361−368.
Uustalu, Tarmo (2014). How to contain monads? 26th Nordic Workshop on Programming Theory, NWPT '14, Halmstad, Sweden, 29-31 October 2014, Abstracts. Ed. Mousavi, Mohammad Reza; Taha, Walid. Halmstad: Högskolan i Halmstad, 52−54.
Abel, Andreas; Chapman, James (2014). Normalization by evaluation in the delay monad: an extended case study for coinduction via copatterns and sized types. 26th Nordic Workshop on Programming Theory, NWPT '14, Halmstad, Sweden, 29-31 October 2014, Abstracts. Ed. Mousavi, Mohammad Reza; Taha, Walid. Halmstad: Högskolan i Halmstad, 55−57.
Firsov, Denis; Uustalu, Tarmo (2015). Certified normalization of context-free grammars. CPP '15 : Proceedings of the 2015 ACM Conference on Certified Programs and Proofs, January 13-14, 2015, Mumbai, India. New York: ACM, 167−174.10.1145/2676724.2693177.
Abel, Andreas; Chapman, James (2014). Normalization by evaluation in the delay monad: a case study for coinduction via copatterns and sized types. Proceedings 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014. Ed. Levy, Paul; Krishnaswami, Neel. Grenoble: Open Publishing Association, 51−67. (Electronic Proceedings in Theoretical Computer Science; 153).10.4204/eptcs.153.4.
Tamm, Hellis (2015). Generalization of the double-reversal method of finding a canonical residual finite state automaton. Descriptional Complexity of Formal Systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015, Proceedings. Ed. Shallit, Jeffrey; Okhotin, Alexander. Cham: Springer, 268−279. (Lecture Notes in Computer Science; 9118).10.1007/978-3-319-19225-3_23.
Uustalu, Tarmo (Ed.) (2015). 21st International Conference on Types for Proofs and Programs, TYPES 2015: Tallinn, Estonia, 18-21 May 2015, Abstracts. Tallinn: Institute of Cybernetics at Tallinn University of Technology.
Uustalu, Tarmo (2015). Stateful runners for effectful computations. Electronic Notes in Theoretical Computer Science, 319, 403−421.10.1016/j.entcs.2015.12.024.
Capobianco, Silvio; Kari, Jarkko; Taati, Siamak (2015). Post-surjectivity and balancedness of cellular automata over groups. 21st International Workshop on Cellular Automata and Discrete Complex Systems : Exploratory Papers of AUTOMATA 2015. Ed. Kari, Jarkko; Törmä, Ilkka; Szabados, Michal. Turku: Turku Centre for Computer Science, 31−38. (TUCS Lecture Notes; 24).
Firsov, Denis; Uustalu, Tarmo (2015). Dependently typed programming with finite sets. WGP '15 : Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, August 30, 2015, Vancouver, BC, Canada. New York: ACM, 33−44.10.1145/2808098.2808102.
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò (2015). Quotienting the delay monad by weak bisimilarity. Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Ed. Leucker, Martin; Rueda, Camilo; Valencia, Frank D. Cham: Springer, 110−125. (Lecture Notes in Computer Science; 9399).10.1007/978-3-319-25150-9_8.
Uustalu, Tarmo (2015). Stateful runners for effectful computations. The Thirty-First Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXI : Nijmegen, The Netherlands, June 22-25, 2015 [Preliminary Proceedings]. Ed. Ghica, Dan R. [Birmingham]: University of Birmingham, 232−249.
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. Mathematical Foundations of Programming Semantics: Thirtieth Annual Conference, Cornell University, Ithaca, NY, June 12-15 2014, Preliminary Proceedings. Ed. Jacobs, Bart; Silva, Alexandra; Staton, Sam. [New Orleans, LA]: [Tulane University], 22−43.
Uustalu, Tarmo (2016). A divertimento on MonadPlus and nondeterminism. Journal of Logical and Algebraic Methods in Programming, 85 (5, 2), 1086−1094.10.1016/j.jlamp.2016.06.004.
Capobianco, Silvio; Veltri, Niccolò (2016). An implementation in Agda of Sutner’s decision algorithms for injectivity and surjectivity of one-dimensional cellular automata. Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015). Ed. Aceto, L.; Fábregas, I.; Garcia-Perez, Á.; Ingólfsdóttir, A. Reykjavík: Reykjavík University, 27−29. (Technical report RUTR-SCS16001, School of Computer Science, Reykjavík University).
Grossschmidt, Gunnar; Harf, Mait (2016). Multi-pole modeling and simulation of an electro-hydraulic servo-system in an intelligent programming environment. International Journal of Fluid Power, 17 (1), 1−13.10.1080/14399776.2015.1110093.
Capretta, Venanzio; Uustalu, Tarmo (2016). A coalgebraic view of bar recursion and bar induction. Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Ed. Jacobs, Bart; Löding, Christof. Berlin: Springer, 91−106. (Lecture Notes in Computer Science; 9634).10.1007/978-3-662-49630-5_6.
Spichakova, Margarita (2016). Modified particle swarm optimization algorithm based on gravitational field interactions. Proceedings of the Estonian Academy of Sciences, 65 (1), 15−27.10.3176/proc.2016.1.01.
Reimand Jüri; Arak Tambet; Adler Priit; Kolberg Liis; Reisberg Sulev; Peterson Hedi; Vilo Jaak (2016). g:Profiler-a web server for functional interpretation of gene lists (2016 update). Nucleic Acids Research, gkw199.10.1093/nar/gkw199.
-
Uustalu, T.; Vain, J. (Guest eds.) (2016). Journal of Logical and Algebraic Methods in Programming. Special issue on the 25th Nordic Workshop on Programming Theory, NWPT '13, Tallinn, Estonia, 20-22 November 2013. Elsevier.10.1016/j.jlamp.2016.10.004.