2008 | ||
---|---|---|
35 | Lila Rao, Han Reichgelt, Kweku-Muata Osei-Bryson: Knowledge Elicitation Techniques for Deriving Competency Questions for Ontologies. ICEIS (3-2) 2008: 105-110 | |
34 | EE | Kam Fui Lau, Han Reichgelt, Vickie Booth, Larry Booth, Art Gowan: The Georgia WebBSIT: an innovative collaborative online baccalaureate degree in information technology. SIGITE Conference 2008: 205-212 |
33 | EE | Gayle J. Yaverbaum, Han Reichgelt: Computing Accreditation: Evolution and Trends Associated with U.S. Accrediting Agencies. Wiley Encyclopedia of Computer Science and Engineering 2008 |
2007 | ||
32 | EE | Gayle J. Yaverbaum, Doris K. Lidtke, Han Reichgelt, Stuart H. Zweben: Outcomes-based computing accreditation: program assessment. SIGCSE 2007: 281-282 |
31 | EE | Cheryl Aasheim, Art Gowan, Han Reichgelt: An IT program assessment process. SIGITE Conference 2007: 161-166 |
30 | EE | Gunjan Mansingh, Han Reichgelt, Kweku-Muata Osei-Bryson: CPEST: An expert system for the management of pests and diseases in the Jamaican coffee industry. Expert Syst. Appl. 32(1): 184-192 (2007) |
2006 | ||
29 | EE | Jacob R. Miller, Sandra Gorka, Barry M. Lunt, Joseph J. Ekstrom, Eydie Lawson, Han Reichgelt, Reza Kamali: Hiring the IT Graduate: What's in the Box? ITNG 2006: 6-10 |
28 | Joseph Barjis, Han Reichgelt: A Petri Net Based Methodology for Business Process Modeling and Simulation. MSVVEIS 2006: 3-15 | |
27 | EE | Stuart H. Zweben, Han Reichgelt, Gayle J. Yaverbaum: Outcomes-based computing accreditation criteria. SIGCSE 2006: 129-130 |
26 | EE | Joseph J. Ekstrom, Melissa Jane Dark, Barry M. Lunt, Han Reichgelt: A research agenda for information technology: does research literature already exist? SIGITE Conference 2006: 19-24 |
25 | EE | Art Gowan, Bryan MacDonald, Han Reichgelt: A configurable assessment information system. SIGITE Conference 2006: 77-82 |
2005 | ||
24 | EE | Stu Zweben, Han Reichgelt, Gayle J. Yaverbaum: Computing accreditation: a new criteria structure and new flexibility. SIGCSE 2005: 560-561 |
23 | EE | Cheryl Aasheim, Choong Kwon Lee, Han Reichgelt: Implementing the IT fundamentals knowledge area. SIGITE Conference 2005: 1-5 |
22 | EE | Ken Abernethy, Kevin Treu, George Piegari, Han Reichgelt: A learning object repository in support of introductory IT courses. SIGITE Conference 2005: 223-227 |
21 | EE | Choong Kwon Lee, Han Reichgelt: Skill requirements for IT managers and the IT model curriculum: a critical reflection. SIGITE Conference 2005: 381-382 |
2004 | ||
20 | EE | Adrian Gardiner, Vladan M. Jovanovic, Han Reichgelt: Second thoughts about a career in IT? SIGITE Conference 2004: 194-201 |
19 | EE | Han Reichgelt: Towards a research agenda for information technology. SIGITE Conference 2004: 248-254 |
2003 | ||
18 | EE | Faith Clarke, Han Reichgelt: The importance of explicitly stating educational objectives in computer science curricula. SIGCSE Bulletin 35(4): 47-50 (2003) |
17 | EE | Cindy H. Randall, Barbara Price, Han Reichgelt: Women in computing programs: does the incredible shrinking pipeline apply to all computing programs? SIGCSE Bulletin 35(4): 55-59 (2003) |
2001 | ||
16 | Ken Abernethy, Paula Gabbert, Han Reichgelt: Information Technology Training in Developing Countries. WCCE 2001: 787-794 | |
2000 | ||
15 | EE | Lila Rao, Han Reichgelt: STIRDAT: A system tightly integrating relational databases and a theorem prover. Data Knowl. Eng. 34(1): 1-20 (2000) |
1997 | ||
14 | EE | Ioannis Hatzilygeroudis, Han Reichgelt: Handling Inheritance in a System Integrating Logic in Objects. Data Knowl. Eng. 21(3): 253-280 (1997) |
1996 | ||
13 | EE | Lluís Vila, Han Reichgelt: The Token Reification Approach to Temporal Reasoning. Artif. Intell. 83(1): 59-74 (1996) |
1995 | ||
12 | Kieron O'Hara, Han Reichgelt, Nigel Shadbolt: Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson. Notre Dame Journal of Formal Logic 36(3): 475-495 (1995) | |
1994 | ||
11 | Joseph Downs, Han Reichgelt, Nigel Shadbolt: Automatic Derivation of World Update Schemes. AIPS 1994: 237-242 | |
10 | Ioannis Hatzilygeroudis, Han Reichgelt: The Inheritance Mechanism of a System Integrating Logic in Objects. ICTAI 1994: 724-727 | |
9 | Ioannis Hatzilygeroudis, Han Reichgelt: ACT-P: A Configurable Theorem-Power. Data Knowl. Eng. 12(3): 277-296 (1994) | |
8 | J. Stuart Aitken, Han Reichgelt, Nigel Shadbolt: Resolution Theorem Proving in Reified Modal Logics. J. Autom. Reasoning 12(1): 103-130 (1994) | |
1992 | ||
7 | Nigel Major, Han Reichgelt: COCA: A Shell for Intelligent Tutoring Systems. Intelligent Tutoring Systems 1992: 523-530 | |
1991 | ||
6 | Joseph Downs, Han Reichgelt: Integrating Classical and Reactive Planning within an Architecture for Autonomous Agents. EWSP 1991: 13-26 | |
1990 | ||
5 | Han Reichgelt, Nigel Shadbolt: A Specification Tool for Planning Systems. ECAI 1990: 541-546 | |
1988 | ||
4 | Peter Jackson, Han Reichgelt: A General Proof Method for Modal Predicate Logic without the Barcan Formula. AAAI 1988: 177-181 | |
3 | Bernie Elfrink, Han Reichgelt: The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. ECAI 1988: 232-237 | |
2 | Peter Jackson, Han Reichgelt: A Modal Proof Method for Doxastic Reasoning in Incomplete Theories. ECAI 1988: 480-485 | |
1987 | ||
1 | Peter Jackson, Han Reichgelt: A General Proof Method for First-Order Modal Logic. IJCAI 1987: 942-944 |