Institute

Back to overview
Name

Institut für Informatik Universität Zürich

Address Institut für Informatik Universität Zürich
Binzmühlestrasse 14
8050
CH-Zürich
Show all

Projects

Responsible applicant Institution of higher education Start End date Funding scheme

Explorations in Embodied Cognition.
Pfeifer Rolf University of Zurich - ZH 01.10.1999 30.09.2001 Project funding (Div. I-III)

Patterns of social behaviour in primates from a process- oriented perspective. (MHV-Beitrag)
Hemelrijk Charlotte K. University of Zurich - ZH 01.01.1997 31.12.2000 Marie Heim-Voegtlin grants

Interactive Multiscale Visualization and Analysis of Very Large Structural Volume Data
Pajarola Renato University of Zurich - ZH 01.01.2011 31.03.2015 Project funding (Div. I-III)

A Market-based Approach for Querying the Web of Data
Bernstein Abraham University of Zurich - ZH 01.09.2014 31.08.2019 Project funding (Div. I-III)

Particle Motion Simulation für die Visualisierung von 3D-Feldern
Stucki Peter University of Zurich - ZH 01.10.1991 30.09.1992 Project funding (Div. I-III)

Neuromorphic sensors and architectures for sensory-motor intelligence in autonomous robots
Pfeifer Rolf University of Zurich - ZH 01.03.1996 30.11.1999 Swiss Priority Programmes (SPPs)

Filmrestaurierung mit dem Computer
Stucki Peter University of Zurich - ZH 01.04.1992 31.03.1994 Project funding (Div. I-III)

Attempto - Controlled English for Requirements Specifications
Fuchs Norbert E. University of Zurich - ZH 01.01.1999 31.01.2001 Project funding (Div. I-III)

StakeCloud - Stakeholder Requirements Communication in the Cloud
Glinz Martin University of Zurich - ZH 01.12.2013 30.11.2015 Project funding (Div. I-III)

COSE - Controlling Software Evolution
Gall Harald University of Zurich - ZH 01.07.2005 30.09.2007 Project funding (Div. I-III)

LATO: Sprache und Werkzeug für objektorientierte, halbformale Anforderungsspezifikation
Glinz Martin University of Zurich - ZH 01.10.2001 30.09.2003 Project funding (Div. I-III)

DARINO: Developer's Awareness of Relevant Information
Fritz Thomas University of Zurich - ZH 01.01.2014 30.04.2018 Project funding (Div. I-III)

Qualitätscontrolling von Informationssystemen.
Bauknecht Kurt University of Zurich - ZH 01.05.1996 30.04.1998 Project funding (Div. I-III)

Tameus: Managing Time-Varying Measurement Sets in Databases
Böhlen Michael University of Zurich - ZH 01.09.2011 31.03.2015 Project funding (Div. I-III)

Problemlösungen mit analogen Repräsentationen
Pfeifer Rolf University of Zurich - ZH 01.10.1992 31.03.1994 Project funding (Div. I-III)

Whiteboard - An e-Science Framework for Replication of Software Studies
Gall Harald University of Zurich - ZH 01.10.2014 30.09.2018 Project funding (Div. I-III)

Konzeption und Realisierung von Multimedia-Endanwender-Werkzeugen
Stucki Peter University of Zurich - ZH 01.05.1995 30.04.1997 Project funding (Div. I-III)

Scalable self-assembling robots
Pfeifer Rolf University of Zurich - ZH 01.12.2004 30.11.2007 Project funding (Div. I-III)

Stream-Based Processing of Points
Pajarola Renato University of Zurich - ZH 01.04.2006 31.03.2009 Project funding (Div. I-III)

Particle Motion Simulation für die Visualisierung von 3D-Feldern
Stucki Peter University of Zurich - ZH 01.10.1989 30.09.1991 Project funding (Div. I-III)

