Henrik Eriksson

According to our database1, Henrik Eriksson
  • authored at least 94 papers between 1967 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2017
Paving the Roadway for Safety of Automated Vehicles: An Empirical Study on Testing Challenges.
CoRR, 2017

Paving the roadway for safety of automated vehicles: An empirical study on testing challenges.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Software-related challenges of testing automated vehicles.
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.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Dynamic Multicore Processing for Pandemic Influenza Simulation.
Proceedings of the AMIA 2016, 2016

2015

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

A Flexible Simulation Architecture for Pandemic Influenza Simulation.
Proceedings of the AMIA 2015, 2015

The Nurse Watch: Design and Evaluation of a Smart Watch Application with Vital Sign Monitoring and Checklist Reminders.
Proceedings of the AMIA 2015, 2015

2014
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Supporting Instructors' Decision Making in Simulator-Based Training for Crisis Management.
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.
Proceedings of the MEDINFO 2013, 2013

2012
Message classification as a basis for studying command and control communications - an evaluation of machine learning approaches.
J. Intell. Inf. Syst., 2012

Analysis tools in the study of distributed decision-making: a meta-study of command and control research.
Cognition, Technology & Work, 2012

Automated text-based analysis for decision-making research.
Cognition, Technology & Work, 2012

2011
Developing a DUI Based Operator Control Station - A Case Study of the Marve Framework.
Proceedings of the Distributed User Interfaces, 2011

Training systems design: bridging the gap between users and developers using storyboards.
Proceedings of the ECCE 2011, 2011

Variable uncertainty: scenario design for training adaptive and flexible skills.
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.
J. Medical Systems, 2010

Words with Intervening Neighbours in Infinite Coxeter Groups are Reduced.
Electr. J. Comb., 2010

MODIFI: A MODel-Implemented Fault Injection Tool.
Proceedings of the Computer Safety, 2010

Generic Fault Modelling for Fault Injection.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Conjugacy of Coxeter Elements.
Electr. J. Comb., 2009

Custom layout strategy for rectangle-shaped log-depth multiplier reduction tree.
Proceedings of the 16th IEEE International Conference on Electronics, 2009

The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification.
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.
Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Assumptions Management in Simulation of Infectious Disease Outbreaks.
Proceedings of the AMIA 2009, 2009

Impact of Precautionary Behaviors During Outbreaks of Pandemic Influenza: Modeling of Regional Differences.
Proceedings of the AMIA 2009, 2009

2008
Web 2.0 systems supporting childhood chronic disease management: A pattern language representation of a general architecture.
BMC Med. Inf. & Decision Making, 2008

2007
Integrals, partitions and MacMahon's Theorem.
J. Comb. Theory, Ser. A, 2007

The semantic-document approach to combining documents and ontologies.
International Journal of Man-Machine Studies, 2007

Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.
Proceedings of the Computer Safety, 2007

Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers.
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.
Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

Ontology Based Modeling of Pandemic Simulation Scenarios.
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.
Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

An Annotation Tool for Semantic Documents.
Proceedings of the Semantic Web: Research and Applications, 2007

2006
Toward architecture-based test-vector generation for timing verification of fast parallel multipliers.
IEEE Trans. VLSI Syst., 2006

Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
Proceedings of the Computer Safety, 2006

Multiplier reduction tree with logarithmic logic depth and regular connectivity.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005
Distributed user interfaces for clinical ubiquitous computing applications.
I. J. Medical Informatics, 2005

Chess Tableaux.
Electr. J. Comb., 2005

A low-leakage twin-precision multiplier using reconfigurable power gating.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Towards a simulation environment for modeling of local influenza outbreaks.
Proceedings of the AMIA 2005, 2005

Semantic Clinical Guideline Documents.
Proceedings of the AMIA 2005, 2005

2004
The impact of participation in information system design: a comparison of contextual placements.
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.
Proceedings of the MEDINFO 2004, 2004

