Henrik Eriksson

Publication Activity (10 Years)

Years Active: 1967-2023
Publications (10 Years): 12

Top Venues

AMIA

CoRR

ICC

ICSE (Companion Volume)

Publications

Petra Apell, Henrik Eriksson
Artificial intelligence (AI) healthcare technology innovations: the current state and challenges from a life science industry perspective. Technol. Anal. Strateg. Manag. 35 (2) (2023)
Monika Jurkeviciute, Amia Enam, Johanna Torres-Bonilla, Henrik Eriksson
Planning a holistic summative eHealth evaluation in an interdisciplinary and multi-national setting: a case study and propositions for guideline development. BMC Medical Informatics Decis. Mak. 21 (1) (2021)
Yeongwoo Kim, Ezeddin Al Hakim, Johan Haraldson, Henrik Eriksson, José Mairton B. da Silva Jr., Carlo Fischione
Dynamic Clustering in Federated Learning. ICC (2021)
Yeongwoo Kim, Ezeddin Al Hakim, Johan Haraldson, Henrik Eriksson, José Mairton B. da Silva Jr., Carlo Fischione
Dynamic Clustering in Federated Learning. CoRR (2020)
Adam Duracz, Ayman Aljarbouh, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson, Jan Duracz, Fei Xu, Yingfu Zeng, Christian Grante
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation. CyPhy/WESE (2019)
Martin Salzmann-Erikson, Henrik Eriksson
PhD students' presenting, staging and announcing their educational status - An analysis of shared images in social media. Comput. Educ. 116 (2018)
Martin Salzmann-Erikson, Henrik Eriksson
Absorbability, applicability and availability in nursing and care robots: A thematic analysis of Twitter postings. Telematics Informatics 35 (5) (2018)
Alessia Knauss, Jan Schroeder, Christian Berger, Henrik Eriksson
Paving the Roadway for Safety of Automated Vehicles: An Empirical Study on Testing Challenges. CoRR (2017)
Alessia Knauss, Jan Schroeder, Christian Berger, Henrik Eriksson
Paving the roadway for safety of automated vehicles: An empirical study on testing challenges. Intelligent Vehicles Symposium (2017)
Alessia Knauss, Jan Schroeder, Christian Berger, Henrik Eriksson
Software-related challenges of testing automated vehicles. ICSE (Companion Volume) (2017)
Alessia Knauss, Christian Berger, Henrik Eriksson
Towards state-of-the-art and future trends in testing of active safety systems. SEsCPS@ICSE (2016)
Henrik Eriksson, Toomas Timpka, Armin Spreco, Örjan Dahlström, Magnus Strömgren, Einar Holm
Dynamic Multicore Processing for Pandemic Influenza Simulation. AMIA (2016)
Henrik Eriksson, Toomas Timpka, Joakim Ekberg, Armin Spreco, Örjan Dahlström, Magnus Strömgren, Einar Holm
A Flexible Simulation Architecture for Pandemic Influenza Simulation. AMIA (2015)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Magnus Bång, Katarina Solnevik, Henrik Eriksson
The Nurse Watch: Design and Evaluation of a Smart Watch Application with Vital Sign Monitoring and Checklist Reminders. AMIA (2015)
Adam Duracz, Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng, Walid Taha
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. HPCC/CSS/ICESS (2015)
Rita Kovordanyi, Jelle Pelfrene, Henrik Eriksson
Supporting Instructors' Decision Making in Simulator-Based Training for Crisis Management. ISCRAM (2014)
Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. SAFECOMP Workshops (2014)
David Karlsson, Joakim Ekberg, Armin Spreco, Henrik Eriksson, Toomas Timpka
Visualization of Infectious Disease Outbreaks in Routine Practice. MedInfo (2013)
Ola Leifler, Henrik Eriksson
Automated text-based analysis for decision-making research. Cogn. Technol. Work. 14 (2) (2012)
Amy Rankin, Rita Kovordanyi, Joris Field, Henrik Eriksson
Instructor's tasks in crisis management training. ISCRAM (2012)
Ola Leifler, Henrik Eriksson
Analysis tools in the study of distributed decision-making: a meta-study of command and control research. Cogn. Technol. Work. 14 (2) (2012)
Ola Leifler, Henrik Eriksson
Message classification as a basis for studying command and control communications - an evaluation of machine learning approaches. J. Intell. Inf. Syst. 38 (2) (2012)
Rita Kovordanyi, Rudolf Schreiner, Jelle Pelfrene, Johan Jenvald, Henrik Eriksson, Amy Rankin, Michael Morin
Real-time support for exercise managers' situation assessment and decision making. ISCRAM (2012)
Joris Field, Amy Rankin, Jelke van der Pal, Henrik Eriksson, B. L. William Wong
Variable uncertainty: scenario design for training adaptive and flexible skills. ECCE (2011)
Amy Rankin, Joris Field, Rita Kovordanyi, Magnus Morin, Johan Jenvald, Henrik Eriksson
Training systems design: bridging the gap between users and developers using storyboards. ECCE (2011)
Rickard Svenningsson, Henrik Eriksson, Jonny Vinter, Martin Törngren
Generic Fault Modelling for Fault Injection. FMCO (2010)
Joakim Ekberg, Leni Ericson, Toomas Timpka, Henrik Eriksson, Sam Nordfeldt, Lena Hanberger, Johnny Ludvigsson
Web 2.0 Systems Supporting Childhood Chronic Disease Management: Design Guidelines Based on Information Behaviour and Social Learning Theories. J. Medical Syst. 34 (2) (2010)
Henrik Eriksson, Kimmo Eriksson
Words with Intervening Neighbours in Infinite Coxeter Groups are Reduced. Electron. J. Comb. 17 (1) (2010)
Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren
MODIFI: A MODel-Implemented Fault Injection Tool. SAFECOMP (2010)
Henrik Eriksson, Magnus Morin, Joakim Ekberg, Johan Jenvald, Toomas Timpka
Assumptions Management in Simulation of Infectious Disease Outbreaks. AMIA (2009)
Patrik Kimfors, Niklas Broman, Andreas Haraldsson, Kasyab P. Subramaniyan, Magnus Själander, Henrik Eriksson, Per Larsson-Edefors
Custom layout strategy for rectangle-shaped log-depth multiplier reduction tree. ICECS (2009)
Joakim Ekberg, Henrik Eriksson, Magnus Morin, Einar Holm, Magnus Strömgren, Toomas Timpka
Impact of Precautionary Behaviors During Outbreaks of Pandemic Influenza: Modeling of Regional Differences. AMIA (2009)
Egbert Althammer, Erwin Schoitsch, Henrik Eriksson, Jonny Vinter
The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification. EUROMICRO-SEAA (2009)
Joakim Ekberg, Toomas Timpka, Magnus Morin, Johan Jenvald, James M. Nyce, Elin Gursky, Henrik Eriksson
Transparency and Documentation in Simulations of Infectious Disease Outbreaks: Towards Evidence-Based Public Health Decisions and Communications. eHealth (2009)
Henrik Eriksson, Kimmo Eriksson
Conjugacy of Coxeter Elements. Electron. J. Comb. 16 (2) (2009)
Toomas Timpka, Henrik Eriksson, Johnny Ludvigsson, Joakim Ekberg, Sam Nordfeldt, Lena Hanberger
Web 2.0 systems supporting childhood chronic disease management: A pattern language representation of a general architecture. BMC Medical Informatics Decis. Mak. 8 (2008)
Henrik Eriksson
An Annotation Tool for Semantic Documents. ESWC (2007)
Henrik Eriksson, Magnus Morin, Johan Jenvald, Elin Gursky, Einar Holm, Toomas Timpka
Ontology Based Modeling of Pandemic Simulation Scenarios. MedInfo (2007)
Magnus Bång, Toomas Timpka, Henrik Eriksson, Einar Holm, Conny Nordin
Mobile Phone Computing for In-situ Cognitive Behavioral Therapy. MedInfo (2007)
Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. SAFECOMP (2007)
Toomas Timpka, Magnus Morin, Johan Jenvald, Elin Gursky, Henrik Eriksson
Dealing with Ecological Fallacy in Preparations for Influenza Pandemics: Use of a Flexible Environment for Adaptation of Simulations to Household Structures in Local Contexts. MedInfo (2007)
Henrik Eriksson
The semantic-document approach to combining documents and ontologies. Int. J. Hum. Comput. Stud. 65 (7) (2007)
George E. Andrews, Henrik Eriksson, Fedor Petrov, Dan Romik
Integrals, partitions and MacMahon's Theorem. J. Comb. Theory, Ser. A 114 (3) (2007)
Henrik Eriksson
Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers. PATMOS (2007)
Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, Daniel Johansson, Martin Scholin
Multiplier reduction tree with logarithmic logic depth and regular connectivity. ISCAS (2006)
Henrik Eriksson, Per Larsson-Edefors, Daniel Eckerbert
Toward architecture-based test-vector generation for timing verification of fast parallel multipliers. IEEE Trans. Very Large Scale Integr. Syst. 14 (4) (2006)
Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. SAFECOMP (2006)
Henrik Eriksson, Samson W. Tu, Mark A. Musen
Semantic Clinical Guideline Documents. AMIA (2005)
Toomas Timpka, Magnus Morin, Johan Jenvald, Henrik Eriksson, Elin A. Gursky
Towards a simulation environment for modeling of local influenza outbreaks. AMIA (2005)
Magnus Bång, Anders Larsson, Erik Berglund, Henrik Eriksson
Distributed user interfaces for clinical ubiquitous computing applications. Int. J. Medical Informatics 74 (7-8) (2005)
Magnus Själander, Mindaugas Drazdziulis, Per Larsson-Edefors, Henrik Eriksson
A low-leakage twin-precision multiplier using reconfigurable power gating. ISCAS (2) (2005)
Timothy Y. Chow, Henrik Eriksson, C. Kenneth Fan
Chess Tableaux. Electron. J. Comb. 11 (2) (2005)
Mindaugas Draidiiulis, Per Larsson-Edefors, Daniel Eckerbert, Henrik Eriksson
A power cut-off technique for gate leakage suppression [CMOS logic circuits]. ESSCIRC (2004)
Magnus Själander, Henrik Eriksson, Per Larsson-Edefors
An Efficient Twin-Precision Multiplier. ICCD (2004)
Henrik Eriksson, Per Larsson-Edefors
Dynamic pass-transistor dot operators for efficient parallel-prefix adders. ISCAS (2) (2004)
Anna Andersson, Niklas Hallberg, Henrik Eriksson, Toomas Timpka
A Management Information System Model for Process-Oriented Health Care. MedInfo (2004)
Magnus Bång, Anders Larsson, Henrik Eriksson
Design Requirements for Ubiquitous Computing Environments for Healthcare Professionals. MedInfo (2004)
Magnus Irestig, Henrik Eriksson, Toomas Timpka
The impact of participation in information system design: a comparison of contextual placements. PDC (2004)
Toomas Timpka, Gabriella Graspemo, Linda Hassling, Sam Nordfeldt, Henrik Eriksson
Towards Integration of Computer Games in Interactive Health Education Environments: understanding gameplay challenge, narrative and spectacle. MedInfo (2004)
Henrik Eriksson, Per Larsson-Edefors
Glitch-conscious low-power design of arithmetic circuits. ISCAS (2) (2004)
Gabriella Graspemo, Linda Hassling, Sam Nordfeldt, Henrik Eriksson, Toomas Timpka
Design of Interactive Health Drama Built on Social Realism. MedInfo (2004)
Henrik Eriksson
Using JessTab to Integrate Protégé and Jess. IEEE Intell. Syst. 18 (2) (2003)
Magnus Bång, Anders Larsson, Henrik Eriksson
NOSTOS: A Paper-Based Ubiquitous Computing Healthcare Environment to Support Data Capture and Collaboration. AMIA (2003)
Per Larsson-Edefors, Daniel Eckerbert, Henrik Eriksson, Lars J. Svensson
Dual Threshold Voltage Circuits in the Presence of Resistive Interconnects. ISVLSI (2003)
John H. Gennari, Mark A. Musen, Ray W. Fergerson, William E. Grosso, Monica Crubézy, Henrik Eriksson, Natalya Fridman Noy, Samson W. Tu
The evolution of Protégé: an environment for knowledge-based systems development. Int. J. Hum. Comput. Stud. 58 (1) (2003)
Henrik Eriksson, Kimmo Eriksson, Jonas Sjöstrand
Exact Expectations for Random Graphs and Assignments. Comb. Probab. Comput. 12 (4) (2003)
Henrik Eriksson, Per Larsson-Edefors, Tomas Henriksson, Christer Svensson
Full-custom vs. standard-cell design flow: an adder case study. ASP-DAC (2003)
Henrik Eriksson, Erik Berglund, Peter Nevalainen
Using knowledge engineering support for a Java documentation viewer. SEKE (2002)
Henrik Eriksson
The JESSTAB Approach to Protégé and JESS Integration. Intelligent Information Processing (2002)
Magnus Bång, Anneli Hagdahl, Henrik Eriksson, Toomas Timpka
Groupware for Case Management and Inter-Organizational Collaboration: The Virtual Rehabilitation Team. MedInfo (2001)
Henrik Eriksson, Kimmo Eriksson, Jonas Sjöstrand
Note on the Lamp Lighting Problem. Adv. Appl. Math. 27 (Issues) (2001)
Tomas Henriksson, Henrik Eriksson, Ulf Nordqvist, Per Larsson-Edefors, Dake Liu
VLSI implementation of CRC-32 for 10 Gigabit Ethernet. ICECS (2001)
Henrik Eriksson, Kimmo Eriksson, Johan Karlander, Lars J. Svensson, Johan Wästlund
Sorting a bridge hand. Discret. Math. 241 (1-3) (2001)
Henrik Eriksson, Per Larsson-Edefors, William P. Marnane
A regular parallel multiplier which utilizes multiple carry-propagate adders. ISCAS (4) (2001)
Vivian Vimarlund, Henrik Eriksson, Toomas Timpka
Economic Motives to Use a Participatory Design Approach in the Development of Public-Health Information Systems. MedInfo (2001)
Henrik Eriksson, Per Larsson-Edefors, Atila Alvandpour
A 2.8 ns 30 uW/MHz area-efficient 32-b Manchester carry-bypass adder. ISCAS (4) (2001)
Daniel Eckerbert, Henrik Eriksson, Per Larsson-Edefors, Anders Edman
An interconnect-driven design of a DFT processor. ISCAS (2000)
Henrik Eriksson, Per Larsson-Edefors
Impact of Voltage Scaling on Glitch Power Consumption. PATMOS (2000)
Rego Granlund, Erik Berglund, Henrik Eriksson
Designing web-based simulation for learning. Future Gener. Comput. Syst. 17 (2) (2000)
Niklas Eriksen, Henrik Eriksson, Kimmo Eriksson
Diagonal Checker-jumping and Eulerian Numbers for Color-signed Permutations. Electron. J. Comb. 7 (2000)
Magnus Bång, Henrik Eriksson, Kent Lindqvist, Toomas Timpka
An Approach to Context-Sensitive Medical Applications. AMIA (1999)
Gerd Eriksson, Henrik Eriksson, Kimmo Eriksson
Moving a Food Trolley Around a Corner. Theor. Comput. Sci. 191 (1-2) (1998)
Henrik Eriksson, Kimmo Eriksson
Affine Weyl Groups as Infinite Permutations. Electron. J. Comb. 5 (1998)
Magnus Bång, Henrik Eriksson, Toomas Timpka
Use of Project Ontologies and Terminology Servers to Support Software Engineering. MedInfo (1998)
Magnus Bång, Henrik Eriksson
Generation of development environments for the Arden Syntax. AMIA (1997)
Henrik Eriksson
Expert Systems as Knowledge Servers. IEEE Expert 11 (3) (1996)
Thomas E. Rothenfluh, John H. Gennari, Henrik Eriksson, Angel R. Puerta, Samson W. Tu, Mark A. Musen
Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2. Int. J. Hum. Comput. Stud. 44 (3-4) (1996)
Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen
Task Modeling with Reusable Problem-Solving Methods. Artif. Intell. 79 (2) (1995)
Henrik Eriksson
Pebblings. Electron. J. Comb. 2 (1995)
Henrik Eriksson, Bernt Lindström
. Eur. J. Comb. 16 (2) (1995)
Samson W. Tu, Henrik Eriksson, John H. Gennari, Yuval Shahar, Mark A. Musen
Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support. Artif. Intell. Medicine 7 (3) (1995)
Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen
Model-Based Automated Generation of User Interfaces. AAAI (1994)
Henrik Eriksson, Angel R. Puerta, Mark A. Musen
Generation of knowledge-acquisition tools from domain ontologies. Int. J. Hum. Comput. Stud. 41 (3) (1994)
Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen
Beyond Data Models for Automated User Interface Generation. BCS HCI (1994)
Henrik Eriksson, Mark A. Musen
Metatools for Knowledge Acquisition. IEEE Softw. 10 (3) (1993)
Henrik Eriksson, Mark A. Musen
Conceptual models for automatic generation of knowledge-acquisition tools. Knowl. Eng. Rev. 8 (1) (1993)
Henrik Eriksson
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. IJCAI (1993)
Henrik Eriksson
Domain-oriented knowledge-acquisition tool for protein purification planning. J. Chem. Inf. Comput. Sci. 32 (1) (1992)
Henrik Eriksson
A survey of knowledge acquisition techniques and tools and their relationship to software engineering. J. Syst. Softw. 19 (1) (1992)

Henrik Eriksson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Henrik Eriksson