Embodied artificial intelligence: A novel approach to the study of intelligence in natural and artificial systems
Pfeifer Rolf University of Zurich - ZH 01.10.2002 30.09.2004 Project funding (Div. I-III)

Zeitsynchrone Verarbeitung von audiovisuellen Daten in Multimedia-Systemen
Stucki Peter University of Zurich - ZH 01.07.1992 30.06.1994 Project funding (Div. I-III)

Executable Specifications for Industrial Software
Fuchs Norbert E. University of Zurich - ZH 01.05.1988 30.04.1990 Project funding (Div. I-III)

A Unified Optimization-based Approach for 3D Modeling of Building Interiors from Scanned Data
Mura Claudio University of Zurich - ZH 01.02.2019 31.07.2019 Scientific Exchanges

SWORDIES: Swiss workflow management in distributed environments
Dittrich Klaus University of Zurich - ZH 01.07.1996 30.04.2000 Swiss Priority Programmes (SPPs)

Managed Software Evolution
Gall Harald University of Zurich - ZH 01.01.2009 31.01.2013 ProDoc

ESSENTIALS - People-centric Essentials for Software Evolution
Gall Harald University of Zurich - ZH 01.04.2014 31.03.2017 Project funding (Div. I-III)

Explorations in Embodied Cognition
Pfeifer Rolf University of Zurich - ZH 01.10.2003 31.03.2004 Project funding (Div. I-III)

Systemarchitektur für hochparallele Partikelsimulation in Echtzeit: Visualisierung und Modellberechnung in der Molekulardynamik
Stucki Peter University of Zurich - ZH 01.04.1994 31.03.1996 Swiss Priority Programmes (SPPs)

Decentralized and scalable analysis of high-speed IP traffic (DaSAHIT)
Stiller Burkhard University of Zurich - ZH 01.01.2008 31.12.2009 Project funding (Div. I-III)

Embryogenic Evolution: From Simulations to Robotic Applications
Eggenberger Hotz Peter University of Zurich - ZH 01.10.2007 31.01.2010 Project funding (Div. I-III)

Zeitsynchrone Verarbeitung von audiovisuellen Daten in Multimedia-Systemen
Stucki Peter University of Zurich - ZH 01.07.1994 31.08.1995 Project funding (Div. I-III)

Offene Bürokommunikation Standardisierter inner- und zwischenbetrieblicher Informationsaustausch (OBI)
Bauknecht Kurt University of Zurich - ZH 01.11.1992 31.10.1994 Project funding (Div. I-III)

Dynamical Coupling in Motor-Sensory Function Substitution
Pfeifer Rolf University of Zurich - ZH 01.10.2007 30.09.2010 Interdisciplinary projects

Datenstrukturen und Modelle für die verlustfreie Bilddaten- kompression mittels arithmetischer Kodierung
Stucki Peter University of Zurich - ZH 01.05.1991 30.04.1993 Project funding (Div. I-III)

Rewriting Processes and Denotator Spaces for Interactive Audio- Visual Navigation on Music and Sound Knowledge Bases on the Web
Stucki Peter University of Zurich - ZH 01.04.2000 31.03.2002 Project funding (Div. I-III)

Data-driven Contemporary Code Review
Bacchelli Alberto University of Zurich - ZH 01.08.2017 31.07.2021 SNSF Professorships

Foundations of Market User Interface Design and Applications to the Smart Grid
Seuken Sven University of Zurich - ZH 01.04.2013 31.05.2017 Project funding (Div. I-III)

Perceptual and Foveated Adaptive Level-of-Detail in Interactive Geographic Feature Visualization
Pajarola Renato University of Zurich - ZH 01.08.2017 31.07.2021 Project funding (Div. I-III)

UpSoDoc - Semi-Automatic Update of Software Documentation during Software Evolution
Glinz Martin University of Zurich - ZH 01.04.2015 31.03.2019 Project funding (Div. I-III)

