Department of Computer Science

  • Finland

Publications 1977 2020

Filter
Anthology or special issue
2018

18th International Workshop on Algorithms in Bioinformatics (WABI 2018)

Parida, L. (ed.) & Ukkonen, E. (ed.), 26 Jul 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Leibniz International Proceedings in Informatics; vol. 113)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access

Artificial Intelligence and Natural Language: 6th Conference, AINL 2017, St. Petersburg, Russia, September 20–23, 2017, Revised Selected Papers

Filchenkov, A. (ed.), Pivovarova, L. (ed.) & Zizka, J. (ed.), 2018, Cham: Springer International Publishing AG. (Communications in Computer and Information Science; vol. 789)

Research output: Book/ReportAnthology or special issueScientificpeer-review

MaxSAT Evaluation 2018: Solver and Benchmark Descriptions

Bacchus, F. (ed.), Järvisalo, M. J. (ed.) & Martins, R. (ed.), 2018, Helsinki: Department of Computer Science, University of Helsinki. 47 p. (Department of Computer Science Series of Publications B; vol. B-2018-2)

Research output: Book/ReportAnthology or special issueScientific

Open Access
File

Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions

Heule, M. J. H. (ed.), Järvisalo, M. J. (ed.) & Suda, M. (ed.), 2018, Helsinki: Department of Computer Science, University of Helsinki. 77 p. (Department of Computer Science Series of Publications B; vol. B-2018-1)

Research output: Book/ReportAnthology or special issueScientific

Open Access
File

Web Engineering: 18th International Conference, ICWE 2018

Mikkonen, T. (ed.), Klamma, R. (ed.) & Hernandez, J. (ed.), 2018, Springer. 524 p. (Lecture Notes in Computer Science; vol. 10845)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2017

28th Annual Symposium on Combinatorial Pattern Matching: CPM 2017, July 4-6, 2017, Warsaw, Poland

Kärkkäinen, J. (ed.), Radoszewski, J. (ed.) & Rytter, W. (ed.), Jul 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 78)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File

MaxSAT Evaluation 2017: Solver and Benchmark Descriptions

Ansotegui, C. (ed.), Bacchus, F. (ed.), Järvisalo, M. (ed.) & Martins, R. (ed.), 2017, Helsinki: Department of Computer Science, University of Helsinki. 41 p. (Series of Publications B; vol. B-2017-2)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File

Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions

Balyo, T., Heule, M. J. H. & Järvisalo, M., 2017, Helsinki: Department of Computer Science, University of Helsinki. 61 p. (Series of Publications B; vol. B-2017-1)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File
2016

Combinatorial Algorithms: 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

Mäkinen, V. (ed.), Puglisi, S. J. (ed.) & Salmela, L. (ed.), 2016, Cham: Springer International Publishing . 434 p. (Theoretical Computer Science and General Issues; vol. 9843)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Digital Scholarship in the Humanities: Special Issue on Studia Stemmatologica

Heikkilä, T. (ed.) & Roos, T. (ed.), Sep 2016, Oxford University Press. (Digital Scholarship in the Humanities; vol. 31, no. 3)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of Artificial Intelligence and Natural Language AINL FRUCT 2016 Conference

Balandin, S. (ed.), Filchenkov, A. (ed.), Pivovarova, L. (ed.) & Zizka, J. (ed.), 2016, FRUCT Oy. 130 p.

Research output: Book/ReportAnthology or special issueProfessional

Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions

Balyo, T., Heule, M. J. H. & Järvisalo, M. J. (ed.), 2016, Helsinki: University of Helsinki. 77 p. (Department of Computer Science Series of Publications B; vol. B-2016-1)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File
2015

Advances in Independent Component Analysis and Learning Machines

Bingham, E. E. (ed.), Kaski, S. J. I. (ed.), Laaksonen, J. (ed.) & Lampinen, J. (ed.), 2015, Amsterdam: Elsevier Scientific Publ. Co. 296 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Mobile Computing, Applications, and Services: 7th International Conference, MobiCASE 2015 Berlin, Germany, November 12-13, 2015 Revised Selected Papers

