Institute

Back to overview
Name

Institut für Informatik Universität Bern

Address Institut für Informatik Universität Bern
Neubrückstrasse 10
3012
CH-Bern
Show all

Projects

Responsible applicant Institution of higher education Start End date Funding scheme

Algebraic and Logical Aspects of Knowledge Processing
Jäger Gerhard University of Berne - BE 01.10.2014 30.11.2017 Project funding (Div. I-III)

Low Cost Network Coding for Collaborative Video Streaming
Thomos Nikolaos University of Berne - BE 01.10.2011 30.09.2012 Ambizione

Interactive modeling for agile development (IMAD)
Nierstrasz Oscar University of Berne - BE 01.02.2020 31.07.2020 Research semester

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1992 30.04.1994 Project funding (special)

Foundations of Resource-Bounded Reasoning and Anytime Algorithms
Haenni Rolf University of Berne - BE 01.01.2005 31.12.2008 SNSF Professorships

RECAST: Evolution of Object-Oriented Applications
Ducasse Stéphane University of Berne - BE 01.09.2002 31.08.2006 SNSF Professorships

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.04.2008 30.09.2011 Project funding (Div. I-III)

A frame for networked components
Jäger Gerhard University of Berne - BE 01.03.1996 31.12.1998 Swiss Priority Programmes (SPPs)

PARCOM - Wissenschaftliche Anwendungen und Algorithmen- Design für Paralleles Computing
Mey Hansjürg University of Berne - BE 01.04.1987 31.03.1988 Project funding (Div. I-III)

A framework approach to composing heteregeneous applications
Nierstrasz Oscar University of Berne - BE 01.10.1998 30.09.2000 Project funding (Div. I-III)

UNSUPERVISED LEARNING OF 3D MODELS FOR OBJECT DETECTION AND CATEGORIZATION
Favaro Paolo University of Berne - BE 01.01.2014 31.12.2016 Project funding (Div. I-III)

