Henrik Eriksson

107 papers A* 2B 6C 4Misc 10Journal 42Unranked 42

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