Sigg, S. (ed.), Nurmi, P. (ed.) & Salim, F. (ed.), 2015, Springer. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; no. 162)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of the 17th International Configuration Workshop

Tiihonen, J. T. (ed.), Falkner, A. (ed.) & Axling, T. (ed.), 28 Sep 2015, Aachen: Rheinisch-Westfaelische Technische Hochschule Aachen. 153 p. (CEUR Workshop Proceedings; vol. 1453)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access

Proceedings of the Eighth Workshop on Information Theoretic Methods in Science and Engineering

Rissanen, J. J. (ed.), Harremoës, P. (ed.), Forchhammer, S. (ed.), Roos, T. T. (ed.) & Myllymäki, P. J. (ed.), 2015, Helsinki: University of Helsinki, Department of Computer Science. 53 p. (Series of Publications B; vol. B-2015-1)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File

Proceedings of the Sixth International Conference on Computational Creativity: Park City, UT, USA, June 29-2 July 2 2015

Toivonen, H. T. T. (ed.), Colton, S. (ed.), Cook, M. (ed.) & Ventura, D. (ed.), 2015, Provo, UT: Brigham Young University. 322 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

String Processing and Information Retrieval: 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

Iliopoulos, C. S. (ed.), Puglisi, S. J. (ed.) & Yilmaz, E. (ed.), 2015, Cham: Springer International Publishing AG. 373 p. (Lecture Notes in Computer Science; vol. 9309)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Symbiotic Interaction: 4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7–8, 2015, Proceedings

Blankertz, B. (ed.), Jacucci, G. (ed.), Gamberini, L. (ed.), Spagnolli, A. (ed.) & Freeman, J. (ed.), 2015, Cham: Springer International Publishing AG. 178 p. (Lecture Notes in Computer Science; vol. 9359)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2014

Algorithmic Learning Theory

Kivinen, J. (ed.), Szepesvári, C. (ed.) & Zeugmann, T. (ed.), 2014, Elsevier Scientific Publ. Co. 170 p. (Theoretical Computer Science; vol. 519)

Research output: Book/ReportAnthology or special issueScientificpeer-review

EAI Endorsed Transactions on Ambient Systems: Special Issue: "USCIAMO: Urban Sustainable, Collaborative and Adaptive MObility"

Castellani, S. (ed.), Gabrielli, S. (ed.), Jylhä, A. (ed.) & Willamowski, J. (ed.), 2014, Gent: ICST. (ICST Transactions on Ambient Systems; vol. 14, no. 4)

Research output: Book/ReportAnthology or special issueScientificpeer-review

MetriKon - Praxis der Software-Messung: Tagungsband des DASMA Software Metrik Kongresses MetriKon 2014, 6.-7. November 2014, Vector Consulting Services, Stuttgart

Büren, G. (ed.), Dumke, R. R. (ed.), Ebert, C. (ed.), Münch, J. (ed.) & Seufert, M. (ed.), 2014, Aachen: Shaker . 205 p. (Magdeburger Schriften zum Empirischen Software Engineering)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings, 14th IEEE International Conference on Data Mining: 14–17 December 2014 Shenzhen, China

Kumar, R. (ed.), Toivonen, H. (ed.), Pei, J. (ed.), Huang, J. Z. (ed.) & Wu, X. (ed.), 2014, Los Alamitos, Calif.: IEEE Computer Society. 1146 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions

Belov, A. (ed.), Diepold, D. (ed.), Heule, M. J. H. (ed.) & Järvisalo, M. (ed.), 2014, Helsinki: University of Helsinki. 108 p. (Department of Computer Science Series of Publications B; vol. B-2014-2)

Research output: Book/ReportAnthology or special issueScientificpeer-review

File

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics: AISTATS 2014

