Two Problems on Boolean Memories. - Henrik Eriksson; Per E. Danielsson (IEEE Trans. Electron. Comput., 1967)

Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein Purification. - Henrik Eriksson; Kristian Sandahl (SCAI, 1989)

Domain-oriented knowledge-acquisition tool for protein purification planning. - Henrik Eriksson (J. Chem. Inf. Comput. Sci., 1992)

ALF-A: a knowledge acquisition tool for troubleshooting of laboratory equipment. - Henrik Eriksson; Per Larses (J. Chem. Inf. Comput. Sci., 1992)

A survey of knowledge acquisition techniques and tools and their relationship to software engineering. - Henrik Eriksson (J. Syst. Softw., 1992)

Metatool support for custom-tailored, domain-oriented knowledge acquisition. - Henrik Eriksson (Knowl. Acquis., 1992)

Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. - Henrik Eriksson (IJCAI, 1993)

Conceptual models for automatic generation of knowledge-acquisition tools. - Henrik Eriksson; Mark A. Musen (Knowl. Eng. Rev., 1993)

Metatools for Knowledge Acquisition. - Henrik Eriksson; Mark A. Musen (IEEE Softw., 1993)

Model-Based Automated Generation of User Interfaces. - Angel R. Puerta; Henrik Eriksson; John H. Gennari; Mark A. Musen (AAAI, 1994)

Beyond Data Models for Automated User Interface Generation. - Angel R. Puerta; Henrik Eriksson; John H. Gennari; Mark A. Musen (BCS HCI, 1994)

Generation of knowledge-acquisition tools from domain ontologies. - Henrik Eriksson; Angel R. Puerta; Mark A. Musen (Int. J. Hum. Comput. Stud., 1994)

Models for knowledge-acquisition tool design. - Henrik Eriksson (Knowl. Acquis., 1994)

Task Modeling with Reusable Problem-Solving Methods. - Henrik Eriksson; Yuval Shahar; Samson W. Tu; Angel R. Puerta; Mark A. Musen (Artif. Intell., 1995)

Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support. - Samson W. Tu; Henrik Eriksson; John H. Gennari; Yuval Shahar; Mark A. Musen (Artif. Intell. Medicine, 1995)

Pebblings. - Henrik Eriksson (Electron. J. Comb., 1995)

Twin jumping checkers in Zd. - Henrik Eriksson; Bernt Lindström (Eur. J. Comb., 1995)

Expert Systems as Knowledge Servers. - Henrik Eriksson (IEEE Expert, 1996)

Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2. - Thomas E. Rothenfluh; John H. Gennari; Henrik Eriksson; Angel R. Puerta; Samson W. Tu; Mark A. Musen (Int. J. Hum. Comput. Stud., 1996)

Generation of development environments for the Arden Syntax. - Magnus Bång; Henrik Eriksson (AMIA, 1997)

Use of Project Ontologies and Terminology Servers to Support Software Engineering. - Magnus Bång; Henrik Eriksson; Toomas Timpka (MedInfo, 1998)

Affine Weyl Groups as Infinite Permutations. - Henrik Eriksson; Kimmo Eriksson (Electron. J. Comb., 1998)

Moving a Food Trolley Around a Corner. - Gerd Eriksson; Henrik Eriksson; Kimmo Eriksson (Theor. Comput. Sci., 1998)

An Approach to Context-Sensitive Medical Applications. - Magnus Bång; Henrik Eriksson; Kent Lindqvist; Toomas Timpka (AMIA, 1999)

An interconnect-driven design of a DFT processor. - Daniel Eckerbert; Henrik Eriksson; Per Larsson-Edefors; Anders Edman (ISCAS, 2000)

Impact of Voltage Scaling on Glitch Power Consumption. - Henrik Eriksson; Per Larsson-Edefors (PATMOS, 2000)

Diagonal Checker-jumping and Eulerian Numbers for Color-signed Permutations. - Niklas Eriksen; Henrik Eriksson; Kimmo Eriksson (Electron. J. Comb., 2000)

Designing web-based simulation for learning. - Rego Granlund; Erik Berglund 001; Henrik Eriksson (Future Gener. Comput. Syst., 2000)

VLSI implementation of CRC-32 for 10 Gigabit Ethernet. - Tomas Henriksson; Henrik Eriksson; Ulf Nordqvist; Per Larsson-Edefors; Dake Liu (ICECS, 2001)

A 2.8 ns 30 uW/MHz area-efficient 32-b Manchester carry-bypass adder. - Henrik Eriksson; Per Larsson-Edefors; Atila Alvandpour (ISCAS (4), 2001)

A regular parallel multiplier which utilizes multiple carry-propagate adders. - Henrik Eriksson; Per Larsson-Edefors; William P. Marnane (ISCAS (4), 2001)

Groupware for Case Management and Inter-Organizational Collaboration: The Virtual Rehabilitation Team. - Magnus Bång; Anneli Hagdahl; Henrik Eriksson; Toomas Timpka (MedInfo, 2001)

Economic Motives to Use a Participatory Design Approach in the Development of Public-Health Information Systems. - Vivian Vimarlund; Henrik Eriksson; Toomas Timpka (MedInfo, 2001)

Note on the Lamp Lighting Problem. - Henrik Eriksson; Kimmo Eriksson; Jonas Sjöstrand (Adv. Appl. Math., 2001)

Sorting a bridge hand. - Henrik Eriksson; Kimmo Eriksson; Johan Karlander; Lars J. Svensson; Johan Wästlund (Discret. Math., 2001)

The JESSTAB Approach to Protégé and JESS Integration. - Henrik Eriksson (IIP, 2002)

Using knowledge engineering support for a Java documentation viewer. - Henrik Eriksson; Erik Berglund 001; Peter Nevalainen (SEKE, 2002)

NOSTOS: A Paper-Based Ubiquitous Computing Healthcare Environment to Support Data Capture and Collaboration. - Magnus Bång; Anders Larsson; Henrik Eriksson (AMIA, 2003)

Full-custom vs. standard-cell design flow: an adder case study. - Henrik Eriksson; Per Larsson-Edefors; Tomas Henriksson; Christer Svensson (ASP-DAC, 2003)

Dual Threshold Voltage Circuits in the Presence of Resistive Interconnects. - Per Larsson-Edefors; Daniel Eckerbert; Henrik Eriksson; Lars J. Svensson (ISVLSI, 2003)

Exact Expectations for Random Graphs and Assignments. - Henrik Eriksson; Kimmo Eriksson; Jonas Sjöstrand (Comb. Probab. Comput., 2003)

Using JessTab to Integrate Protégé and Jess. - Henrik Eriksson (IEEE Intell. Syst., 2003)

The evolution of Protégé: an environment for knowledge-based systems development. - John H. Gennari; Mark A. Musen; Ray W. Fergerson; William E. Grosso; Monica Crubézy; Henrik Eriksson; Natalya Fridman Noy; Samson W. Tu (Int. J. Hum. Comput. Stud., 2003)

A power cut-off technique for gate leakage suppression [CMOS logic circuits]. - Mindaugas Draidiiulis; Per Larsson-Edefors; Daniel Eckerbert; Henrik Eriksson (ESSCIRC, 2004)

An Efficient Twin-Precision Multiplier. - Magnus Själander; Henrik Eriksson; Per Larsson-Edefors (ICCD, 2004)

Glitch-conscious low-power design of arithmetic circuits. - Henrik Eriksson; Per Larsson-Edefors (ISCAS (2), 2004)

Dynamic pass-transistor dot operators for efficient parallel-prefix adders. - Henrik Eriksson; Per Larsson-Edefors (ISCAS (2), 2004)

A Management Information System Model for Process-Oriented Health Care. - Anna Andersson; Niklas Hallberg; Henrik Eriksson; Toomas Timpka (MedInfo, 2004)

Design Requirements for Ubiquitous Computing Environments for Healthcare Professionals. - Magnus Bång; Anders Larsson; Henrik Eriksson (MedInfo, 2004)

Design of Interactive Health Drama Built on Social Realism. - Gabriella Graspemo; Linda Hassling; Sam Nordfeldt; Henrik Eriksson; Toomas Timpka (MedInfo, 2004)

Towards Integration of Computer Games in Interactive Health Education Environments: understanding gameplay challenge, narrative and spectacle. - Toomas Timpka; Gabriella Graspemo; Linda Hassling; Sam Nordfeldt; Henrik Eriksson (MedInfo, 2004)

The impact of participation in information system design: a comparison of contextual placements. - Magnus Irestig; Henrik Eriksson; Toomas Timpka (PDC, 2004)

Semantic Clinical Guideline Documents. - Henrik Eriksson; Samson W. Tu; Mark A. Musen (AMIA, 2005)

Towards a simulation environment for modeling of local influenza outbreaks. - Toomas Timpka; Magnus Morin; Johan Jenvald; Henrik Eriksson; Elin A. Gursky (AMIA, 2005)

A low-leakage twin-precision multiplier using reconfigurable power gating. - Magnus Själander; Mindaugas Drazdziulis; Per Larsson-Edefors; Henrik Eriksson (ISCAS (2), 2005)

Chess Tableaux. - Timothy Y. Chow; Henrik Eriksson; C. Kenneth Fan (Electron. J. Comb., 2005)

Distributed user interfaces for clinical ubiquitous computing applications. - Magnus Bång; Anders Larsson; Erik Berglund 001; Henrik Eriksson (Int. J. Medical Informatics, 2005)

