| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ola Leifler, Henrik Eriksson |
Automated text-based analysis for decision-making research.  |
Cognition, Technology & Work  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ola Leifler, Henrik Eriksson |
Analysis tools in the study of distributed decision-making: a meta-study of command and control research. |
Cognition, Technology & Work |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Fröberg, Henrik Eriksson, Erik Berglund |
Developing a DUI Based Operator Control Station - A Case Study of the Marve Framework. |
Distributed User Interfaces |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris Field, Amy Rankin, Jelke van der Pal, Henrik Eriksson, William Wong |
Variable uncertainty: scenario design for training adaptive and flexible skills. |
ECCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Kimmo Eriksson |
Words with Intervening Neighbours in Infinite Coxeter Groups are Reduced. |
Electr. J. Comb. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rickard Svenningsson, Henrik Eriksson, Jonny Vinter, Martin Törngren |
Generic Fault Modelling for Fault Injection. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren |
MODIFI: A MODel-Implemented Fault Injection Tool. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Kimmo Eriksson |
Conjugacy of Coxeter Elements. |
Electr. J. Comb. |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Egbert Althammer, Erwin Schoitsch, Henrik Eriksson, Jonny Vinter |
The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | George Andrews, Henrik Eriksson, Fedor Petrov, Dan Romik |
Integrals, partitions and MacMahon's Theorem. |
J. Comb. Theory, Ser. A |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
The semantic-document approach to combining documents and ontologies. |
International Journal of Man-Machine Studies |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers. |
PATMOS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
An Annotation Tool for Semantic Documents. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager |
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Bång, Toomas Timpka, Henrik Eriksson, Einar Holm, Conny Nordin |
Mobile Phone Computing for In-situ Cognitive Behavioral Therapy. |
MedInfo |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Magnus Morin, Johan Jenvald, Elin Gursky, Einar Holm, Toomas Timpka |
Ontology Based Modeling of Pandemic Simulation Scenarios. |
MedInfo |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors, Daniel Eckerbert |
Toward architecture-based test-vector generation for timing verification of fast parallel multipliers. |
IEEE Trans. VLSI Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, D. Johansson, M. Scholin |
Multiplier reduction tree with logarithmic logic depth and regular connectivity. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Bång, Anders Larsson, Erik Berglund, Henrik Eriksson |
Distributed user interfaces for clinical ubiquitous computing applications. |
I. J. Medical Informatics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Y. Chow, Henrik Eriksson, C. Kenneth Fan |
Chess Tableaux. |
Electr. J. Comb. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Magnus Själander, Mindaugas Drazdziulis, Per Larsson-Edefors, Henrik Eriksson |
A low-leakage twin-precision multiplier using reconfigurable power gating. |
ISCAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors |
Glitch-conscious low-power design of arithmetic circuits. |
ISCAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors |
Dynamic pass-transistor dot operators for efficient parallel-prefix adders. |
ISCAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Magnus Irestig, Henrik Eriksson, Toomas Timpka |
The impact of participation in information system design: a comparison of contextual placements. |
PDC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Själander, Henrik Eriksson, Per Larsson-Edefors |
An Efficient Twin-Precision Multiplier. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Kimmo Eriksson, Jonas Sjöstrand |
Exact Expectations for Random Graphs and Assignments. |
Combinatorics, Probability & Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
Using JessTab to Integrate Protégé and Jess. |
IEEE Intelligent Systems |
2003 |
DBLP DOI BibTeX RDF |
knowledge representation, knowledge modeling, ontology development |
| 1 | Per Larsson-Edefors, Daniel Eckerbert, Henrik Eriksson, Lars J. Svensson |
Dual Threshold Voltage Circuits in the Presence of Resistive Interconnects. |
ISVLSI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
The JESSTAB Approach to Protégé and JESS Integration. |
Intelligent Information Processing |
2002 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson, Erik Berglund, Peter Nevalainen |
Using knowledge engineering support for a Java documentation viewer. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Kimmo Eriksson, Johan Karlander, Lars J. Svensson, Johan Wästlund |
Sorting a bridge hand. |
Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors, William P. Marnane |
A regular parallel multiplier which utilizes multiple carry-propagate adders. |
ISCAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors, Atila Alvandpour |
A 2.8 ns 30 uW/MHz area-efficient 32-b Manchester carry-bypass adder. |
ISCAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rego Granlund, Erik Berglund, Henrik Eriksson |
Designing web-based simulation for learning. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Eriksen, Henrik Eriksson, Kimmo Eriksson |
Diagonal Checker-jumping and Eulerian Numbers for Color-signed Permutations. |
Electr. J. Comb. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larsson-Edefors |
Impact of Voltage Scaling on Glitch Power Consumption. |
PATMOS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Eriksson, Henrik Eriksson, Kimmo Eriksson |
Moving a Food Trolley Around a Corner. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Kimmo Eriksson |
Affine Weyl Groups as Infinite Permutations. |
Electr. J. Comb. |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
Expert Systems as Knowledge Servers. |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Artificial Intelligence in Medicine |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
Pebblings. |
Electr. J. Comb. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen |
Task Modeling with Reusable Problem-Solving Methods. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Angel R. Puerta, Mark A. Musen |
Generation of knowledge-acquisition tools from domain ontologies. |
Int. J. Hum.-Comput. Stud. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen |
Beyond Data Models for Automated User Interface Generation. |
BCS HCI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen |
Model-Based Automated Generation of User Interfaces. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson, Mark A. Musen |
Metatools for Knowledge Acquisition. |
IEEE Software |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson |
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson |
A survey of knowledge acquisition techniques and tools and their relationship to software engineering. |
Journal of Systems and Software |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Per Larses |
ALF-A: a knowledge acquisition tool for troubleshooting of laboratory equipment. |
Journal of Chemical Information and Computer Sciences |
1992 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson |
Domain-oriented knowledge-acquisition tool for protein purification planning. |
Journal of Chemical Information and Computer Sciences |
1992 |
DBLP BibTeX RDF |
|
| 1 | Henrik Eriksson, Mark A. Musen |
Conceptual Models for Automatic Generation of Knowledge-Acquisition Tools. |
EKAW |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Eriksson, Kristian Sandahl |
Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein Purification. |
SCAI |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")