HomeCommunity → Links → Software
Links to Software

Operating System
Exotic Operating System
Network Technology
Window System
File System
Semantic File/Storage System
Semantic (World Wide) Web
Natural Language Processing
Natural Image Processing
Multimodal Computing
Formal Modeling
Formal Verification
Software Development Tool
Intelligent/Cognitive Agent
Intelligent/Cognitive Interface
Mixed Reality
Collaborative Virtual Environment
Computer-Aided x
Machine Simulation
Robot Simulation
Human Simulation/Holomer
Earth Simulation/Virtual Globe
Astronomy (Observation)
Space Simulation
Algorithmic/Generative/Evolutionary/Organic ... Art/Science


A link marked with * means under investigation.


Operating System

  • Gentoo Community and Foundation: Gentoo™ L!nux
  • Juan Romero Pardines and contributors: Void - A distro based on the XBPS packaging system
  • NixOS - The Purely Functional Linux Distribution
  • Hisham Muhammad and GoboLinux team: GoboLinux
  • Fermilab, European Organization for Nuclear Research (CERN), and various other Labs and Universities around the World: Scientific Linux (SL)
  • University of Cambridge, Computer Laboratory, Robert N. M. Watson and Jonathan Anderson: Capsicum
  • Amon Ott, Guillaume Destuynder, Michal Purzynski, Boldizsár Bencsáth and supporters: RSBAC - Rule Set Based Access Control
  • Alexander Peslyak, Dmitry D. Khlebnikov, Alexey V. Vissarionov, Jen Linkova, Andrey V. Stolyarov and supporters: Openwall GNU/*/Linux®
  • Brad Spengler and supporters: grsecurity/PaX

Exotic Operating System

  • University of Texas at Austin, Computational Logic, and Defense Advanced Research Projects Agency (DARPA), William R. Bevier: KIT - A Verified Operating System Kernel [PDF]
  • University of Adelaide, Department of Computer Science, and University of Sydney, Department of Computer Science, Alan Dearle, Rex di Bona, James Farrow, Frans Henskens, Anders Lindström, John Rosenberg, and Francis Vaughan: Grasshopper: An orthogonally persistent operating system [PDF]
  • Massachusetts Institute of Technology, Laboratory for Computer Science: Exokernel and library Operating System (libOS)
    • Dawson R. Engler and M. Frans Kaashoek: Exterminate All Operating System Abstractions [PDF]
    • M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hétor M. Bricefio, Russell Hunt, David Mazikres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie: Xok and ExOS - Application Performance and Flexibility on Exokernel Systems [PDF]
  • University of Texas at Arlington, Computer Science and Engi- neering Department, Amit Vasudevan, Ramesh Yerraballi, and Ashish Chawla: KLOS: A High Performance Kernel-Less Operating System [PDF]
  • University of California at Santa Barbara, Computer Science Department, Dave Probert, John Bruno, and M. Karaorman: SPACE: A New Approach to Operating System Abstraction [PDF]
  • Lucent Technologies and University of California at Santa Barbara, John Bruno, José Brustoloni, Eran Gabber, Avi Silberschatz, and Christopher Small: Pebble: A Component-Based Operating System for Embedded Applications [PDF] - inspired by SPACE
  • University of Utah, Department of Computer Science: Flux project
    • Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Shantanu Goel, and Steven Clawson: Flux μ-kernel Environment (Fluke) - Microkernel Meets Recursive Virtual Machines Microkernel [PDF]
    • Patrick Alexander Tullmann: The Alta Operating System [PDF]
  • Vrije Universiteit Amsterdam, Leendert van Doorn, Philip Homburg, and Andrew S. Tanenbaum: Paramecium: an extensible object-based kernel [PDF]
    (see also Exokernel and Alta)
  • Centre National de la Recherche Scientifique (CNRS), Laboratoire d'informatique de Paris 6 (LIP6), and Institut National de Recherche en Informatique et en Automatique (INRIA) Rocquencourt: Virtual Virtual Machine (VVM)
    • Bertil Folliot, Ian Piumarta, and Fabio Riccardi: Virtual Virtual Machines [PDF]
    • Ian Piumarta, Bertil Folliot, Lionel Seinturier, and Carine Baillarguet: Highly configurable operating systems: the VVM approach [PDF]
    • Bertil Folliot: The Virtual Virtual Machine Project [PDF]

    (see also SimAgent, SEAM, microkernel, reflection, and ontology related works, and The Proposol)

  • Jochen Liedtke: L4
    • Oregon Health & Science University, OGI School of Science and Engineering, and Portland State University, Department of Computer Science, Thomas Hallgren, Mark P Jones, Rebekah Leslie Andrew, and Tolmach: A Principled Approach to Operating System Construction in Haskell [PDF]
  • Sun Microsystems, James G. Mitchell, Jonathan J. Gibbons, Graham Hamilton, Peter B. Kessler, Yousef A. Khalidi, Panos Kougiouris, Peter W. Madany, Michael N. Nelson, Michael L. Powell, and Sanjay R. Radia: An Overview of the Spring System [PDF]
  • OntoLab: SASOS4Fun - Single Adress Space Operating System for Fun
  • National ICT Australia, Geoffrey Lee and Charles Gray: L4/Darwin [(Darbat)]: Evolving UNIX [PDF]
  • University of Illinois at Urbana-Champaign, Department of Computer Science: μChoices
    • See-Mong Tang, David K. Raila, and Roy H. Campbell: A Case for Nano-Kernels [PDF]
    • Roy H. Campbell and See-Mong Tang: μChoices: An Object-Oriented Multimedia Operating System [PDF]
    • Peter W. Madany, Nayeem Islam, Panos Kougiouris, and Roy H. Campbell: Reification and Reflection in C++: An Operating Sytem Perspective [PDF]
  • Sony Computer Science Laboratory: Muse
    • Keio University, Department of Computer Science, Yasuhiki Yokote, Fumio Teraoka, Atsushi Mitsuzawa, Nobuhisa Fujinami, and Mario Tokoro: The Muse Object Architecture: A New Operating System Structuring Concept [PDF]
    • Yasuhiki Yokote, Fumio Teraoka, and Mario Tokoro: A Reflective Architecture for an Object-Oriented Distributed Operating System [PDF]
  • Sony Computer Science Laboratory: Apertos
    • Yasuhiki Yokote: The Apertos Reflective Operating System: The Concept and Its Implementation [PDF]
    • Yasuhiki Yokote: Kernel Structuring for Object-Oriented Operating Systems: The Apertos Approach [PDF]
    • Takao Tenma, Yasuhiko Yokote, and Mario Tokoro: Implementing Persistent Objects in the Apertos Operating System [PDF]
    • Keio University, Department of Computer Science, and University of Victoria, Department of Computer Science, Kenichi Murata, R. Nigel Horspool, Eric G. Manning, Yasuhiko Yokote, and Mario Tokoro: Unification of Active and Passive Objects in an Object-Oriented Operating System [PDF]
  • University of Tokyo, Department of Information Science, Yuuji Ichisugi, Satoshi Matsuoka, and Akinori Yonezawa: RbCl: A Reflective Object-Oriented Concurrent Language without Run-time Kernel [PDF]
  • University of Notre Dame, Dinesh Chandrakant Kulkarni: Pi: A New Approach for Flexibility in System Software [PDF]
  • Ministry of International Trade and Industry (MITI) of Japan, Fifth Generation Computer Systems project (FGCS), Institute for New Generation Computer Technology (ICOT):
  • University of Karlskrona/Ronneby, Mikael Svahnberg: Background Analysis and Design of ABOS, an Agent-Based Operating System [PDF]

Network Technology

  • LoLiTech, Institut National de Recherche sur les Transports et leur Securité (INRETS), Laboratoire Central des Ponts et Chaussées (LCPC), Laboratoire sur les Interactions (LIVIC) and Chatten Associates: CanFestival - OpenSource CANOpen library

Window System

  • Université Paris-Sud, Laboratoire de Recherche en Informatique (LRI), and Institut National de Recherche en Informatique et Automatique (INRIA), Olivier Chapuis and Nicolas Roussel: Metisse is not a 3D Desktop! [PDF] (already linked by the Mekensleep Underware software library set)

File System

  • Carnegie Mellon University, Electrical and Computer Engineering, Niraj Tolia: Content Addressable Storage Performance Enhancement by Recipe (CASPER) - A Recipe Based File System [PDF]
  • Pennsylvania State University, Department of Computer Science and Engineering, Murali Vilayannur, Partho Nath, and Anand Sivasubramaniam: Content Addressable Parallel File System (CAPFS) - Providing Tunable Consistency for a Parallel File Store [PDF]

Semantic File/Storage System

  • Namesys: Reiser4 - now offline
    Please, go directly to our Reiser 4 webpage.
  • University of Windsor, Rajesh Shenoy: Investigation of the use of the object-oriented paradigm in the construction of a triple store based on dynamic hashing. [PDF]
  • Engineering and Physical Sciences Research Council (EPSRC), Advanced Knowledge Technologies (AKT) project: 3store
  • Hewlett-Packard Development Company: Jena2 Database Interface
  • Annette Brückner: Polygon(al)-Data[bank] Model - Patent WO9715015A2 - Information system and process for storing data therein

Semantic (World Wide) Web

  • Vrije Universiteit, Amsterdam, Division of Mathematics and Computer Science and Nanyang Technological University, Singapore, School of Communication and Information, Ying Ding and Schubert Foo: Ontology Research and Development Part 2 - A Review of Ontology Mapping and Evolving [PDF]
  • Norwegian University of Science and Technology, Department of Computer and Information Science, Xiaomeng Su, Terje Brasethvik, and Sari Hakkarainen: Ontology mapping through analysis of model extension [PDF]
  • University of Southampton, Department of Electronics and Computer Science, and University of Edinburgh, Centre for Intelligent Systems and their Applications, Yannis Kalfoglou and Marco Schorhemmer: Information-Flow-based Ontology Mapping [PDF]
  • Universities of Maryland, College Park and Baltimore County, Department of Computer Science, and United States Department of Defense (DoD), Brian J. Peterson, William A. Andersen, and Joshua Engel: Knowledge Bus - Generating Application-focused Databases from Large Ontologies [PDF]
  • * City University, London, Department of Computing, Michael Schroeder: Intelligent Information Integration From Infrastructure through Consistency Management to Information Visualisation [PDF]
  • Universidade Federal da Bahia, Guillaume Barreau and Debora Abdalla: Semantic Linux - A fertile ground for the Semantic Web [PDF]
  • Simon Reinhardt: OpenStreetMap Wrapper - now offline
    This library will be replaced by our own solution.
  • University of Maine, Department of Spatial Information Science and Engineering, Frederico T. Fonseca and Max J. Egenhofer: Ontology-driven Geographic Information System [PDF]
  • a simple library for keyword extraction

Natural Language Processing

  • University of Twente, Parlevink Language Engineering Group, Mariet Theune: Natural Language Generation for dialogue: system survey [PDF]
  • Defense Advanced Research Projects Agency (DARPA) and MITRE®: Galaxy Communicator
    • Carnegie Mellon University (CMU), Speech at CMU, CMU Sphinx Group: CMU Communicator
    • Massachusetts Institute of Technology (MIT), Computer Science and Artificial Intelligence Laboratory, Spoken Language Systems (SLS):
      • Lauren M. Baptist: Genesis-II: A Language Generation Module for Conversational Systems [PDF]
      • Mercury
    • Massachusetts Institute of Technology (MIT), Department of Electrical Engineering and Computer Science, Vivienne C. Lee: LanguageLand: A Multimodal Conversational Spoken Language Learning System [PDF]
    • Stanford Research Institute (SRI), Artificial Intelligence Center and the Speech Technology and Research Laboratory: SRI Communicator System
  • Carnegie Mellon University (CMU), Speech at CMU, Sphinx Group
  • National Aeronautics and Space Administration (NASA), Carnegie Mellon University (CMU), Kalamazoo College, University of Rochester, Linköpings Universitet, and Santa Clara University: Talking through procedures: An intelligent space station procedure assistant [PDF]
  • National Aeronautics and Space Administration (NASA), Ames Research Center, Research Institute for Advanced Computer Science, Manny Rayner, Beth Ann Hockey, and Frankie James: A Compact Architecture for Dialogue Management Based on Scripts and Meta-Outputs [PDF]
    (see the Personal Satellite Assistant (PSA) in the section Robotics of the Links to Hardware webpage)
  • Carnegie Mellon University (CMU), Speech at CMU, Sphinx Group, and Defense Advanced Research Projects Agency (DARPA): CMU Sphinx
  • University of Colorado, Boulder, Center for Spoken Language Research (CSLR): Phoenix semantic parser - now offline
    Please use our local copies:
  • Carnegie Mellon University (CMU), Speech at CMU, Sphinx Group and Language Technologies Institute (LTI), National Science Foundation (NSF), and Defense Advanced Research Projects Agency (DARPA): FestVox
  • University of Edinburgh, Centre for Speech Technology Research (CSTR), Engineering and Physical Sciences Research Council (EPSRC), and Information Society Technologies (IST): Festival Speech Synthesis System
  • Kyoto University, Kawahara Laboratory, Japan Information-technology Promotion Agency, Nara Institute of Science and Technology, Shikano Laboratory, and Nagoya Institute of Technology, Akinobu Lee and Julius project team: Julius - Large Vocabulary Continuous Speech Recognition Engine
  • Nagoya Institute of Technology, Department of Computer Science, Keiichi Tokuda, Akinobu Lee, Keiichiro Oura, Daisuke Yamamoto, and MMDAgent Project Team: MMDAgent - Toolkit for building voice interaction systems
  • Japan Advanced Institute of Science and Technology, The University of Tokyo, Toyohashi University of Technology, Kyoto Institute of Technology, Advanced Telecommunications Research Institute International, National Institute of Advanced Industrial Science and Technology, Seikei University, Shizuoka University, Nara Institute of Science and Technology, Ritsumeikan University, Tokyo Institute of Technology, Nagoya Institute of Technology, The Advanced Software Technology and Mechatronics Research Institute of Kyoto, and Chiba University, Shin-ichi Kawamoto, Hiroshi Shimodaira, Tsuneo Nitta, Takuya Nishimoto, Satoshi Nakamura, Katsunobu Itou, Shigeo Morishima, Tatsuo Yotsukura, Atsuhiko Kai, Akinobu Lee, Yoichi Yamashita, Takao Kobayashi, Keiichi Tokuda, Keikichi Hirose, Nobuaki Minematsu, Atsushi Yamada, Yasuharu Den, Takehito Utsuro, and Shigeki Sagayama: Galatea: Open-source Software for Developing Anthropomorphic Spoken Dialog Agents [PDF]
  • Microelectronics and Computer Technology, Chung Hee Hwang: Incompletely and Imprecisly Speaking Using Dynamic Ontologies for Representing and Retrieving Information [PDF]

Natural Image Processing

Multimodal Computing

  • Andreas Schürr:
    • "Introduction to PROGRES, an Attribute Graph Grammar Based Specification Language"
    • "PROGRES: A [Very High Level (]VHL[)]-Language Based on Graph Grammars[/Graph Rewriting Systems]"
    • "PROGRES, A Visual Language and Environment for PROgramming with Graph REwriting Systems"
    • "Rapid Programming with Graph Rewrite Rules"

  • Albert Zuendorf: "Implementation of the Imperative/Rule Based Language PROGRES"
  • Andreas Schürr, A.J. Winter, and Albert Zuendorf: "Declarative Reasoning about the Structure of Object-Oriented Systems"
  • Budapest University of Technology and Economics, Department of Computer Science and Information Theory, and Department of Measurement and Information Systems
    • Gergely Varró, Katalin Friedl, and Dániel Varró: Graph Transformation in Relational Databases [PDF]
    • Gergely Varró and Dániel Varró: Graph Transformation with Incremental Updates [PDF]
  • Philadelphia University, Department of Basic Science, Hashemite University, Department of Physics, Singapore Polytechnic, School of Chemical and Life Sciences, University of Melbourne, Department of Zoology, Amani Naser Tahat, Maurice HT Ling: Mapping Relational Operations onto Hypergraph Model [PDF]
  • King's College London, Department of Computer Science, Peter Mc Brien and Alexandra Poulovassilis: A Uniform Approach to Inter-Model Transformations [PDF]
    (see also Structured Entity-Relationship Model (SERM))
  • * Universidad de Chile, Department of Computer Science, Renzo Angles and Claudio Gutierrez: Querying RDF Data from a Graph Database Perspective [PDF]

Formal Modeling

  • Umbrello team: Umbrello UML® Modeller (part of KDE)
  • Budapest University of Technology and Economics, Department of Computer Science and Information Theory, and Department of Measurement and Information Systems
    • Gergely Varró: Towards Incremental Graph Transformation in Fujaba [PDF]
    • Dániel Varró, Gergely Varró, and András Pataricza: Towards an XMI based Model Interchange Format for Graph Transformation Systems [PDF]
  • IEEE Computer Society Standards Organization, Foundation for Intelligent Physical Agents (FIPA): AUML - Agent-based Unified Modeling Language
  • Elmar J. Sinz: Structured Entity-Relationship Model (SERM)
  • University Indiana, School of Informatics, Mehmet M. Dalkilic, Manoj Jain, Dirk Van Gucht, and Anurag Mendhekar: Design and Implemention of Reflective SQL [PDF]
  • Technische Universität Dortmund, Lehrstuhl X, Fachbereich Software-Technologie, Alexander Fronk und Jörg Pleumann: Petri-Net-Entity-Relationship Model - Petrinetzanalyse mit Relationaler Algebra
  • Kai-Ying Chen and Shui-Shong Lu: Relational Petri-Net-based Object-oriented Modeling - Petri-net and entity-relationship diagram based object-oriented design method for manufactur- ing systems control
  • * Consiglio Nazionale delle Ricerche (CNR), Istituto di Ingegneria Biomedica (IsIB), Nicola Guarino: Formal Ontology and/in Information Systems [PDF]
  • * University of Otago, Department of Information Science and Technische Universität Dortmund, Lehrstuhl VIII, Fachbereich für Künstliche Intelligenz, Stephen Cranefield, Stefan Haustein, and Martin Purvis: UML-Based Ontology Modeling for Software Agents [PDF]
  • University of Otago, Department of Information Science, Stephen Cranefield, Martin Purvis, Mariusz Nowostawski, and Peter Hwang: Ontologies for Interaction Protocols [PDF]
  • National Aeronautics and Space Administration (NASA), Glenn Research Center, William Henry Jones:
    • Project Integration Architecture: TM-2001-210750 Architect- ural Overview [PDF]
    • Project Integration Architecture: TM-2005-213614 Formulation of Semantic Parameters [PDF]
  • University of Hong Kong, Department of Computer Science, T.H. Tse and C.P. Cheng: NOODLE - Towards a 3-dimensional Net-based Object-Oriented DeveLopment Environment [PDF]
  • University of Queensland, Department of Computer Science, and Queensland University of Technology, Faculty of Information Technology, Peter N. Creasy and Henderik A. Proper: A Generic Model for 3-Dimensional Conceptual Modelling [PDF]
  • * University of Geneva, Centre Universitaire d'Informatique, Giovanna Di Marzo Serugendo and Michel Deriaz: Specification-Carrying Code for Self-Managed Systems [PDF]
  • National University of Singapore, Department of Information Systems and Computer Science
    • Rafael Ramirez: Representing and Executing Real-time Systems [PDF]
    • Joxan Jaffar, Rafael Ramirez, and Roland H.C. Yap: Executable Specifications for Concurrent Programming [PDF]
      (see also RbCl)

Formal Verification

  • University of Texas at Austin, Department of Computer Sciences, E. Allen Emerson and Kedar S. Namjoshi: On Model-Checking of Non-Deterministic Infinite-State Systems [PDF]
  • Universite de Liege, Faculté des Sciences Appliquées, Bernard Boigelot: Symbolic Methods for Exploring Infinite State Spaces [PDF]
  • Technical University of Budapest, Department of Measurement and Information Systems, Dániel Varró, Gergely Varró, András Pataricza:
    • Designing the automatic transformation of visual languages [PDF]
    • Automatic Graph Transformation in System Verification [PDF]
  • Institut de Recherche en Informatique et Systèmes Aléatoires, Olaf Burkart and Yves Marie Quemener: Model-Checking of Infinite Graphs Defined by Graph Grammars
  • University of Lugano, Informatics Faculty, Formal Verification and Security Group: OpenSMT
  • Stanford University, Stanford Verification Group, New York University, Computer Science Department, and University of Iowa: CVC3 - Cooperating Validity Checker
  • Eidgenössische Technische Hochschule Zürich, Daniel Kroening, and Carnegie Mellon University (CMU), Computer Science Department, Edmund Clarke: DDverify - Extraction Tool of Linux Device Drivers
  • Ecole des Mines de Nantes: Coccinelle - a Framework for Linux Device Driver Evolution
    • Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, and Gilles Muller: Towards Easing the Diagnosis of Bugs in OS Code
    • Julia L. Lawall, Julien Brunel, René Rydhof Hansen, Henrik Stuart, and Gilles Muller: WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code
    • Julien Brunel, Damien Doliguez, René Rydhof Hansen, Julia Lawall, and Gilles Muller: A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
  • University of York, Department of Computer Science, Jan Tobias Mühlberg and Gerald Lüttgen: BLASTing Linux Code
  • University of Texas at Austin: Pepper: toward practical verifiable computation
    • Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish: Pepper - Making Argument Systems for Outsourced Computation Practical (Sometimes) [PDF]
    • Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish: Ginger - Taking proof-based verified computation a few steps closer to practicality [PDF]
    • Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish: Allspice - A hybrid architecture for interactive verifiable computation [PDF]
    • University of Pennsylvania, Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish: Pantry - Verifying computations with state [PDF]
    • New York University, Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish: Buffet - Efficient RAM and control flow in verifiable outsourced computation [PDF]
  • University of Aberdeen, Department of Computer Science, Andrew Watson and Alun Preece: Verifying Ontological Commitment in Knowledge-Based Systems [PDF]

Software Development Tool

  • Simon Peyton Jones, Norman Ramsey, C-- team, sponsors, community, and friends: C--

Intelligent/Cognitive Agent

  • University of Birmingham, School of Computer Science: SIM_AGENT - SimAgent TOOLKIT
  • Nagoya Institute of Technology, Department of Intelligence and Computer Science, Tadachika Ozono and Toramatsu Shintani: Reflective Agent Programming Environment RXF and its Multi-Agent Tracer [PDF]
  • Université Paris, Institut de Bio(techno)logie des Plantes (IBP), Laboratoire Formes et Intelligence Artificielle (LAFORIA), and Institut National de la Santé Et de la Recherche Médicale (INSERM) Unité 296, Faculté de Médecine, Zahia Guessoum and Michel Dojata: A Real-Time Agent Model in an Asynchronous-Object Environment [PDF]
  • Utrecht University, Faculty of Science, Department of Information and Computing Sciences: 3APL
  • Jomi F. Hübner, Rafael H. Bordini, and many colleagues: Jason
  • University of Liverpool, Department of Computer Science, and Hewlett-Packard Laboratories, Bristol: Nuin - original website now offline
    • Towards Practical Reasoning Agents for the Semantic Web [PDF]
  • * Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Analyse et d'Architecture des Systèmes (LAAS): Open source Procedural Reasoning System
  • Carnegie Mellon University, Intelligent Software Agents Lab and Robotics Institute: RETSINA - Reusable Environment for Task-Structured Intelligent Networked Agents
  • Universidade Nova de Lisboa, Departamento de Informática, João Alexandre Leite, José Júlio Alferes, and Luís Moniz Pereira:
    • Dynamic Logic Programming with Multiple Dimensions [PDF]
    • MINERVA - A Dynamic Logic Programming Agent Architecture [PS.GZ][PDF]
  • Royal Melbourne Institute of Technology University, School of Computer Science and Information Technology, James Harland and Michael Winikoff: Agents via Mixed-mode of Linear Logic [PDF]
  • Università del Piemonte Orientale, Alessandria, Dipartimento di Informatica, and Università di Torino, Dipartimento di Informatica, Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, and Stefania Montani: A temporal approach to the specification and verification of Interaction Protocols [PDF]
    (see also Spin and HSF-Spin)
  • Carnegie Melon University, Katia Sycara and Massiomo Palucci: Ontologies in Agent Architectures [PDF]
  • Brigham Young University, Computer Science Department, Muhammed Al-Muhammed and David W. Embley: Towards Enabling Communication among Independent Agents in the Semantic Web [PDF]
  • National Institute of Standards and Technology (NIST), Manufacturing Engineering Laboratory, Intelligent Systems Division, James S. Albus and Anthony J. Barbera: [Real-time Control System (]RCS[)]: A Cognitve Architecture for Intelligent Multi-Agent Systems [PDF]
  • Carnegie Mellon University, School of Computer Science, Joseph A. Giampapa, Katia Sycara, and Austin Fath: A Multi-Agent System for Automatically Resolving Network Interoperability Problems [PDF] (based on Maude and RETSINA; see OntoBot and above)
  • University of Salford, School of Science, and University of Piraeus, Department of Informatics, Knowledge Engineering Lab: Virtual InTelligent Agents with Logic (VITAL)
    • George Anastassakis, Tim Ritchings, and Themis Panayiotopoulos: Multi-agent Systems as Intelligent Virtual Environments [PDF]

Intelligent/Cognitive Interface

  • Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Lab (CSAIL), Terry Winograd: Procedures as a Representation for Data in a Computer Program for Understanding Natural Language [PDF]
  • Defense Advanced Research Projects Agency (DARPA), Information Processing Technology Office (IPTO): PAL - Personalized Assistant that Learns
  • Stanford Research Institute (SRI): CALO - Cognitive Agent that Learns and Organizes
    The two systems are better known now as the (Proactive) Intelligent Personal Assistant ((P)IPA) and knowledge navigator systems Apple Siri, Google Now, and Samsung S Voice, which have been illegally copied from this website.


  • Martin Gogolla, Oliver Radfelder, and Mark Richters: Towards Three-Dimensional Animation of UML® Diagrams
  • Technische Universität Dortmund, Lehrstuhl Software-Technologie: Projektgruppe PG458 3Debug
  • Télécom ParisTech, Électricité de France, and Daniel Girardeau-Montaut, and contributors: CloudCompare
  • Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), David Auber, maintainers and contributors: Tulip
  • Centre de Bioinformatique de Bordeaux: ProViz
  • Universität Passau, Fakultät für Mathematik und Informatik, Falk Schreiber: Visualisierung biochemischer Reaktionsnetze [PDF]
  • MakeHuman developer team, sponsors, community, and friends: MakeHuman

Mixed Reality

  • Hirokazu Kato and Mark Billinghurst, University of Washington, Human Interface Technology Laboratory (HIT Lab), University of Canterbury, HIT Lab NZ, and ARToolworks: ARToolKit
  • University of Canterbury, Human Interface Technology Laboratory New Zealand (HIT Lab NZ): osgART
  • AMIRE project: AMIRE - authoring mixed reality

Collaborative Virtual Environment

Computer-Aided x

  • Consiglio Nazionale delle Ricerche (CNR), Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), and PLaSM development team, sponsors, and community: PLaSM - Programming LAnguage for Solid Modeling


  • LoLiTech and Universidade do Porto, Faculdade de Engenharia (FEUP): Beremiz
  • National Institute of Standards and Technology (NIST) and LinuxCNC development team and community: LinuxCNC

Machine Simulation

Robot Simulation

Human Simulation/Holomer

  • University of Connecticut Health Center (UCHC), Center for Cell Analysis and Modeling (CCAM), National Resource for Cell Analysis and Modeling (NRCAM): Virtual Cell
  • Massachusetts Institute of Technology (MIT), Media Lab, Commonsense Computing Initiative: Roboverse - now offline
    Please, see also our local copy of the original Roboverse webpage.


  • Artem Pavlenko and Mapnik team: Mapnik
  • OpenStreetMap Foundation and friends: OpenStreetMap
  • Pelican Mapping, Jason Beverage and Glenn Waldron: osgEarth
  • Pelican Mapping, Glenn Waldron: osgGIS

Earth Simulation/Virtual Globe

  • KDE developer team, sponsors, community and friends, and KDE Education Project team: Marble
  • Helmut Mülner: Geothek
  • National Aeronautics and Space Administration (NASA), Chris Maxwell, Randy Kim, Tom Gaskins, Frank Kuehnel and Patrick Hogan: World Wind


Space Simulation

  • Stellarium developer team, sponsors, community, and friends: Stellarium
  • Chris Laurel and Celestia team: Celestia

Algorithmic/Generative/Evolutionary/Organic ... Art/Science


© and/or ® 2006-2012
Christian Stroetmann GmbH