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
Multiparadigmatic 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.
A link marked with ** means convicted of copyright infringement.
The marked links are kept, altered, or removed as need for documenting the history of our Ontologic System (OS).


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®

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 [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]
  • ** Virginia Tech, Ruslan Nikolaev and Godmar Back: VirtuOS - an operating system with kernel virtualization [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]
  • * ** Jörg F. Wittenberg:
    • ** Askemos [- Autonomous, Distributed Meta-Operating System based on Peer-to-Peer Computing, Blockchain, and Smart Contract for e.g. Cloud Computing]
    • * Askemos - A Distributed Settlement [PDF]

    (see the object-oriented, actor-based (concurrent), (resilient) fault-tolerant and reliable, distributed operating systems Muse and Apertos, and TUNES OS, and The Proposol)

Network Technology

  • Konrad-Zuse-Zentrum für Informationstechnik Berlin, Thorsten Schütt, Florian Schintke, and Alexander Reinefeld: Chord#: Structured Overlay Network for Non-Uniform Load-Distribution [PDF]
  • 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
  • Institute Eurécom, Ernst Biersack, France Tèlècom R&D, Gwendal Simon, and University of Mannheim, Department of Computer Science IV, Moritz Steiner: Distributed Dynamic Delaunay Triangulation in d-Dimensional Spaces [PDF]

    (see the section Collaborative Virtual Environment (CVE) and the CVEs Solipsis and ASCEND based on VAST)

  • National Central University, Taiwan, Department of Computer Science and Information Engineering, Academia Sinica, Institute of Information Science and Institute of Physics, Tamkang University, Department of Computer Science and Information Engineering, Université Paris, Laboratoire d'informatique de Paris 6 (LIP6), and University of Hong Kong, Department of Computer Science, VAST development team and contributors, sponsors, and community: [Voronoi-based Overlay Network (]VON[)]-based Application-layer [Spatial Publish Subscribe (]SPS[)] with Topology-awareness (VAST)
    • Shun-Yun Hu, Jui-Fa Chen, and Tsu-Han Chen: VON: A Scalable Peer-to-Peer Network for Virtual Environments [PDF]
    • Shun-Yun Hu and Kuan-Ta Chen: VSO: [Voronoi] Self-organizing [Overlay] Spatial Publish Subscribe [PDF]
    • Shun-Yun Hu, Chuan Wu, Eliya Buyukkaya, Chien-Hao Chien, Tzu-Hao Lin, Maha Abdallah, and Jehn-Ruey Jiang: VAST: A Spatial Publish Subscribe Overlay for Massively Multiuser Virtual Environments [PDF]
    • Shun-Yun Hu, Shao-Chen Chang, and Jehn-Ruey Jiang: [VSM:] Voronoi State Management for Peer-to-Peer Massively Multiplayer Online Games [PDF]
    • Jehn-Ruey Jiang, Yu-Li Huang, and Shun-Yun Hu: [VoroCast and FiboCast:] Scalable [Area Of Interest (]AOI[)]-cast for Peer-to-Peer Networked Virtual Environments [PDF]
    • Shun-Yun Hu: [Interactive Multicast Overlay Network (IMON):] Interactive Scalable Crowdcasting [PDF]

    (see the section Collaborative Virtual Environment (CVE) and the CVEs ASCEND and Solipsis based on Distributed Dynamic Delaunay Triangulation, and also the Virtual Object System (VOS))

  • North Carolina State University, Milind Nilkanth Nemlekar: Scalable Distributed Tuplespaces [PDF]
  • Agder University College, Faculty of Engineering and Science, and Norwegian defence research establishment, Fritjof Boger Engelhardtsen and Tommy Gagnes: Using JavaSpaces to create adaptive distributed systems [PDF]

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

  • Stanford University, Jon Louis Bentley: Multidimensional Binary Search Trees Used for Associative Searching [(k-d tree)] [PDF]
  • Carnegie-Mellon University, Department of Computer Science, John T. Robinson: The K-D-B-Tree: A Search Structure for Large Multidimensional Dynamic Indexes [PDF]
  • Technological Educational Institute of Thessaloniki, Informatics Department, Microsoft, and Northeastern University, College of Computer Science, Georgios Evangelidis, David Lomet, and Betty Salzberg: The hBpi-Tree: A Multi-Attribute Index Supporting Concurrency, Recovery and Node Consolidation [PDF]
  • Duke University Durham, Department of Computer Science, and Purdue University, Department of Computer Science, Octavian Procopiuc, Pankaj K. Agarwal, Lars Arge, and Jeffrey Scott Vitter: Bkd-Tree: A Dynamic Scalable kd-Tree [PDF]
  • Yahoo! Research, Russell Sears and Raghu Ramakrishnan: bLSM: A General Purpose Log Structured Merge Tree [PDF]
  • IBM, Haifa Research Labs, Ohad Rodeh: B-trees, Shadowing, and Clones [PDF]
  • Carnegie Mellon University, Gregory R. Ganger, author and consultant Marshall Kirk McKusick: Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem [PDF]
  • University of Wisconsin-Madison, Computer Sciences Department, Nathan C. Burnett, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau: Controlling File System Write Ordering [PDF]
  • University of Michigan, Department of Electrical Engineering and Computer Science, Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn: Rethink the sync [(eXternal synchrony file system (Xsyncfs))] [PDF]
  • OntoLab: LogHashFS™/LHFS™ - Log-Structured Hash-based File System
  • Oracle: Btrfs - A Checksumming Copy on Write Filesystem
  • Stony Brook University, Tokutek, Rutgers University, and Massachusetts Institute of Technology, William Jannen, Jun Yuan, Yang Zhan, Amogh Akshintala, John Esmet, Yizheng Jiao, Ankur Mittal, Prashant Pandey, Phaneendra Reddy, Leif Walsh, Michael A. Bender, Martin Farach-Colton, Rob Johnson, Bradley C. Kuszmaul, and Donald E. Porter: BetrFS: Write-Optimization in a Kernel File System [PDF]
  • Massachusetts Institute of Technology, Laboratory for Computer Science, and University of California, Berkeley, Frank Dabek, M. Frans Kaashoek, David Karger, Robert Morris, and Ion Stoica: Wide-area cooperative storage with [Cooperative File System (]CFS[)] [PDF]
  • 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: Providing Tunable Consistency for a Parallel File Store [(Content Addressable Parallel File System (CAPFS))] [PDF]
  • Columbia University, Computer Science Department, Erez Zadok and Jason Nieh et al.: FiST - File System Translator
  • Vrije Universiteit Amsterdam, Department of Computer Science, Raja Appuswamy, David C. van Moolenbroek, and Andrew S. Tanenbaum, as well as Richard van Heuven van Staereling:
    • Loris - A Dependable, Modular File-Based Storage Stack [PDF]
    • Flexible, Modular File Volume Virtualization in Loris [PDF]
    • Efficient, Modular Metadata Management with Loris [PDF]
  • Stony Brook University, William Jannen, Chia-Che Tsai, and Donald E. Porter: Virtualize Storage, Not Disks [(Zoochory stack)] [PDF]

