Henrik Eriksson

2007
42	EE	Henrik Eriksson: An Annotation Tool for Semantic Documents. ESWC 2007: 759-768
41	EE	Henrik Eriksson: Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers. PATMOS 2007: 566-575
40	EE	Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager: Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. SAFECOMP 2007: 264-269
39	EE	Henrik Eriksson: The semantic-document approach to combining documents and ontologies. International Journal of Man-Machine Studies 65(7): 624-639 (2007)
38	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
37	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
36	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
35	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
34	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
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

Coauthor Index

1	Astrit Ademaj	[40]
2	Egbert Althammer	[36]
3	Atila Alvandpour	[22]
4	George Andrews	[38]
5	Erik Berglund	[18] [24]
6	Monica Crubézy	[26]
7	György Csertán	[36]
8	Mindaugas Drazdziulis	[34]
9	Daniel Eckerbert	[29] [35]
10	Niklas Eriksen	[19]
11	Gerd Eriksson	[16]
12	Kimmo Eriksson	[16] [17] [19] [21] [28]
13	Ray W. Fergerson	[26]
14	John H. Gennari	[9] [10] [12] [14] [26]
15	László Gönczy	[36]
16	Rego Granlund	[18]
17	William E. Grosso	[26]
18	Magnus Irestig	[30]
19	D. Johansson	[37]
20	Johan Karlander	[21]
21	Per Larses	[3]
22	Per Larsson-Edefors	[20] [22] [23] [29] [31] [32] [33] [34] [35] [37]
23	Bernhard Leiner	[40]
24	William P. Marnane	[23]
25	Mark A. Musen	[5] [6] [8] [9] [10] [12] [13] [14] [26]
26	Peter Nevalainen	[24]
27	Natalya Fridman Noy (Natasha Fridman Noy, Natasha F. Noy)	[26]
28	András Pataricza	[36]
29	Fedor Petrov	[38]
30	Angel R. Puerta	[8] [9] [10] [13] [14]
31	Dan Romik	[38]
32	Thomas E. Rothenfluh	[14]
33	Kristian Sandahl	[1]
34	Martin Schlager	[40]
35	Erwin Schoitsch	[36]
36	M. Scholin	[37]
37	Yuval Shahar	[12] [13]
38	Mary Sheeran	[37]
39	Magnus Själander	[33] [34] [37]
40	Jonas Sjöstrand	[28]
41	Lars J. Svensson	[21] [29]
42	Toomas Timpka	[30]
43	Samson W. Tu	[12] [13] [14] [26]
44	Jonny Vinter	[36] [40]
45	Johan Wästlund	[21]

Colors in the list of coauthors