Efficient and Robust Overlay Networks (ERON)
Braun Torsten University of Berne - BE 01.10.2005 30.09.2007 Project funding (Div. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.04.2003 31.03.2005 Project funding (Div. I-III)

An intelligent multisensory robot vision system: planning of vision tasks and object recognition based on CAD-models
Bunke Horst University of Berne - BE 01.09.1989 30.04.1995 NRP 23 Artificial Intelligence and Robotics

Approximative Matching - Algorithmen über Graphen für fall- basiertes Schliessen und maschinelles Lernen
Bunke Horst University of Berne - BE 01.01.1993 29.02.1996 Swiss Priority Programmes (SPPs)

Structural and Syntactic Pattern Recognition (Workshop)
Bunke Horst University of Berne - BE 01.04.1992 31.12.1992 Scientific Conferences

Logics for Privacy
Studer Thomas University of Berne - BE 01.05.2014 30.04.2015 Project funding (Div. I-III)

Explicit Reasons
Studer Thomas University of Berne - BE 01.09.2019 31.08.2023 Project funding (Div. I-III)

BLIND 3D FACE DEBLURRING
Favaro Paolo University of Berne - BE 01.01.2017 30.09.2020 Project funding (Div. I-III)

P2C - International Conference on Proof Theory, Provability Logic and Computation
Jäger Gerhard University of Berne - BE 01.02.1994 31.07.1994 Scientific Conferences

Gradient-domain Monte Carlo Rendering
Zwicker Matthias University of Berne - BE 01.01.2016 31.12.2019 Project funding (Div. I-III)

Novel Algorithms for Graph Clustering and Classification
Bunke Horst University of Berne - BE 01.01.2007 31.12.2009 Project funding (Div. I-III)

Marie Heim-Vögtlin: Verification of Object-Oriented Distributed Systems
Richner-Hanna Tamar University of Berne - BE 01.10.1994 31.03.1998 Marie Heim-Voegtlin grants

Darstellungstheorie bei PCS und Komplexität algebraischer Konstruktionen in endlichen Algebren
Mey Hansjürg University of Berne - BE 01.04.1985 31.03.1988 Project funding (Div. I-III)

Agile Software Assistance
Nierstrasz Oscar University of Berne - BE 01.02.2019 31.03.2022 Project funding (Div. I-III)

Charging and accounting technology for the internet (CATI) Management, evaluation, demonstrators and business (MEDeB)
Braun Torsten University of Berne - BE 01.07.1998 30.06.2001 Swiss Priority Programmes (SPPs)

SPINET: Computer Simulation der mechanischen Zusammenhänge der menschlichen Wirbelsäule
Kropf Peter University of Berne - BE 01.01.1993 31.12.1994 Swiss Priority Programmes (SPPs)

Die automatische Generierung von Testzwecken
Hogrefe Dieter University of Berne - BE 01.10.1994 31.01.1997 Swiss Priority Programmes (SPPs)

Functional interpretations of Kripke-Platek set theory
Ferreira Fernando University of Berne - BE 01.09.2012 30.11.2012 International short research visits

Service-Centric Networking
Braun Torsten University of Berne - BE 01.06.2013 31.03.2017 Project funding (Div. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.11.1998 31.12.2000 Project funding (Div. I-III)

Analysis and Design of Self-Supervised Learning Methods
Favaro Paolo University of Berne - BE 01.04.2017 31.07.2020 Project funding (Div. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1994 30.04.1996 Project funding (Div. I-III)

Off-line handwritten numeral string recognition
Bunke Horst University of Berne - BE 01.10.1996 31.12.1997 Project funding (special)

YouStream 3D: Immersive Context-Aware Personal Communications
Cakareski Jakov University of Berne - BE 01.10.2012 31.03.2013 Ambizione

R'EQUIP: Advanced Internet Services over ATM
Braun Torsten University of Berne - BE 01.07.1998 30.06.1999 R'EQUIP

Synchronizing Models and Code
Nierstrasz Oscar University of Berne - BE 01.10.2010 31.12.2012 Project funding (Div. I-III)

Network Coding Based Multimedia Streaming in Content Centric Networks
Braun Torsten University of Berne - BE 01.01.2014 30.04.2017 Project funding (Div. I-III)

A logics workbench
Jäger Gerhard University of Berne - BE 01.01.1993 31.03.1996 Swiss Priority Programmes (SPPs)

Sulla Teoria della Dimostrazione delle Definizioni Quasi-Induttive
Bruni Riccardo University of Berne - BE 01.02.2008 30.04.2008 International short research visits

Refining Reasoning via Justification Extraction: A Proof-Theoretic Approach
Kuznets Roman University of Berne - BE 01.01.2011 31.12.2013 Ambizione

Formale Beschreibungstechniken, Architektur und Leistungsbewertung für Hochgeschwindigkeitsprotokolle
Hogrefe Dieter University of Berne - BE 01.04.1992 31.03.1994 Project funding (Div. I-III)

Structural Proof Theory and the Logic of Proofs
Jäger Gerhard University of Berne - BE 01.05.2014 30.04.2017 Project funding (Div. I-III)

CONTACT: CONtext and conTent Aware CommunicaTions for QoSsupport in VANETs
Braun Torsten University of Berne - BE 01.05.2016 30.04.2020 Project funding (Div. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1996 31.10.1998 Project funding (Div. I-III)

Mollifying Realistic Image Synthesis for Time Constrained Rendering
Zwicker Matthias University of Berne - BE 01.09.2017 30.06.2019 Project funding (Div. I-III)

Similarity-based retrieval of objects from 3D image databases
Jiang Xiao-Yi University of Berne - BE 01.07.1998 29.02.2000 Project funding (Div. I-III)

Darstellung von p-Algebren: Strukturen, Algorithmen, Diagramme
Mey Hansjürg University of Berne - BE 01.04.1988 30.09.1991 Project funding (Div. I-III)

Computational Structure of Classical Duality
McKinley Richard University of Berne - BE 01.03.2010 28.02.2013 Ambizione

A Unified Approach to Composition and Extensibility
Nierstrasz Oscar University of Berne - BE 01.10.2004 30.09.2006 Project funding (Div. I-III)

Structural proof theory and the logic of proofs
Jäger Gerhard University of Berne - BE 01.05.2008 30.04.2011 Project funding (Div. I-III)

FORTE'94 - IFIP 7th International Conference on Formal Description Techniques
Hogrefe Dieter University of Berne - BE 01.06.1994 30.11.1994 Scientific Conferences

Composing Active Objects
Nierstrasz Oscar University of Berne - BE 01.10.1994 30.09.1996 Project funding (Div. I-III)

Logic and information: from logic to constructive reasoning
Jäger Gerhard University of Berne - BE 01.01.2007 31.01.2007 International Exploratory Workshops

Computational structure of higher-order sequent calculi
McKinley Richard University of Berne - BE 01.03.2013 28.02.2014 Ambizione

Agile Software Analysis
Nierstrasz Oscar University of Berne - BE 01.01.2016 31.01.2019 Project funding (Div. I-III)

Sketch-Based Image Synthesis
Favaro Paolo University of Berne - BE 01.02.2015 31.01.2019 Project funding (Div. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.04.2005 31.03.2008 Project funding (Div. I-III)

MIPTel: Mobile IP Telephony
Braun Torsten University of Berne - BE 01.10.2002 30.09.2004 Project funding (Div. I-III)

Opportunistic Routing for highly Mobile Ad-hoc Networks (ORMAN)
Braun Torsten University of Berne - BE 01.04.2010 31.03.2013 Project funding (Div. I-III)

Foundations of Resource-Bounded Reasoning and Anytime Algorithms
Haenni Rolf University of Berne - BE 01.01.2009 31.12.2009 SNSF Professorships

Distributed Propositional Proof Systems
Jäger Gerhard University of Berne - BE 01.01.1996 30.06.1998 Project funding (Div. I-III)

Justifications and non-classical reasoning (Juno)
Studer Thomas University of Berne - BE 01.10.2016 30.09.2019 Project funding (Div. I-III)

Automatic recognition of general unconstrained handwritten text
Bunke Horst University of Berne - BE 01.08.1998 31.08.2003 Project funding (Div. I-III)

Meta-models and tools for evolution towards component systems
Nierstrasz Oscar University of Berne - BE 01.10.2000 30.09.2002 Project funding (Div. I-III)

Computerorientierte Handschrifterkennung zum automatischen Lesen und Verarbeiten von Formularen
Bunke Horst University of Berne - BE 01.04.1994 31.05.1996 Swiss Priority Programmes (SPPs)

Bringing Models Closer to Code
Nierstrasz Oscar University of Berne - BE 01.10.2008 30.09.2010 Project funding (Div. I-III)

Braintool - A computer supported model of the basic spinal motor control system
Lüscher Hans-Rudolf University of Berne - BE 01.03.1996 31.12.1999 Swiss Priority Programmes (SPPs)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1990 30.04.1992 Project funding (Div. I-III)

Middleware design for embedded networked devices
Dorfus Kirsten Institution abroad - IACH 01.07.2009 31.03.2010 Fellowships for advanced researchers

Mobile IP Telephony (MIPTel)
Braun Torsten University of Berne - BE 01.10.2006 30.09.2008 Project funding (Div. I-III)

Operational Set Theory
Jäger Gerhard University of Berne - BE 01.02.2014 31.07.2014 Research semester

Theory and Applications of Models of Computation 2017 (TAMC 17)
Jäger Gerhard University of Berne - BE 01.04.2017 30.06.2017 Scientific Conferences

Logic Colloquium 2008
Jäger Gerhard University of Berne - BE 01.05.2008 31.10.2008 Scientific Conferences

Traffic Adaptivity in Wireless Sensor Networks
Braun Torsten University of Berne - BE 01.11.2009 31.10.2012 Project funding (Div. I-III)

Neuromorphic network architectures for the segmentation problem using temporal binding mechanisms
Müller Lorenz University of Berne - BE 01.04.1996 31.03.2000 Project funding (Div. I-III)

Advanced Consensus Protocols
Cachin Christian University of Berne - BE 01.01.2020 31.12.2023 Project funding (Div. I-III)

Intelligent Mobility Services
Braun Torsten University of Berne - BE 01.09.2019 31.08.2023 Project funding (Div. I-III)

LIGHT FIELD MOTION AND TURBULENCE DEBLURRING
Favaro Paolo University of Berne - BE 01.01.2015 31.08.2018 Project funding (Div. I-III)

Agile Software Assessment
Nierstrasz Oscar University of Berne - BE 01.01.2013 31.12.2015 Project funding (Div. I-III)

Non-Deterministic Aspects of Information Refinery in Distributed Environments
Jäger Gerhard University of Berne - BE 01.04.1996 31.03.1998 Project funding (special)

Efficient and Robust Overlay Networks (ERON)
Braun Torsten University of Berne - BE 01.10.2007 30.09.2009 Project funding (Div. I-III)

Quality-of-Service support for the Internet Based on Intelligent Network Elements
Braun Torsten University of Berne - BE 01.04.1999 31.03.2002 Project funding (Div. I-III)

Automatic recognition of general unconstrained handwritten text
Bunke Horst University of Berne - BE 01.05.2003 30.09.2005 Project funding (Div. I-III)

Matching and Retrieval of Graphs from Large Graph Databases
Bunke Horst University of Berne - BE 01.04.2002 31.03.2005 Project funding (Div. I-III)

Analyzing, capturing and taming software change
Nierstrasz Oscar University of Berne - BE 01.10.2006 30.09.2008 Project funding (Div. I-III)

SwissSenseSynergy
Braun Torsten University of Berne - BE 01.01.2015 31.03.2018 Sinergia

Formale Beschreibungstechniken, Architektur und Leistungsbewertung für Hochgeschwindigkeitsprotokolle
Hogrefe Dieter University of Berne - BE 01.04.1994 31.03.1997 Project funding (Div. I-III)

Function algebras and theories for computational complexity
Oitavem Isabel University of Berne - BE 01.06.2015 30.06.2015 International short research visits

Quality-of-Service support for the Internet Based on Intelligent Network Elements
Braun Torsten University of Berne - BE 01.04.2002 31.12.2003 Project funding (Div. I-III)

Unupervised Learning of Interactions from Real Data
Favaro Paolo University of Berne - BE 01.09.2020 31.08.2023 Project funding (Div. I-III)

Tools and Techniques for Decomposing and Composing Software
Nierstrasz Oscar University of Berne - BE 01.10.2002 30.09.2004 Project funding (Div. I-III)

Algorithmen und Werkzeuge zum Einsatz von parallelen und vektoriellen Architekturen in Stochastischer Simulation und Bildanalyse
Mey Hansjürg University of Berne - BE 01.10.1988 30.09.1991 Project funding (Div. I-III)

Experience based admission control (XBAC)
Braun Torsten University of Berne - BE 01.04.2004 31.07.2005 Project funding (Div. I-III)

Data-driven Modeling of 3D Objects with Functional Parts
Zwicker Matthias University of Berne - BE 01.01.2017 31.12.2019 Project funding (Div. I-III)

Advances in Proof Theory
Studer Thomas University of Berne - BE 01.12.2013 28.02.2014 Scientific Conferences

Content-Based Image Retrieval with SVM Learning of Query by Graph of Regions
Le Saux Bertrand Institution abroad - IACH 01.07.2004 31.03.2005 Fellowships for advanced researchers

Automatic Recognition of General Unconstrained Handwritten Text
Bunke Horst University of Berne - BE 01.10.2005 30.09.2008 Project funding (Div. I-III)

Multidimensional Sampling for Image Synthesis
Zwicker Matthias University of Berne - BE 01.10.2009 30.09.2012 Project funding (Div. I-III)

MIPTel: Mobile IP Telephony
Braun Torsten University of Berne - BE 01.10.2004 31.01.2006 Project funding (Div. I-III)

Matching and Retrieval of Graphs from Large Graph Databases
Bunke Horst University of Berne - BE 01.04.2005 31.03.2006 Project funding (Div. I-III)

MIPTel: Mobile IP Telephony
Braun Torsten University of Berne - BE 01.10.1999 30.09.2002 Project funding (Div. I-III)

Logics for Privacy
Studer Thomas University of Berne - BE 01.05.2011 30.04.2014 Project funding (Div. I-III)

Efficient Sampling and Reconstruction for Image Synthesis
Zwicker Matthias University of Berne - BE 01.01.2013 31.03.2016 Project funding (Div. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.01.2001 31.03.2003 Project funding (Div. I-III)

Infrastructure for Software Component Frameworks
Nierstrasz Oscar University of Berne - BE 01.10.1996 30.09.1998 Project funding (Div. I-III)
-