Publications 1973 2025

Filter
Software

python-webis: Python wrapper for the webis Twitter sentiment evaluation ensemble

Fink, C. A., 23 Jan 2019

Research output: Non-textual formSoftwareScientific

Open Access
2018

k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks

Niskanen, A. J. A., 6 Jul 2018

Research output: Non-textual formSoftwareScientific

Open Access
2017

LMHS 2017

Saikko, P. H. A. & Järvisalo, M. J., 10 Aug 2017

Research output: Non-textual formSoftwareScientific

MaxPre: An Extended MaxSAT Preprocessor

Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017

Research output: Non-textual formSoftwareScientific

2016

AbHS: A propositional abduction solver based on the implicit hitting set paradigm

Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016

Research output: Non-textual formSoftwareScientific

AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples

Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 10 Aug 2016

Research output: Non-textual formSoftwareScientific

Digital Me server

Sjöberg, M. V., 2016

Research output: Non-textual formSoftwareScientific

2015

Gap2Seq

Salmela, L. M., Sahlin, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Research output: Non-textual formSoftwareScientific

LMHS: A SAT-IP Hybrid MaxSAT solver

Saikko, P. H. A. & Järvisalo, M. J., 2015

Research output: Non-textual formSoftwareScientific

Musicreatures

Myllys, P. & Toivonen, H., 1 Feb 2015

Research output: Non-textual formSoftwareScientific

On representing graphs as membership digraphs - A proof scenario checked by Referee

Omodeo, E. & Tomescu, A. I., 2015

Research output: Non-textual formSoftwareScientific

SNV-PPILP

van Rens, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Research output: Non-textual formSoftwareScientific

2014

LoRDEC

Salmela, L. M. & Rivals, E., 2014

Research output: Non-textual formSoftwareScientific

2012

Implementation of Y.1731 for Linux

Varjonen, S., Oct 2012

Research output: Non-textual formSoftwareScientific

2011

Coral

Salmela, L., 2011

Research output: Non-textual formSoftwareScientific

Kassu-ontologia (Kasvien suomenkieliset nimet)

Tuominen, J., Laurenne, N., Kurtto, A., Junikka, L. & Hyvönen, E., 2011

Research output: Non-textual formSoftwareScientific

MIP Scaffolder

Salmela, L., 2011

Research output: Non-textual formSoftwareScientific

UI prototype for collecting feedback and presenting reputation, and Reputation system prototype: Deliverable D6.3.2.1 and D6.3.2.2

Hankalahti, A., Lehtimäki, M., Niinivaara, O., Ruohomaa, S. S., Shen, Y. & Tulilaulu, A. E., 27 May 2011

Research output: Non-textual formSoftwareScientific

2010

Generalized Compressed Suffix Array

Sirén, J., 2010

Research output: Non-textual formSoftwareScientific

Hybrid SHREC

Salmela, L., 2010

Research output: Non-textual formSoftwareScientific

InvCoal

Kollin, J. J., 2010

Research output: Non-textual formSoftwareScientific

2009

MOODS

Korhonen, J. H., Petri, M., Rastas, P. M. A., Pizzi, C. & Ukkonen, E., 2009

Research output: Non-textual formSoftwareScientific

Run-Length Compressed Suffix Array

Sirén, J., 2009

Research output: Non-textual formSoftwareScientific

2007

Type and hapax accumulation curves

Suomela, J., 2007

Research output: Non-textual formSoftwareScientific