Henrik Eriksson

Technol. Anal. Strateg. Manag., 2023

2021

Planning a holistic summative eHealth evaluation in an interdisciplinary and multi-national setting: a case study and propositions for guideline development.

[BibT_eX]

[DOI]

Monika Jurkeviciute

Amia Enam

Johanna Torres-Bonilla

José Mairton B. da Silva Jr.

BMC Medical Informatics Decis. Mak., 2021

Dynamic Clustering in Federated Learning.

[BibT_eX]

[DOI]

Carlo Fischione

Proceedings of the ICC 2021, 2021

2019

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

Absorbability, applicability and availability in nursing and care robots: A thematic analysis of Twitter postings.

[BibT_eX]

[DOI]

Martin Salzmann-Erikson

Telematics Informatics, 2018

PhD students' presenting, staging and announcing their educational status - An analysis of shared images in social media.

[BibT_eX]

[DOI]

Martin Salzmann-Erikson

Comput. Educ., 2018

2017

Paving the roadway for safety of automated vehicles: An empirical study on testing challenges.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Software-related challenges of testing automated vehicles.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Towards state-of-the-art and future trends in testing of active safety systems.

[BibT_eX]

[DOI]

Alessia Knauss

Christian Berger

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Dynamic Multicore Processing for Pandemic Influenza Simulation.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2016, 2016

2015

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. IoT Infrastructures, 2015

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

A Flexible Simulation Architecture for Pandemic Influenza Simulation.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2015, 2015

The Nurse Watch: Design and Evaluation of a Smart Watch Application with Vital Sign Monitoring and Checklist Reminders.

[BibT_eX]

[DOI]

Katarina Solnevik

Proceedings of the AMIA 2015, 2015

2014

Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Supporting Instructors' Decision Making in Simulator-Based Training for Crisis Management.

[BibT_eX]

[DOI]

Rita Kovordányi

Jelle Pelfrene

Proceedings of the 11th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2014

2013

Visualization of Infectious Disease Outbreaks in Routine Practice.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2013, 2013

2012

Message classification as a basis for studying command and control communications - an evaluation of machine learning approaches.

[BibT_eX]

[DOI]

Ola Leifler

J. Intell. Inf. Syst., 2012

Analysis tools in the study of distributed decision-making: a meta-study of command and control research.

[BibT_eX]

[DOI]

Ola Leifler

Cogn. Technol. Work., 2012

Automated text-based analysis for decision-making research.

[BibT_eX]

[DOI]

Ola Leifler

Cogn. Technol. Work., 2012

Instructor's tasks in crisis management training.

[BibT_eX]

[DOI]

Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

Real-time support for exercise managers' situation assessment and decision making.

[BibT_eX]

[DOI]

Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

2011

Developing a DUI Based Operator Control Station - A Case Study of the Marve Framework.

[BibT_eX]

[DOI]

Anders Fröberg

Erik Berglund

Proceedings of the Distributed User Interfaces, 2011

Training systems design: bridging the gap between users and developers using storyboards.

[BibT_eX]

[DOI]

Proceedings of the ECCE 2011, 2011

Variable uncertainty: scenario design for training adaptive and flexible skills.

[BibT_eX]

[DOI]

Proceedings of the ECCE 2011, 2011

2010

Web 2.0 Systems Supporting Childhood Chronic Disease Management: Design Guidelines Based on Information Behaviour and Social Learning Theories.

[BibT_eX]

[DOI]

J. Medical Syst., 2010

Words with Intervening Neighbours in Infinite Coxeter Groups are Reduced.

[BibT_eX]

[DOI]

Electron. J. Comb., 2010

MODIFI: A MODel-Implemented Fault Injection Tool.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2010

Generic Fault Modelling for Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Conjugacy of Coxeter Elements.

[BibT_eX]

[DOI]

Electron. J. Comb., 2009

Custom layout strategy for rectangle-shaped log-depth multiplier reduction tree.

[BibT_eX]

[DOI]

Patrik Kimfors

Niklas Broman

Andreas Haraldsson

Kasyab P. Subramaniyan

Magnus Själander

Proceedings of the 16th IEEE International Conference on Electronics, 2009

The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification.

[BibT_eX]

[DOI]

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Transparency and Documentation in Simulations of Infectious Disease Outbreaks: Towards Evidence-Based Public Health Decisions and Communications.

[BibT_eX]

[DOI]

Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Assumptions Management in Simulation of Infectious Disease Outbreaks.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2009, 2009

Impact of Precautionary Behaviors During Outbreaks of Pandemic Influenza: Modeling of Regional Differences.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2009, 2009

2008

Web 2.0 systems supporting childhood chronic disease management: A pattern language representation of a general architecture.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2008

2007

Integrals, partitions and MacMahon's Theorem.

[BibT_eX]

[DOI]

J. Comb. Theory A, 2007

The semantic-document approach to combining documents and ontologies.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2007

Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2007

Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

Dealing with Ecological Fallacy in Preparations for Influenza Pandemics: Use of a Flexible Environment for Adaptation of Simulations to Household Structures in Local Contexts.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

Ontology Based Modeling of Pandemic Simulation Scenarios.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

Mobile Phone Computing for In-situ Cognitive Behavioral Therapy.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

An Annotation Tool for Semantic Documents.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

2006

Toward architecture-based test-vector generation for timing verification of fast parallel multipliers.

[BibT_eX]

[DOI]

Daniel Eckerbert

IEEE Trans. Very Large Scale Integr. Syst., 2006

Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

Multiplier reduction tree with logarithmic logic depth and regular connectivity.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005

Distributed user interfaces for clinical ubiquitous computing applications.