SURF-MobileAppsData
Gall Harald University of Zurich - ZH 01.09.2016 31.03.2021 Project funding (Div. I-III)

From Morphology to Functionality - Development and application of a Bivalve Burrowing Simulation
Eggenberger Hotz Peter University of Zurich - ZH 01.04.2010 31.03.2012 Project funding (Div. I-III)

Ausführbare Spezifikationen als Grundlage von Software- Entwicklung (Software Development Based on Executable Specifications)
Fuchs Norbert E. University of Zurich - ZH 01.10.1993 31.10.1995 Project funding (Div. I-III)

LATO: Sprache und Werkzeug für objektorientierte, halbformale Anforderungsspezifikation
Glinz Martin University of Zurich - ZH 01.11.1996 30.09.1999 Project funding (Div. I-III)

An evolutionary approach to autonomous agent design exploiting genome-based local communication between cells
Pfeifer Rolf University of Zurich - ZH 01.11.1996 31.10.1998 Project funding (Div. I-III)

Design principles of autonomous agents : building agents for real-world tasks
Pfeifer Rolf University of Zurich - ZH 01.10.1994 30.09.1996 Project funding (Div. I-III)

Modelle, Metriken und Metaphern für die Interaktion mit virtuellen Realitäten
Stucki Peter University of Zurich - ZH 01.04.1993 31.03.1995 Project funding (Div. I-III)

MIRIA - Modeling at the Right Level of Abstraction
Glinz Martin University of Zurich - ZH 01.04.2011 31.03.2013 Project funding (Div. I-III)

Automatische Generierung von Audiodaten in einem Audio-Framework
Schauer Helmut University of Zurich - ZH 01.11.1994 31.10.1996 Project funding (Div. I-III)

Privacy Preserving, Peta-scale Stream Analytics for Domain-Experts
Böhlen Michael University of Zurich - ZH 01.08.2017 31.12.2021 NRP 75 Big Data

Konzeption und Realisierung von Multimedia-Endanwender-Werkzeugen
Stucki Peter University of Zurich - ZH 01.05.1997 30.04.1999 Project funding (Div. I-III)

PC-gestütztes digitales Bildaufnahme-, Bearbeitungs- und Wiedergabe-System
Stucki Peter University of Zurich - ZH 01.10.1988 30.09.1989 Project funding (Div. I-III)

3D Halftoning
Stucki Peter University of Zurich - ZH 01.04.1996 31.03.1998 Project funding (Div. I-III)

Datenstrukturen und Modelle für die verlustfreie Bilddaten- kompression mittels arithmetischer Kodierung
Stucki Peter University of Zurich - ZH 01.05.1993 30.04.1994 Project funding (Div. I-III)

Transaction and Active Database Mechanism for Workflow Management
Dittrich Klaus University of Zurich - ZH 01.01.1995 31.12.1996 Project funding (Div. I-III)

Explorations in Embodied Cognition.
Pfeifer Rolf University of Zurich - ZH 01.10.2001 30.09.2003 Project funding (Div. I-III)

LATO: Sprache und Werkzeug für objektorientierte, halbformale Anforderungsspezifikation
Glinz Martin University of Zurich - ZH 01.11.1994 31.10.1996 Project funding (Div. I-III)

From locomotion to cognition
Pfeifer Rolf University of Zurich - ZH 01.10.2005 30.09.2008 Project funding (Div. I-III)

Low-latency, Vision-based Agile Quadrotor Flight
Scaramuzza Davide University of Zurich - ZH 01.11.2015 31.10.2020 Temporary Backup Schemes

Embodied artificial intelligence: A novel approach to the study of intelligence in natural and artificial systems
Pfeifer Rolf University of Zurich - ZH 01.10.1998 30.09.2000 Project funding (Div. I-III)

