Data and Documentation
Open Data Policy
FAQ
EN
DE
FR
Suchbegriff
Advanced search
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
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)
Structural and Syntactic Pattern Recognition (Workshop)
Bunke Horst
University of Berne - BE
01.04.1992
31.12.1992
Scientific Conferences
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)
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)
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)
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)
Efficient Sampling and Reconstruction for Image Synthesis
Zwicker Matthias
University of Berne - BE
01.01.2013
31.03.2016
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)
Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard
University of Berne - BE
01.01.2001
31.03.2003
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)
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)
Understanding, Characterizing, and Supporting Navigation in Heterogeneous Documentation Assets in a Live Programming Environment
Nierstrasz Oscar
University of Berne - BE
01.02.2021
31.07.2021
Scientific Exchanges
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)
Logics for Privacy
Studer Thomas
University of Berne - BE
01.05.2011
30.04.2014
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)
Infrastructure for Software Component Frameworks
Nierstrasz Oscar
University of Berne - BE
01.10.1996
30.09.1998
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)
-