Design of Interactive Health Drama Built on Social Realism.
Proceedings of the MEDINFO 2004, 2004

Design Requirements for Ubiquitous Computing Environments for Healthcare Professionals.
Proceedings of the MEDINFO 2004, 2004

A Management Information System Model for Process-Oriented Health Care.
Proceedings of the MEDINFO 2004, 2004

Dynamic pass-transistor dot operators for efficient parallel-prefix adders.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Glitch-conscious low-power design of arithmetic circuits.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

An Efficient Twin-Precision Multiplier.
Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003
The evolution of Protégé: an environment for knowledge-based systems development.
Int. J. Hum.-Comput. Stud., 2003

Using JessTab to Integrate Protégé and Jess.
IEEE Intelligent Systems, 2003

Exact Expectations for Random Graphs and Assignments.
Combinatorics, Probability & Computing, 2003

Dual Threshold Voltage Circuits in the Presence of Resistive Interconnects.
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.
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.
Proceedings of the AMIA 2003, 2003

2002
Using knowledge engineering support for a Java documentation viewer.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

The JESSTAB Approach to Protégé and JESS Integration.
Proceedings of the Intelligent Information Processing, 2002

2001
Sorting a bridge hand.
Discrete Mathematics, 2001

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

Groupware for Case Management and Inter-Organizational Collaboration: The Virtual Rehabilitation Team.
Proceedings of the MEDINFO 2001, 2001

A regular parallel multiplier which utilizes multiple carry-propagate adders.
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.
Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

2000
Designing web-based simulation for learning.
Future Generation Comp. Syst., 2000

Diagonal Checker-jumping and Eulerian Numbers for Color-signed Permutations.
Electr. J. Comb., 2000

Impact of Voltage Scaling on Glitch Power Consumption.
Proceedings of the Integrated Circuit Design, 2000

An interconnect-driven design of a DFT processor.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

1999
An Approach to Context-Sensitive Medical Applications.
Proceedings of the AMIA 1999, 1999

1998
Moving a Food Trolley Around a Corner.
Theor. Comput. Sci., 1998

Affine Weyl Groups as Infinite Permutations.
Electr. J. Comb., 1998

Use of Project Ontologies and Terminology Servers to Support Software Engineering.
Proceedings of the MEDINFO '98, 1998

1997
Generation of development environments for the Arden Syntax.
Proceedings of the AMIA 1997, 1997

1996
Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2.
Int. J. Hum.-Comput. Stud., 1996

Expert Systems as Knowledge Servers.
IEEE Expert, 1996

1995
Twin jumping checkers in Zd.
Eur. J. Comb., 1995

Pebblings.
Electr. 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.
Artificial Intelligence in Medicine, 1995

Task Modeling with Reusable Problem-Solving Methods.
Artif. Intell., 1995

1994
Generation of knowledge-acquisition tools from domain ontologies.
Int. J. Hum.-Comput. Stud., 1994

Beyond Data Models for Automated User Interface Generation.
Proceedings of the People and Computers IX, Proceedings of HCI '94, Glasgow, August 1994, 1994

Model-Based Automated Generation of User Interfaces.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Metatools for Knowledge Acquisition.
IEEE Software, 1993

Conceptual models for automatic generation of knowledge-acquisition tools.
Knowledge Eng. Review, 1993

Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
A survey of knowledge acquisition techniques and tools and their relationship to software engineering.
Journal of Systems and Software, 1992

ALF-A: a knowledge acquisition tool for troubleshooting of laboratory equipment.
Journal of Chemical Information and Computer Sciences, 1992

Domain-oriented knowledge-acquisition tool for protein purification planning.
Journal of Chemical Information and Computer Sciences, 1992

Conceptual Models for Automatic Generation of Knowledge-Acquisition Tools.
Proceedings of the Current Developments in Knowledge Acquisition, 1992

1989
Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein Purification.
SCAI, 1989

1967
Two Problems on Boolean Memories.
IEEE Trans. Electronic Computers, 1967


  Loading...