Kaski, S. (ed.) & Corander, J. (ed.), 2014, Journal of Machine Learning Research. (JMLR W&CP; vol. 33)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of the Seventh Workshop on Information Theoretic Methods in Science and Engineering

Rissanen, J. J. (ed.), Myllymäki, P. J. (ed.), Roos, T. T. (ed.) & Santhanam, N. P. (ed.), 2014, Helsinki: University of Helsinki, Department of Computer Science. 34 p. (Series of Publications B; vol. B-2014-4)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Product-Focused Software Process Improvement: Proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, Helsinki, Finland, December 10-12, 2014

Jedlitschka, A. (ed.), Kuvaja, P. (ed.), Kuhrmann, M. (ed.), Münch, J. (ed.), Männistö, T. (ed.) & Raatikainen, M. (ed.), 2014, Cham: Springer. 328 p. (Lecture Notes in Computer Science; vol. 8892)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014 : Helsinki, Finland, December 10-12, 2014 : Proceedings Volume 2

Fagerholm, F. (ed.), Paasivaara, M. (ed.), Jedlitschka, A. (ed.), Kuvaja, P. (ed.), Kuhrmann, M. (ed.), Männistö, T. (ed.), Münch, J. (ed.) & Raatikainen, M. (ed.), 2014, Helsinki: University of Helsinki, Department of Computer Science. 41 p. (Publication series B; no. 2014, 3)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Symbiotic Interaction: Third International Workshop, Symbiotic 2014, Helsinki, Finland, October 30-31, 2014, Proceedings

Jacucci, G. (ed.), Gamberini, L. (ed.), Freeman, J. (ed.) & Spagnolli, A. (ed.), 2014, Cham: Springer International Publishing AG. 143 p. (Lecture Notes in Computer Science; vol. 8820)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Unifying Product and Software Configuration: Report from Dagstuhl Seminar 14172

Czarnecki, K. (ed.), Hubaux, A. (ed.), Jackson, E. (ed.), Jannach, D. (ed.) & Männistö, T. M. (ed.), 2014, Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 35 p. (Dagstuhl Reports; vol. 4, no. 4)

Research output: Book/ReportAnthology or special issueProfessional

Open Access
File
2013

[Proceedings of the] WITMSE2013, The Sixth Workshop on Information Theoretic Methods in Science and Engineering, 26-29 August, Tokyo, Japan

Rissanen, J. (ed.), Myllymäki, P. (ed.), Roos, T. (ed.), Yamanishi, K. (ed.) & Tabus, I. (ed.), 2013, Tokyo: University of Tokyo. 95 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

100 Tales of Flying Finns to Cloud Software Development

Kettunen, P. (ed.) & Oivo, M. (ed.), 2013, Cloud Software Finland. 248 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Internet of Things Finland Magazine

Varjonen, S. (ed.), 2013, Helsinki: TIVIT Cloud Software Finland. 43 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

MetriKon 2013: Praxis der Software-Messung: Tagungsband des DASMA Software Metrik Kongresses MetriKon 2013

Büren, G. (ed.), Dumke, R. R. (ed.), Ebert, C. (ed.), Münch, J. (ed.) & Seufert, M. (ed.), 2013, Magdeburg: Shaker . 348 p. (Magdeburger Schriften zum Empirischen Software Engineering)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach

Münch, J. (ed.) & Schmid, K. (ed.), 2013, Springer Science+Business Media.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions

Balint, A. (ed.), Belov, A. (ed.), Heule, M. J. H. (ed.) & Järvisalo, M. (ed.), 2013, Helsinki: University of Helsinki. 128 p. (Department of Computer Science Series of Publications B; vol. B-2013-1)

Research output: Book/ReportAnthology or special issueScientificpeer-review

File

Proceedings of the International Conference on Software and Systems Process (ICSSP’13)

Münch, J. (ed.), Lane, J. A. (ed.) & Zhang, J. (ed.), 2013, ACM. 180 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of the Third ACM Workshop on Security and Privacy in Smartphones & Mobile Devices