AVISSIMO - Combining aspect-oriented visualization and animated simulation for the validation of partial, semi-formal requirements models
Glinz Martin University of Zurich - ZH 01.10.2003 30.09.2005 Project funding (Div. I-III)

From Animals to Animats. Fifth International Conference of the Society for Adaptive Behavior, SAB'98.
Pfeifer Rolf University of Zurich - ZH 01.08.1998 31.01.1999 Scientific Conferences

SPREBA - Software Product Line Requirements Engineering Based on Aspects
Glinz Martin University of Zurich - ZH 01.10.2008 30.09.2010 Project funding (Div. I-III)

VISS: Visualization Infrastructures for Scalable Scientific Computing
Pajarola Renato University of Zurich - ZH 01.04.2007 31.03.2010 Project funding (Div. I-III)

High Quality Text in 3D Environments
Stucki Peter University of Zurich - ZH 01.02.1996 31.01.1998 Project funding (Div. I-III)

Personal Computer Based Digital Image Capture, Editing and Retrieval System
Stucki Peter University of Zurich - ZH 01.10.1986 30.09.1988 Project funding (Div. I-III)

High Precision Service Discovery
Bernstein Abraham University of Zurich - ZH 01.03.2004 31.03.2006 Project funding (Div. I-III)

Transaction and Active Mechanisms for Workflow Management (TRAMs)
Dittrich Klaus University of Zurich - ZH 01.01.1997 31.12.1998 Project funding (Div. I-III)

A virtual reality framework for the design, optimization and management of mobile telematics infrastructure
Stucki Peter University of Zurich - ZH 01.04.1996 31.07.2000 Swiss Priority Programmes (SPPs)

Informatik-Controlling.
Bauknecht Kurt University of Zurich - ZH 01.10.1992 30.09.1994 Project funding (Div. I-III)

Distributed Compositing and Data Management for Scalable Parallel Rendering
Pajarola Renato University of Zurich - ZH 01.04.2010 30.06.2011 Project funding (Div. I-III)

Qualitätscontrolling von Informationssystemen.
Bauknecht Kurt University of Zurich - ZH 01.05.1998 31.10.2000 Project funding (Div. I-III)

Modelle, Metriken und Metaphern für die Interaktion mit virtuellen Realitäten
Stucki Peter University of Zurich - ZH 01.04.1995 31.03.1997 Project funding (Div. I-III)

Dynamic Coupling In Motor-Sensory Function Substitution
Pfeifer Rolf University of Zurich - ZH 01.10.2010 31.10.2012 Interdisciplinary projects

CHASSIS (configurable heterogeneous and safe, secure information systems)
Dittrich Klaus University of Zurich - ZH 01.12.1992 31.03.1996 Swiss Priority Programmes (SPPs)

Ausführbare Spezifikationen als Grundlage von Software- Entwicklung (Software Development Based on Executable Specifications)
Fuchs Norbert E. University of Zurich - ZH 01.10.1992 30.09.1993 Project funding (Div. I-III)

Practical applications of attempto controlled english
Fuchs Norbert E. University of Zurich - ZH 01.05.2001 30.09.2003 Project funding (Div. I-III)

The smart Soft-Ware-House
Bernstein Abraham University of Zurich - ZH 01.09.2007 31.08.2009 Project funding (Div. I-III)

An application architecture for the parallel distributed simulation of virtual reality based particle and molecular dynamics systems in real-time
Stucki Peter ETH Zurich - ETHZ 01.01.1998 31.12.2000 Project funding (Div. I-III)

CrowdOS and CrowdLang: Engineering Large-Scale Human Computation Systems
Bernstein Abraham University of Zurich - ZH 01.08.2013 30.11.2017 Project funding (Div. I-III)

Strategische Unternehmensführung - Methoden und Konzepte zur Unterstützung der kooperativen Aufgaben des Informations- managements (STRATUM).
Bauknecht Kurt University of Zurich - ZH 01.01.1994 31.12.1995 Project funding (Div. I-III)

