| 2007 |
|---|
| 30 | EE | Gayle J. Yaverbaum,
Doris K. Lidtke,
Han Reichgelt,
Stuart H. Zweben:
Outcomes-based computing accreditation: program assessment.
SIGCSE 2007: 281-282 |
| 29 | EE | Cheryl Aasheim,
Art Gowan,
Han Reichgelt:
An IT program assessment process.
SIGITE Conference 2007: 161-166 |
| 28 | 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 |
|---|
| 27 | 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 |
| 26 | | Joseph Barjis,
Han Reichgelt:
A Petri Net Based Methodology for Business Process Modeling and Simulation.
MSVVEIS 2006: 3-15 |
| 25 | EE | Stuart H. Zweben,
Han Reichgelt,
Gayle J. Yaverbaum:
Outcomes-based computing accreditation criteria.
SIGCSE 2006: 129-130 |
| 24 | 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 |
| 23 | EE | Art Gowan,
Bryan MacDonald,
Han Reichgelt:
A configurable assessment information system.
SIGITE Conference 2006: 77-82 |
| 2005 |
|---|
| 22 | EE | Stu Zweben,
Han Reichgelt,
Gayle J. Yaverbaum:
Computing accreditation: a new criteria structure and new flexibility.
SIGCSE 2005: 560-561 |
| 21 | EE | Cheryl Aasheim,
Choong Kwon Lee,
Han Reichgelt:
Implementing the IT fundamentals knowledge area.
SIGITE Conference 2005: 1-5 |
| 20 | EE | Ken Abernethy,
Kevin Treu,
George Piegari,
Han Reichgelt:
A learning object repository in support of introductory IT courses.
SIGITE Conference 2005: 223-227 |
| 19 | 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 |
|---|
| 18 | EE | Adrian Gardiner,
Vladan M. Jovanovic,
Han Reichgelt:
Second thoughts about a career in IT?
SIGITE Conference 2004: 194-201 |
| 17 | EE | Han Reichgelt:
Towards a research agenda for information technology.
SIGITE Conference 2004: 248-254 |
| 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 |
