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 |