Enck, W. (ed.), Porter Felt, A. (ed.) & Asokan, N. (ed.), 2013, New York: ACM. 112 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 2013, Proceedings.

Järvisalo, M. (ed.) & Van Gelder, A. (ed.), 2013, Springer-Verlag. 437 p. (Lecture Notes in Computer Science; vol. 7962)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Huth, M. (ed.), Asokan, N. (ed.), Capkun, S. (ed.), Flechais, I. (ed.) & Coles-Kemp, L. (ed.), 2013, Springer Science+Business Media. (Lecture Notes in Computer Science; vol. 7904)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2012

Combinatorial Pattern Matching: 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings

Kärkkäinen, J. (ed.) & Stoye, J. (ed.), 2012, Springer-Verlag. (Lecture Notes in Computer Science; vol. 2012, no. 7354)

Research output: Book/ReportAnthology or special issueScientificpeer-review

MetriKon 2012 - Praxis der Software-Messung: Tagungsband des DASMA Software Metrik Kongresses MetriKon 2012

Translated title of the contribution: MetriKon 2012 - Applied Software Measurement: Proceedings of the DASMA software measurement conference 2012Büren, G. (ed.), Dumke, R. (ed.), Ebert, C. (ed.) & Münch, J. (ed.), 2012, Shaker . 250 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Multi-source, Multilingual Information Extraction and Summarization

Poibeau, T. (ed.), Saggion, H. (ed.), Piskorski, J. (ed.) & Yangarber, R. (ed.), 2012, Berlin, Heidelberg: Springer-Verlag. (Theory and Applications of Natural Language Processing)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Neurocomputing, Special Issue on Machine Learning for Signal Processing 2010

Peltonen, J. (ed.), Raiko, T. (ed.) & Kaski, S. (ed.), 2012, Elsevier Scientific Publ. Co. 128 p. (¨Neurocomputing; vol. 80)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Proceedings of AMICT 2010-2011: Advances in Methods of Information and Communication Technology

Kangasharju, J. (ed.) & Bogoiavlenskii, I. A. (ed.), 2012, Helsinki: University of Helsinki. 102 p. (Department of Computer Science Series of Publications B; no. B-2012-3)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File

Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions

Balint, A. (ed.), Belov, A. (ed.), Diepold, D. (ed.), Gerber, S. (ed.), Järvisalo, M. (ed.) & Sinz, C. (ed.), 2012, Helsinki: University of Helsinki. 92 p. (Department of Computer Science Series of Publications B; vol. B-2012-2)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Open Access
File

Proceedings of the Fifth Workshop on Information Theoretic Methods in Science and Engineering (WITMSE-2012)

de Rooij, S. (ed.), Kotlowski, W. (ed.), Rissanen, J. (ed.), Myllymäki, P. (ed.), Roos, T. (ed.) & Yamanishi, K. (ed.), 2012, Amsterdam: Centrum Wiskunde & Informatica (CWI). 91 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

File
2011

2011 15th IEEE International EDOC enterprise computing conference: Proceedings

Johnson, P. (ed.), Chi, C-H. (ed.) & Kutvonen, L. (ed.), 29 Aug 2011, Los Alamitos, CA: IEEE Computer Society. 278 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

2011 15th IEEE International EDOC enterprise computing conference workshops: Proceedings

Johnson, P. (ed.), Chi, C-H. (ed.) & Kutvonen, L. (ed.), 29 Aug 2011, Los Alamitos, CA: IEEE Computer Society. 460 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Algorithmic Learning Theory: 22nd International Conference, Proceedings

Kivinen, J. (ed.), Szepesvári, C. (ed.), Ukkonen, E. (ed.) & Thomas, Z. (ed.), 2011, Springer-Verlag. 451 p. (Lecture Notes in Artificial Intelligence; vol. 6925)

Research output: Book/ReportAnthology or special issueScientificpeer-review