[BibT_eX]

[DOI]

Int. J. Medical Informatics, 2005

Chess Tableaux.

[BibT_eX]

[DOI]

Timothy Y. Chow

C. Kenneth Fan

Electron. J. Comb., 2005

A low-leakage twin-precision multiplier using reconfigurable power gating.

[BibT_eX]

[DOI]

Magnus Själander

Mindaugas Drazdziulis

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Towards a simulation environment for modeling of local influenza outbreaks.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2005, 2005

Semantic Clinical Guideline Documents.

[BibT_eX]

[DOI]

Samson W. Tu

Mark A. Musen

Proceedings of the AMIA 2005, 2005

2004

The impact of participation in information system design: a comparison of contextual placements.

[BibT_eX]

[DOI]

Magnus Irestig

Toomas Timpka

Proceedings of the Eighth Conference on Participatory Design: Artful Integration: Interweaving Media, 2004

Towards Integration of Computer Games in Interactive Health Education Environments: understanding gameplay challenge, narrative and spectacle.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2004, 2004

Design of Interactive Health Drama Built on Social Realism.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2004, 2004

Design Requirements for Ubiquitous Computing Environments for Healthcare Professionals.

[BibT_eX]

[DOI]

Anders Larsson

Proceedings of the MEDINFO 2004, 2004

A Management Information System Model for Process-Oriented Health Care.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2004, 2004

Dynamic pass-transistor dot operators for efficient parallel-prefix adders.

[BibT_eX]

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Glitch-conscious low-power design of arithmetic circuits.

[BibT_eX]

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

An Efficient Twin-Precision Multiplier.

[BibT_eX]

[DOI]

Magnus Själander

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

A power cut-off technique for gate leakage suppression [CMOS logic circuits].

[BibT_eX]

[DOI]

Mindaugas Draidiiulis

Daniel Eckerbert

Proceedings of the 33rd European Solid-State Circuits Conference, 2004

2003

The evolution of Protégé: an environment for knowledge-based systems development.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2003

Using JessTab to Integrate Protégé and Jess.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

Exact Expectations for Random Graphs and Assignments.

[BibT_eX]

[DOI]

Jonas Sjöstrand

Comb. Probab. Comput., 2003

Dual Threshold Voltage Circuits in the Presence of Resistive Interconnects.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2003), 2003

Full-custom vs. standard-cell design flow: an adder case study.

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

NOSTOS: A Paper-Based Ubiquitous Computing Healthcare Environment to Support Data Capture and Collaboration.

[BibT_eX]

[DOI]

Anders Larsson

Proceedings of the AMIA 2003, 2003

2002

Using knowledge engineering support for a Java documentation viewer.

[BibT_eX]

[DOI]

Erik Berglund

Peter Nevalainen

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

The JESSTAB Approach to Protégé and JESS Integration.

[BibT_eX]

Proceedings of the Intelligent Information Processing, 2002

2001

Sorting a bridge hand.

[BibT_eX]

[DOI]

Discret. Math., 2001

Note on the Lamp Lighting Problem.

[BibT_eX]

[DOI]

Jonas Sjöstrand

Adv. Appl. Math., 2001

Economic Motives to Use a Participatory Design Approach in the Development of Public-Health Information Systems.

[BibT_eX]

[DOI]

Vivian Vimarlund

Toomas Timpka

Proceedings of the MEDINFO 2001, 2001

Groupware for Case Management and Inter-Organizational Collaboration: The Virtual Rehabilitation Team.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2001, 2001

A regular parallel multiplier which utilizes multiple carry-propagate adders.

[BibT_eX]

[DOI]

William P. Marnane

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

A 2.8 ns 30 uW/MHz area-efficient 32-b Manchester carry-bypass adder.

[BibT_eX]

[DOI]

Atila Alvandpour

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

VLSI implementation of CRC-32 for 10 Gigabit Ethernet.

[BibT_eX]

[DOI]

Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001

2000

Designing web-based simulation for learning.

[BibT_eX]

[DOI]

Rego Granlund

Erik Berglund

Future Gener. Comput. Syst., 2000

Diagonal Checker-jumping and Eulerian Numbers for Color-signed Permutations.

[BibT_eX]

[DOI]

Niklas Eriksen

Electron. J. Comb., 2000

Impact of Voltage Scaling on Glitch Power Consumption.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit Design, 2000

An interconnect-driven design of a DFT processor.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

1999

An Approach to Context-Sensitive Medical Applications.

[BibT_eX]

[DOI]

Proceedings of the AMIA 1999, 1999

1998

Moving a Food Trolley Around a Corner.

[BibT_eX]

[DOI]

Gerd Eriksson

Theor. Comput. Sci., 1998

Affine Weyl Groups as Infinite Permutations.

[BibT_eX]

[DOI]

Electron. J. Comb., 1998

Use of Project Ontologies and Terminology Servers to Support Software Engineering.

[BibT_eX]

[DOI]

Toomas Timpka

Proceedings of the MEDINFO '98, 1998

1997

Generation of development environments for the Arden Syntax.

[BibT_eX]

[DOI]

Proceedings of the AMIA 1997, 1997

1996

Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 1996

Expert Systems as Knowledge Servers.

[BibT_eX]

[DOI]

IEEE Expert, 1996

1995

Twin jumping checkers in Z<sup>d</sup>.

[BibT_eX]

[DOI]

Bernt Lindström

Eur. J. Comb., 1995

Pebblings.

[BibT_eX]

[DOI]

Electron. J. Comb., 1995

Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1995

Task Modeling with Reusable Problem-Solving Methods.

[BibT_eX]

[DOI]