Hans Olsson

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 5

Top Topics

Formal Specification Language

Top Venues

Publications

Hans Olsson
Flow Network based Diagnostics for Incorrect Synchronous Models. Modelica (2019)
Erik Henningsson, Hans Olsson, Luigi Vanfretti
DAE Solvers for Large-Scale Hybrid Models. Modelica (2019)
Hans Olsson, Sven Erik Mattsson, Martin Otter, Andreas Pfeiffer, Christoff Bürger, Dan Henriksson
Model-based Embedded Control using Rosenbrock Integration Methods. Modelica (2017)
Rüdiger Franke, Sven Erik Mattsson, Martin Otter, Karl Wernersson, Hans Olsson, Lennart Ochel, Torsten Blochwitz
Discrete-time models for control applications with FMI. Modelica (2017)
Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. ISSE (2016)
Zsolt Cselényi, Hans Olsson, Christer Halldin, Balázs Gulyás, Lars Farde
C]WAY 100635. NeuroImage 32 (4) (2006)
Hans Olsson, Christer Halldin, Lars Farde
Differentiation of extrastriatal dopamine D2 receptor density and affinity in the human brain using PET. NeuroImage 22 (2) (2004)
Zsolt Cselényi, Hans Olsson, Lars Farde, Balázs Gulyás
C]FLB 457. NeuroImage 17 (1) (2002)
Andrzej Lingas, Hans Olsson, Anna Östlin
Efficient Merging and Construction of Evolutionary Trees. J. Algorithms 41 (1) (2001)
Hans Olsson, Lars Farde
Potentials and Pitfalls Using High Affinity Radioligands in PET and SPET Determinations on Regional Drug Induced D2 Receptor Occupancy - A Simulation Study Based on Experimental Data. NeuroImage 14 (4) (2001)
Andrzej Lingas, Hans Olsson, Anna Östlin
Efficient Merging, Construction, and Maintenance of Evolutionary Trees. ICALP (1999)
Hans Olsson, Gustaf Söderlind
Stage Value Predictors and Efficient Newton Iterations in Implicit Runge-Kutta Methods. SIAM J. Sci. Comput. 20 (1) (1998)
Anders Dessmark, Andrzej Lingas, Hans Olsson, Hiroaki Yamamoto
Optimal Broadcasting in Almost Trees and Partial k-trees. STACS (1998)
Hans Olsson
Object-Oriented Solvers for Initial Value Problems. SciTools (1996)