Multiplier reduction tree with logarithmic logic depth and regular connectivity. - Henrik Eriksson; Per Larsson-Edefors; Mary Sheeran; Magnus Själander; Daniel Johansson; Martin Scholin (ISCAS, 2006)

Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. - Erwin Schoitsch; Egbert Althammer; Henrik Eriksson; Jonny Vinter; László Gönczy; András Pataricza; György Csertán (SAFECOMP, 2006)

Toward architecture-based test-vector generation for timing verification of fast parallel multipliers. - Henrik Eriksson; Per Larsson-Edefors; Daniel Eckerbert (IEEE Trans. Very Large Scale Integr. Syst., 2006)

An Annotation Tool for Semantic Documents. - Henrik Eriksson (ESWC, 2007)

Mobile Phone Computing for In-situ Cognitive Behavioral Therapy. - Magnus Bång; Toomas Timpka; Henrik Eriksson; Einar Holm; Conny Nordin (MedInfo, 2007)

Ontology Based Modeling of Pandemic Simulation Scenarios. - Henrik Eriksson; Magnus Morin; Johan Jenvald; Elin Gursky; Einar Holm; Toomas Timpka (MedInfo, 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. - Toomas Timpka; Magnus Morin; Johan Jenvald; Elin Gursky; Henrik Eriksson (MedInfo, 2007)

Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers. - Henrik Eriksson (PATMOS, 2007)

Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. - Jonny Vinter; Henrik Eriksson; Astrit Ademaj; Bernhard Leiner; Martin Schlager (SAFECOMP, 2007)

The semantic-document approach to combining documents and ontologies. - Henrik Eriksson (Int. J. Hum. Comput. Stud., 2007)

Integrals, partitions and MacMahon's Theorem. - George E. Andrews; Henrik Eriksson; Fedor Petrov 001; Dan Romik (J. Comb. Theory A, 2007)

Web 2.0 systems supporting childhood chronic disease management: A pattern language representation of a general architecture. - Toomas Timpka; Henrik Eriksson; Johnny Ludvigsson; Joakim Ekberg; Sam Nordfeldt; Lena Hanberger (BMC Medical Informatics Decis. Mak., 2008)

Impact of Precautionary Behaviors During Outbreaks of Pandemic Influenza: Modeling of Regional Differences. - Joakim Ekberg; Henrik Eriksson; Magnus Morin; Einar Holm; Magnus Strömgren; Toomas Timpka (AMIA, 2009)

Assumptions Management in Simulation of Infectious Disease Outbreaks. - Henrik Eriksson; Magnus Morin; Joakim Ekberg; Johan Jenvald; Toomas Timpka (AMIA, 2009)

Transparency and Documentation in Simulations of Infectious Disease Outbreaks: Towards Evidence-Based Public Health Decisions and Communications. - Joakim Ekberg; Toomas Timpka; Magnus Morin; Johan Jenvald; James M. Nyce; Elin Gursky; Henrik Eriksson (eHealth, 2009)

The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification. - Egbert Althammer; Erwin Schoitsch; Henrik Eriksson; Jonny Vinter (EUROMICRO-SEAA, 2009)

Custom layout strategy for rectangle-shaped log-depth multiplier reduction tree. - Patrik Kimfors; Niklas Broman; Andreas Haraldsson; Kasyab P. Subramaniyan; Magnus Själander; Henrik Eriksson; Per Larsson-Edefors (ICECS, 2009)

Conjugacy of Coxeter Elements. - Henrik Eriksson; Kimmo Eriksson (Electron. J. Comb., 2009)

Generic Fault Modelling for Fault Injection. - Rickard Svenningsson; Henrik Eriksson; Jonny Vinter; Martin Törngren (FMCO, 2010)

MODIFI: A MODel-Implemented Fault Injection Tool. - Rickard Svenningsson; Jonny Vinter; Henrik Eriksson; Martin Törngren (SAFECOMP, 2010)

Words with Intervening Neighbours in Infinite Coxeter Groups are Reduced. - Henrik Eriksson; Kimmo Eriksson (Electron. J. Comb., 2010)

Web 2.0 Systems Supporting Childhood Chronic Disease Management: Design Guidelines Based on Information Behaviour and Social Learning Theories. - Joakim Ekberg; Leni Ericson; Toomas Timpka; Henrik Eriksson; Sam Nordfeldt; Lena Hanberger; Johnny Ludvigsson (J. Medical Syst., 2010)

Variable uncertainty: scenario design for training adaptive and flexible skills. - Joris Field; Amy Rankin; Jelke van der Pal; Henrik Eriksson; B. L. William Wong (ECCE, 2011)

Training systems design: bridging the gap between users and developers using storyboards. - Amy Rankin; Joris Field; Rita Kovordányi; Magnus Morin; Johan Jenvald; Henrik Eriksson (ECCE, 2011)

Developing a DUI Based Operator Control Station - A Case Study of the Marve Framework. - Anders Fröberg; Henrik Eriksson; Erik Berglund 001 (Distributed User Interfaces, 2011)

Real-time support for exercise managers' situation assessment and decision making. - Rita Kovordányi; Rudolf Schreiner; Jelle Pelfrene; Johan Jenvald; Henrik Eriksson; Amy Rankin; Magnus Morin (ISCRAM, 2012)

Instructor's tasks in crisis management training. - Amy Rankin; Rita Kovordányi; Joris Field; Henrik Eriksson (ISCRAM, 2012)

Automated text-based analysis for decision-making research. - Ola Leifler; Henrik Eriksson (Cogn. Technol. Work., 2012)

Analysis tools in the study of distributed decision-making: a meta-study of command and control research. - Ola Leifler; Henrik Eriksson (Cogn. Technol. Work., 2012)

Message classification as a basis for studying command and control communications - an evaluation of machine learning approaches. - Ola Leifler; Henrik Eriksson (J. Intell. Inf. Syst., 2012)

Visualization of Infectious Disease Outbreaks in Routine Practice. - David Karlsson; Joakim Ekberg; Armin Spreco; Henrik Eriksson; Toomas Timpka (MedInfo, 2013)

Supporting Instructors' Decision Making in Simulator-Based Training for Crisis Management. - Rita Kovordányi; Jelle Pelfrene; Henrik Eriksson (ISCRAM, 2014)

Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. - Martin A. Skoglund; Hans Svensson; Henrik Eriksson; Thomas Arts; Rolf Johansson 002; Alex Gerdes (SAFECOMP Workshops, 2014)

The Nurse Watch: Design and Evaluation of a Smart Watch Application with Vital Sign Monitoring and Checklist Reminders. - Magnus Bång; Katarina Solnevik; Henrik Eriksson (AMIA, 2015)

A Flexible Simulation Architecture for Pandemic Influenza Simulation. - Henrik Eriksson; Toomas Timpka; Joakim Ekberg; Armin Spreco; Örjan Dahlström; Magnus Strömgren; Einar Holm (AMIA, 2015)

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. - Adam Duracz; Henrik Eriksson; Ferenc A. Bartha; Fei Xu; Yingfu Zeng; Walid Taha (HPCC/CSS/ICESS, 2015)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - 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; et al. (IoT 360 (1), 2015)

Dynamic Multicore Processing for Pandemic Influenza Simulation. - Henrik Eriksson; Toomas Timpka; Armin Spreco; Örjan Dahlström; Magnus Strömgren; Einar Holm (AMIA, 2016)

Towards state-of-the-art and future trends in testing of active safety systems. - Alessia Knauss; Christian Berger 001; Henrik Eriksson (SEsCPS@ICSE, 2016)

Software-related challenges of testing automated vehicles. - Alessia Knauss; Jan Schroeder; Christian Berger 001; Henrik Eriksson (ICSE (Companion Volume), 2017)

Paving the roadway for safety of automated vehicles: An empirical study on testing challenges. - Alessia Knauss; Jan Schroeder; Christian Berger 001; Henrik Eriksson (Intelligent Vehicles Symposium, 2017)

PhD students' presenting, staging and announcing their educational status - An analysis of shared images in social media. - Martin Salzmann-Erikson; Henrik Eriksson (Comput. Educ., 2018)

Absorbability, applicability and availability in nursing and care robots: A thematic analysis of Twitter postings. - Martin Salzmann-Erikson; Henrik Eriksson (Telematics Informatics, 2018)

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation. - Adam Duracz; Ayman Aljarbouh; Ferenc A. Bartha; Jawad Masood; Roland Philippsen; Henrik Eriksson; Jan Duracz; Fei Xu; Yingfu Zeng; Christian Grante (CyPhy/WESE, 2019)

Dynamic Clustering in Federated Learning. - Yeongwoo Kim; Ezeddin Al Hakim; Johan Haraldson; Henrik Eriksson; José Mairton B. da Silva Jr.; Carlo Fischione (ICC, 2021)

Planning a holistic summative eHealth evaluation in an interdisciplinary and multi-national setting: a case study and propositions for guideline development. - Monika Jurkeviciute; Amia Enam; Johanna Torres-Bonilla; Henrik Eriksson (BMC Medical Informatics Decis. Mak., 2021)

Artificial intelligence (AI) healthcare technology innovations: the current state and challenges from a life science industry perspective. - Petra Apell; Henrik Eriksson (Technol. Anal. Strateg. Manag., 2023)