Semantic File/Storage System

  • Namesys: Reiser4 - now offline
    (see our Reiser 4 webpage)
  • Lancaster University, Computing Department, John A. Mariani: Oggetto: An Object Oriented Database Layered on a Triplestore [PDF]
  • 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]
    (see also TripleSpace and Mediated Reality (MedR), specifically Virtual Reality (VR))
  • 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]
  • University of Rochester, Department of Computer Science, James F. Allen, Donna K. Byron, Myroslava Dzikovska, George Ferguson, Lucian Galescu, and Amanda Stent: Towards Conversational Human-Computer Interaction [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 also 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

Multiparadigmatic 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]
  • National Aeronautics and Space Administration (NASA), Brian C. Williams and P. Pandurang Nayak: Immobile Robots AI in the new Millennium [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 Cognitive 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 our 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 Google Assistant, Microsoft Cortana, Amazon Alexa, and Samsung S Voice and Samsung Bixby, which all have been copied together with other items from this website for their unauthorized variants of our Ontologic System (OS) and Ontoscope (Os).


  • 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
  • University of Maryland, Human-Computer Interaction Lab and Department of Computer Science:
    • Chris North and Ben Shneiderman: Snap-Together Visualization: A User Interface for Coordinating Visualizations via Relational Schemata [PDF]
    • Christopher Loy North: User Interface for Coordinating Visualizations Based on Relational Schemata: Snap-Together Visualization [PDF]
  • Lancaster University, Computing Department:
    • John A. Mariani and Robert Laugher: TripleSpace: An experiment in a 3D graphical interface to a binary relational database [PDF]
    • Pete Sawyer, Andy Colebourne, John A. Mariani, and Ian Sommerville: Interactive Database Objects [PDF]
    • Armstrong Kadyamatimba, John A. Mariani1 and Peter Sawyer: Desktop Objects: Directly Manipulating Data and Meta Data [PDF]
      (see also triple store and Oggetto)
  • 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

  • Advanced Telecommunications Research Institute International (ATR) Communication Systems Research Laboratories, Paul Milgram, Haruo Takemura, Akira Utsumi, and Fumio Kishino: Augmented Reality: A class of displays on the reality-virtuality continuum [PDF]
  • 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

  • University of Massachusetts, Amherst, Department of Computer Science, Peter Amstutz and T. Reed Heges: Virtual Object System (VOS)
    • Peter Amstutz and T. Reed Hedges: The Virtual Object System: An Open Platform for Internet Multiuser Virtual Reality [PDF]
    • Peter Amstutz and Andrew H. Fagg: Real Time Visualization of Robot State with Mobile Virtual Reality [and Augmented Reality] [PDF]
  • Brown University, Providence, and Naval Postgraduate School, Monterey, Bob Zeleznik, Loring Holden, Michael Capps, Howard Abrams, and Tim Miller: Scene-Graph-As-Bus: Collaboration between Heterogeneous Stand-alone 3-D Graphical Applications [PDF]
    (see also our OntoGraphics and OntoCOVE webpages)
  • Diverse team: DIVERSE - Device Independent Virtual Environment - Reconfigurable, Scalable, Extensible
  • CoVE™ - Collaborative Virtual Environment - now offline
    (see our OntoCOVE)
  • INRIA-Rennes and France Tèlècom R&D, Joaquìn Keller and Gwendal Simon: Solipsis: A Massively Multi-Participant Virtual World [PDF]

    (see Distributed Dynamic Delaunay Triangulation)

  • National Central University and National Taiwan University, Taiwan, Department of Computer Science and Information Engineering, ASCEND development team and community: Adaptive Scalable Cooperative Environment for [Networked Virtual Environment (]NVE[)] Developments (ASCEND)
    • Chien-Hao Chien, Shun-Yun Hu, and Jehn-Ruey Jiang: Delaunay State Management [(DSM)] for Large-scale Networked Virtual Environments [PDF]
    • Chang-Hua Wu, Shun-Yun Hu, and Li-Ming Tseng: Discovery of Physical Neighbors for P2P 3D Streaming [PDF]

    (see VAST and also the Virtual Object System (VOS))

  • Liverpool John Moores University, School of Computing and Mathematical Sciences, Abdennour El Rhalibi and Madjid Merabti: Agents-Based Modeling for a Peer-to-Peer MMOG Architecture [PDF]
  • Nara Institute of Science and Technology, Takuji Iimura, Hiroaki Hazeyama, and Youki Kadobayashi: Zoned Federation of Game Servers: a Peer-to-peer Approach to Scalable Multi-player Online Games [PDF]
  • University of British Columbia, Anthony (Peiqun) Yu and Son T. Vuong: MOPAR: A Mobile Peer-to-Peer Overlay Architecture for Interest Management of Massively Multiplayer Online Games [PDF]
  • Carnegie Mellon University, Ashwin Bharambe, Jeffrey Pang, and Srinivasan Seshan: Colyseus: A Distributed Architecture for Online Multiplayer Games [PDF]

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
    (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