• Suomi

Julkaisut 1977 2020

Suodatin
Kokoomateos tai erikoisnumero
2018

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

Parida, L. (toim.) & Ukkonen, E. (toim.), 26 heinäkuuta 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Leibniz International Proceedings in Informatics; Vuosikerta 113)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

MaxSAT Evaluation 2018: Solver and Benchmark Descriptions

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinen

Open access
Tiedosto

Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions

Heule, M. J. H. (toim.), Järvisalo, M. J. (toim.) & Suda, M. (toim.), 2018, Helsinki: Department of Computer Science, University of Helsinki. 77 Sivumäärä (Department of Computer Science Series of Publications B; Vuosikerta B-2018-1)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinen

Open access
Tiedosto

Web Engineering: 18th International Conference, ICWE 2018

Mikkonen, T. (toim.), Klamma, R. (toim.) & Hernandez, J. (toim.), 2018, Springer. 524 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10845)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

2017

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto

MaxSAT Evaluation 2017: Solver and Benchmark Descriptions

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto

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 Sivumäärä (Series of Publications B; Vuosikerta B-2017-1)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto
2016

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Digital Scholarship in the Humanities: Special Issue on Studia Stemmatologica

Heikkilä, T. (toim.) & Roos, T. (toim.), syyskuuta 2016, Oxford University Press. (Digital Scholarship in the Humanities; Vuosikerta 31, nro 3)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Proceedings of Artificial Intelligence and Natural Language AINL FRUCT 2016 Conference

Balandin, S. (toim.), Filchenkov, A. (toim.), Pivovarova, L. (toim.) & Zizka, J. (toim.), 2016, FRUCT Oy. 130 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroAmmatillinen

Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto
2015

Advances in Independent Component Analysis and Learning Machines

Bingham, E. E. (toim.), Kaski, S. J. I. (toim.), Laaksonen, J. (toim.) & Lampinen, J. (toim.), 2015, Amsterdam: Elsevier Scientific Publ. Co. 296 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Proceedings of the 17th International Configuration Workshop

Tiihonen, J. T. (toim.), Falkner, A. (toim.) & Axling, T. (toim.), 28 syyskuuta 2015, Aachen: Rheinisch-Westfaelische Technische Hochschule Aachen. 153 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta 1453)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto

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

Toivonen, H. T. T. (toim.), Colton, S. (toim.), Cook, M. (toim.) & Ventura, D. (toim.), 2015, Provo, UT: Brigham Young University. 322 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Iliopoulos, C. S. (toim.), Puglisi, S. J. (toim.) & Yilmaz, E. (toim.), 2015, Cham: Springer International Publishing AG. 373 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 9309)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Blankertz, B. (toim.), Jacucci, G. (toim.), Gamberini, L. (toim.), Spagnolli, A. (toim.) & Freeman, J. (toim.), 2015, Cham: Springer International Publishing AG. 178 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 9359)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

2014

Algorithmic Learning Theory

Kivinen, J. (toim.), Szepesvári, C. (toim.) & Zeugmann, T. (toim.), 2014, Elsevier Scientific Publ. Co. 170 Sivumäärä (Theoretical Computer Science; Vuosikerta 519)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Tiedosto

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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. (toim.), Kuvaja, P. (toim.), Kuhrmann, M. (toim.), Münch, J. (toim.), Männistö, T. (toim.) & Raatikainen, M. (toim.), 2014, Cham: Springer. 328 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 8892)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Jacucci, G. (toim.), Gamberini, L. (toim.), Freeman, J. (toim.) & Spagnolli, A. (toim.), 2014, Cham: Springer International Publishing AG. 143 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 8820)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Unifying Product and Software Configuration: Report from Dagstuhl Seminar 14172

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroAmmatillinen

Open access
Tiedosto
2013

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

100 Tales of Flying Finns to Cloud Software Development

Kettunen, P. (toim.) & Oivo, M. (toim.), 2013, Cloud Software Finland. 248 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Internet of Things Finland Magazine

Varjonen, S. (toim.), 2013, Helsinki: TIVIT Cloud Software Finland. 43 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Tiedosto

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

Münch, J. (toim.), Lane, J. A. (toim.) & Zhang, J. (toim.), 2013, ACM. 180 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Enck, W. (toim.), Porter Felt, A. (toim.) & Asokan, N. (toim.), 2013, New York: ACM. 112 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Järvisalo, M. (toim.) & Van Gelder, A. (toim.), 2013, Springer-Verlag. 437 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 7962)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

2012

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

Kärkkäinen, J. (toim.) & Stoye, J. (toim.), 2012, Springer-Verlag. (Lecture Notes in Computer Science; Vuosikerta 2012, nro 7354)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Büren, G. (toim.), Dumke, R. (toim.), Ebert, C. (toim.) & Münch, J. (toim.), 2012, Shaker . 250 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Multi-source, Multilingual Information Extraction and Summarization

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Neurocomputing, Special Issue on Machine Learning for Signal Processing 2010

Peltonen, J. (toim.), Raiko, T. (toim.) & Kaski, S. (toim.), 2012, Elsevier Scientific Publ. Co. 128 Sivumäärä (¨Neurocomputing; Vuosikerta 80)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Kangasharju, J. (toim.) & Bogoiavlenskii, I. A. (toim.), 2012, Helsinki: University of Helsinki. 102 Sivumäärä (Department of Computer Science Series of Publications B; nro B-2012-3)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto

Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Open access
Tiedosto

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

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

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Tiedosto
2011

2011 15th IEEE International EDOC enterprise computing conference: Proceedings

Johnson, P. (toim.), Chi, C-H. (toim.) & Kutvonen, L. (toim.), 29 elokuuta 2011, Los Alamitos, CA: IEEE Computer Society. 278 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

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

Johnson, P. (toim.), Chi, C-H. (toim.) & Kutvonen, L. (toim.), 29 elokuuta 2011, Los Alamitos, CA: IEEE Computer Society. 460 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Algorithmic Learning Theory: 22nd International Conference, Proceedings

Kivinen, J. (toim.), Szepesvári, C. (toim.), Ukkonen, E. (toim.) & Thomas, Z. (toim.), 2011, Springer-Verlag. 451 Sivumäärä (Lecture Notes in Artificial Intelligence; Vuosikerta 6925)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu