| * | 2007 |
|---|
| 46 | EE | Henrik Eriksson:
An Annotation Tool for Semantic Documents.
ESWC 2007: 759-768 |
| 45 | EE | Magnus Bång,
Toomas Timpka,
Henrik Eriksson,
Einar Holm,
Conny Nordin:
Mobile Phone Computing for In-situ Cognitive Behavioral Therapy.
MedInfo 2007: 1078-1082 |
| 44 | EE | 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: 218-222 |
| 43 | EE | Henrik Eriksson,
Magnus Morin,
Johan Jenvald,
Elin Gursky,
Einar Holm,
Toomas Timpka:
Ontology Based Modeling of Pandemic Simulation Scenarios.
MedInfo 2007: 755-759 |
| 42 | EE | Henrik Eriksson:
Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers.
PATMOS 2007: 566-575 |
| 41 | EE | Jonny Vinter,
Henrik Eriksson,
Astrit Ademaj,
Bernhard Leiner,
Martin Schlager:
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.
SAFECOMP 2007: 264-269 |
| 40 | EE | Henrik Eriksson:
The semantic-document approach to combining documents and ontologies.
International Journal of Man-Machine Studies 65(7): 624-639 (2007) |
| 39 | EE | George Andrews,
Henrik Eriksson,
Fedor Petrov,
Dan Romik:
Integrals, partitions and MacMahon's Theorem.
J. Comb. Theory, Ser. A 114(3): 545-554 (2007) |
| 2006 |
|---|
| 38 | EE | 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 |
| 37 | EE | 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: 372-385 |
| 36 | EE | Henrik Eriksson,
Per Larsson-Edefors,
Daniel Eckerbert:
Toward architecture-based test-vector generation for timing verification of fast parallel multipliers.
IEEE Trans. VLSI Syst. 14(4): 370-379 (2006) |
| 2005 |
|---|
| 35 | EE | Magnus Själander,
Mindaugas Drazdziulis,
Per Larsson-Edefors,
Henrik Eriksson:
A low-leakage twin-precision multiplier using reconfigurable power gating.
ISCAS (2) 2005: 1654-1657 |
| 34 | EE | Magnus Bång,
Anders Larsson,
Erik Berglund,
Henrik Eriksson:
Distributed user interfaces for clinical ubiquitous computing applications.
I. J. Medical Informatics 74(7-8): 545-551 (2005) |
| 2004 |
|---|
| 33 | EE | Magnus Själander,
Henrik Eriksson,
Per Larsson-Edefors:
An Efficient Twin-Precision Multiplier.
ICCD 2004: 30-33 |
| 32 | | Henrik Eriksson,
Per Larsson-Edefors:
Glitch-conscious low-power design of arithmetic circuits.
ISCAS (2) 2004: 281-284 |
| 31 | | Henrik Eriksson,
Per Larsson-Edefors:
Dynamic pass-transistor dot operators for efficient parallel-prefix adders.
ISCAS (2) 2004: 461-464 |
| 30 | EE | Magnus Irestig,
Henrik Eriksson,
Toomas Timpka:
The impact of participation in information system design: a comparison of contextual placements.
PDC 2004: 102-111 |
| 2003 |
|---|
| 29 | EE | Per Larsson-Edefors,
Daniel Eckerbert,
Henrik Eriksson,
Lars J. Svensson:
Dual Threshold Voltage Circuits in the Presence of Resistive Interconnects.
ISVLSI 2003: 225-230 |
| 28 | | Henrik Eriksson,
Kimmo Eriksson,
Jonas Sjöstrand:
Exact Expectations for Random Graphs and Assignments.
Combinatorics, Probability & Computing 12(4): 401-412 (2003) |
| 27 | EE | Henrik Eriksson:
Using JessTab to Integrate Protégé and Jess.
IEEE Intelligent Systems 18(2): 43-50 (2003) |
| 26 | EE | 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): 89-123 (2003) |
| 2002 |
|---|
| 25 | | Henrik Eriksson:
The JESSTAB Approach to Protégé and JESS Integration.
Intelligent Information Processing 2002: 237-248 |
| 24 | EE | Henrik Eriksson,
Erik Berglund,
Peter Nevalainen:
Using knowledge engineering support for a Java documentation viewer.
SEKE 2002: 57-64 |
| 2001 |
|---|
| 23 | EE | Henrik Eriksson,
Per Larsson-Edefors,
William P. Marnane:
A regular parallel multiplier which utilizes multiple carry-propagate adders.
ISCAS (4) 2001: 166-169 |
| 22 | EE | 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: 84-87 |
| 21 | EE | Henrik Eriksson,
Kimmo Eriksson,
Johan Karlander,
Lars J. Svensson,
Johan Wästlund:
Sorting a bridge hand.
Discrete Mathematics 241(1-3): 289-300 (2001) |
| 2000 |
|---|
| 20 | EE | Henrik Eriksson,
Per Larsson-Edefors:
Impact of Voltage Scaling on Glitch Power Consumption.
PATMOS 2000: 139-148 |
| 19 | EE | Niklas Eriksen,
Henrik Eriksson,
Kimmo Eriksson:
Diagonal Checker-jumping and Eulerian Numbers for Color-signed Permutations.
Electr. J. Comb. 7: (2000) |
| 18 | EE | Rego Granlund,
Erik Berglund,
Henrik Eriksson:
Designing web-based simulation for learning.
Future Generation Comp. Syst. 17(2): 171-185 (2000) |
| 1998 |
|---|
| 17 | EE | Henrik Eriksson,
Kimmo Eriksson:
Affine Weyl Groups as Infinite Permutations.
Electr. J. Comb. 5: (1998) |
| 16 | EE | Gerd Eriksson,
Henrik Eriksson,
Kimmo Eriksson:
Moving a Food Trolley Around a Corner.
Theor. Comput. Sci. 191(1-2): 193-203 (1998) |
| 1996 |
|---|
| 15 | EE | Henrik Eriksson:
Expert Systems as Knowledge Servers.
IEEE Expert 11(3): 14-19 (1996) |
| 14 | EE | 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): 303-332 (1996) |
| 1995 |
|---|
| 13 | EE | Henrik Eriksson,
Yuval Shahar,
Samson W. Tu,
Angel R. Puerta,
Mark A. Musen:
Task Modeling with Reusable Problem-Solving Methods.
Artif. Intell. 79(2): 293-326 (1995) |
| 12 | | 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 7(3): 257-289 (1995) |
| 11 | EE | Henrik Eriksson:
Pebblings.
Electr. J. Comb. 2: (1995) |
| 1994 |
|---|
| 10 | | Angel R. Puerta,
Henrik Eriksson,
John H. Gennari,
Mark A. Musen:
Model-Based Automated Generation of User Interfaces.
AAAI 1994: 471-477 |
| 9 | | Angel R. Puerta,
Henrik Eriksson,
John H. Gennari,
Mark A. Musen:
Beyond Data Models for Automated User Interface Generation.
BCS HCI 1994: 353-366 |
| 8 | EE | Henrik Eriksson,
Angel R. Puerta,
Mark A. Musen:
Generation of knowledge-acquisition tools from domain ontologies.
Int. J. Hum.-Comput. Stud. 41(3): 425-453 (1994) |
| 1993 |
|---|
| 7 | | Henrik Eriksson:
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools.
IJCAI 1993: 510-518 |
| 6 | | Henrik Eriksson,
Mark A. Musen:
Metatools for Knowledge Acquisition.
IEEE Software 10(3): 23-29 (1993) |
| 1992 |
|---|
| 5 | | Henrik Eriksson,
Mark A. Musen:
Conceptual Models for Automatic Generation of Knowledge-Acquisition Tools.
EKAW 1992: 14-36 |
| 4 | EE | Henrik Eriksson:
Domain-oriented knowledge-acquisition tool for protein purification planning.
Journal of Chemical Information and Computer Sciences 32(1): 90-95 (1992) |
| 3 | EE | Henrik Eriksson,
Per Larses:
ALF-A: a knowledge acquisition tool for troubleshooting of laboratory equipment.
Journal of Chemical Information and Computer Sciences 32(2): 139-144 (1992) |
| 2 | EE | Henrik Eriksson:
A survey of knowledge acquisition techniques and tools and their relationship to software engineering.
Journal of Systems and Software 19(1): 97-107 (1992) |
| 1989 |
|---|
| 1 | | Henrik Eriksson,
Kristian Sandahl:
Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein Purification.
SCAI 1989: 443-452 |
