Concepedia

Emilia Oikarinen

EO

9

Publications

220

Citations

9

H-Index

2006

Active since

Affiliations

University of Helsinki(Current)

Emilia Oikarinen is an author at University of Helsinki specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisFormal VerificationVerificationLogic ProgrammingSystems Engineering

Publications per year

2006–2021

9

Publications

9

Modular Equivalence for Normal Logic Programs

Emilia Oikarinen, Tomi Janhunen · European Conference on Artificial Intelligence · 2006 · 71 citations

Applied Logic, Computational Logic, Engineering +14

Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs

Emilia Oikarinen, Tomi Janhunen · Theory and Practice of Logic Programming · 2008 · 40 citations

Engineering, Verification, Well-founded Semantics +20

Detecting virtual concept drift of regressors without ground truth values

Emilia Oikarinen, Henri Tiittanen, Andreas Henelius et al. · Data Mining and Knowledge Discovery · 2021 · 28 citations · Full text

Convergence in the distribution patterns of Europe’s plants and mammals is due to environmental forcing

Hannes Heikinheimo, Jussi T. Eronen, Alexander N. Sennikov et al. · Journal of Biogeography · 2012 · 24 citations · Full text

Plant Associations, Spatial Ecology, Engineering +19

Characterizing strong equivalence for argumentation frameworks

Emilia Oikarinen, Stefan Woltran · Artificial Intelligence · 2011 · 15 citations

Engineering, Argumentation Analysis, Argumentation Framework +8

Rows per page

1–5 of 9