Executable Specifications for Industrial Software
Fuchs Norbert E. University of Zurich - ZH 01.05.1990 30.04.1992 Project funding (Div. I-III)

From Morphology to Functionality - Development and application of a Bivalve Burrowing Simulation
Eggenberger Hotz Peter University of Zurich - ZH 01.04.2008 31.03.2010 Project funding (Div. I-III)

LATO: Sprache und Werkzeug für objektorientierte, halbformale Anforderungsspezifikation
Glinz Martin University of Zurich - ZH 01.10.1999 30.09.2001 Project funding (Div. I-III)

High Quality Text in 3D Environments
Stucki Peter University of Zurich - ZH 01.02.1998 31.01.2000 Project funding (Div. I-III)

Swarm of Flying Cameras
Scaramuzza Davide University of Zurich - ZH 01.04.2013 30.09.2016 Project funding (Div. I-III)

System zur interaktiven Programmentwicklung basierend auf blockstrukturierten Sprachen
Bauknecht Kurt University of Zurich - ZH 01.04.1980 31.03.1982 Project funding (Div. I-III)

Cooperative Semantic Caching (CoopSC)
Stiller Burkhard University of Zurich - ZH 01.04.2011 28.02.2013 Project funding (Div. I-III)

Automatische Generierung von Audiodaten in einem Audio-Framework
Schauer Helmut University of Zurich - ZH 01.11.1993 31.10.1994 Project funding (Div. I-III)

Design principles of autonomous agents: building agents for real-world tasks
Pfeifer Rolf University of Zurich - ZH 01.10.1996 30.09.1998 Project funding (Div. I-III)

Embodied artificial intelligence: A novel approach to the study of intelligence in natural and artificial systems
Pfeifer Rolf University of Zurich - ZH 01.10.2000 30.09.2002 Project funding (Div. I-III)

Specifying Logic Programs in Controlled Natural Language
Fuchs Norbert E. University of Zurich - ZH 01.01.1996 31.12.1996 Project funding (Div. I-III)

Zooming Omnidirectional Vision in Motion
Pfeifer Rolf University of Zurich - ZH 01.10.2005 30.09.2007 Project funding (Div. I-III)

SOSYA - Systems of Systems Analysis
Gall Harald University of Zurich - ZH 01.10.2010 31.03.2014 Project funding (Div. I-III)

From locomotion to cognition
Pfeifer Rolf University of Zurich - ZH 01.10.2008 30.09.2010 Project funding (Div. I-III)

Filmrestaurierung mit dem Computer
Stucki Peter University of Zurich - ZH 01.04.1994 31.03.1995 Project funding (Div. I-III)

MIGI - Metadata Integration and Geodata Integrity
Dittrich Klaus University of Zurich - ZH 01.06.2002 31.05.2003 Project funding (Div. I-III)

A Distributed Rapid Application Development Framework for Mobile MultiMedia
Stucki Peter University of Zurich - ZH 01.05.1997 30.04.1999 Project funding (Div. I-III)

The dynamics of categorization: exploiting the autonomous agents paradigm.
Pfeifer Rolf University of Zurich - ZH 01.10.1997 30.09.1999 Project funding (Div. I-III)

Online Tourism Community Support
Schwabe Gerhard University of Zurich - ZH 01.01.2006 31.12.2007 Project funding (Div. I-III)

Offene Bürokommunikation - Standardisierter inner- und zwischenbetrieblicher Informationsaustausch (OBI)
Bauknecht Kurt University of Zurich - ZH 01.11.1994 31.10.1996 Project funding (Div. I-III)

IDEE: Integration of data in engineering environments
Dittrich Klaus University of Zurich - ZH 01.04.1996 31.03.2000 Swiss Priority Programmes (SPPs)

