APPSEM II Applied Semantics II
Projekt im IST-Programm des EU 5th Framework Programme
SIGNAL-Projekt
Projekt des Bayerischen Kultusministeriums zur Nachqualifikation von
Gymnasiallehrern bis 2005
EmBounded - Resource Bounds for Embedded Systems.
Funded under Framework VI of the EU, as research project
IST-510255 (FET-OPEN programme).
Mobius - Mobility, Ubiquity and Security.
Integriertes Projekt im Rahmen der FET Global Computing Proactive Initiative der Europäischen Kommission.
PAMAS - Preference Aggregation in Multiagent Systems
Nachwuchsgruppe im Emmy-Noether-Programm (Aktionsplan Informatik) der DFG.
Pro.Platz - Programmiersprachliche Aspekte
sublinearer Platzkomplexitätsklassen
DFG Sachbeihilfe
VeriNonReg - Verifikation nicht-regulärer Eigenschaften
DFG Sachbeihilfe
MRG
Mobile Resource Guarantees
Projekt im IST Programm des EU 5th Framework
Programme.
An article on MRG, explaining the results in general terms, has appeared in the IST Results website, and in EVCA Barometer.
Komplexität
monotoner Schaltkreise und aussagenlogischer Beweissysteme
Nachwuchsgruppe im Emmy-Noether-Programm der DFG
Type
Systems for Resource-Bounded Computation
EPSRC Projekt