Jussi Lahtinen

Model checking of safety-critical software in the nuclear engineering domain

Jussi Lahtinen, Janne Valkonen, Kim Björkman et al. · Reliability Engineering & System Safety · 2012 · 65 citations

Engineering, Computer Engineering, Nuclear Engineering +16

A toolset for model checking of PLC software

Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen et al. · 2013 · 27 citations

Computing, Computer Engineering, Computer Science +12

Supervised model-based visualization of high-dimensional data

Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki et al. · Intelligent Data Analysis · 2000 · 26 citations

Computing, Visualization, Data Visualization +8

Durable and sustainable smart tags for identity management and condition monitoring: Case study for reusable packaging and recyclable data carriers

Liisa Hakola, Elina Hakola, Sarianna Palola et al. · Packaging Technology and Science · 2023 · 22 citations · Full text

Agriculture, Environmental Engineering, Food Packaging +16

Poly(butylene succinate-co-adipate)/poly(hydroxybutyrate) blend films and their thermal, mechanical and gas barrier properties

Enni Luoma, Teijo Rokkonen, Amélie Tribot et al. · Polymers from Renewable Resources · 2022 · 16 citations

Natural Sciences, Materials Engineering, Materials Science +17