Talking to the Semantic Web: Query Interfaces to Ontologies for the Casual User
Bernstein Abraham University of Zurich - ZH 01.04.2006 31.03.2008 Project funding (Div. I-III)

Developers' Perception and Retrospection of Productivity
Fritz Thomas University of Zurich - ZH 01.10.2015 31.05.2019 Project funding (Div. I-III)

Intelligente Systeme in einer physikalischen Umgebung: Selbstorganisation, "symbol grounding" und analoge Repräsentation
Pfeifer Rolf University of Zurich - ZH 01.08.1991 31.12.1992 Project funding (Div. I-III)

AVISSIMO - Combining aspect-oriented visualization and animated simulation for the validation of partial, semi-formal requirements models
Glinz Martin University of Zurich - ZH 01.10.2005 30.09.2007 Project funding (Div. I-III)

ICSE 2012 - 34th International Conference on Software Engineering
Glinz Martin University of Zurich - ZH 01.04.2012 31.12.2012 Scientific Conferences

Reconstruction of Large-Scale Interior Environments
Pajarola Renato University of Zurich - ZH 01.02.2016 31.05.2019 Project funding (Div. I-III)

User Interface Development for Repository-based Design Environments
Dittrich Klaus University of Zurich - ZH 01.04.1997 30.04.1998 Project funding (Div. I-III)

Next-Generation Network Analytics for Time Series Data
Scholtes Ingo University of Zurich - ZH 01.08.2018 31.07.2022 SNSF Professorships

A Distributed Rapid Application Development Framework for Mobile MultiMedia
Stucki Peter University of Zurich - ZH 01.04.1996 30.04.1997 Project funding (Div. I-III)

Wissensbasiertes System zur Lawinenprognose
Schauer Helmut University of Zurich - ZH 01.10.1991 30.09.1993 Project funding (Div. I-III)

Rewriting Processes and Denotator Spaces for Interactive Audio- Visual Navigation on Music and Sound Knowledge Bases on the Web
Stucki Peter University of Zurich - ZH 01.04.2002 31.03.2004 Project funding (Div. I-III)

Attempto - Controlled English for Requirements Specifications
Fuchs Norbert E. University of Zurich - ZH 01.01.1997 31.12.1998 Project funding (Div. I-III)

Scalable self-assembling robots
Pfeifer Rolf University of Zurich - ZH 01.12.2007 30.11.2010 Project funding (Div. I-III)

The dynamics of categorization: A case study on autonomous agents.
Pfeifer Rolf University of Zurich - ZH 01.06.1995 30.09.1997 Project funding (Div. I-III)

DiCoSA - Distributed Collaborative Software Analysis
Gall Harald University of Zurich - ZH 01.10.2007 30.09.2010 Project funding (Div. I-III)

MIGI - Metadata Integration and Geodata Integrity
Dittrich Klaus University of Zurich - ZH 01.06.1999 31.05.2002 Project funding (Div. I-III)

Test Code Quality: A New Dimension of Test Code Effectiveness
Palomba Fabio University of Zurich - ZH 01.09.2019 31.08.2023 Ambizione

Trading off Strategyproofness and Efficiency in Matching Markets
Seuken Sven University of Zurich - ZH 01.01.2015 30.09.2018 Project funding (Div. I-III)

Design Principles of Autonomous Agents
Pfeifer Rolf University of Zurich - ZH 01.10.1992 30.09.1994 Project funding (Div. I-III)

Artificial life models as a tool for the study of social systems
Hemelrijk Charlotte K. University of Zurich - ZH 01.12.2001 31.08.2004 Project funding (Div. I-III)

The scalable triple store - towards web scale storage for RDF data
Bernstein Abraham University of Zurich - ZH 01.01.2008 30.06.2011 Project funding (Div. I-III)

SPREBA - Software Product Line Requirements Engineering Based on Aspects
Glinz Martin University of Zurich - ZH 01.10.2010 31.12.2011 Project funding (Div. I-III)
-