Versions
Contents
- Coming Events
- Summer School on Massive Data Sets
- Federated Logic Conference
- Computational Complexity 2003
- Reports on Events
- Workshop on Probabilistic Methods in Combinatorial Optimisation
- ICC~'01
- PADO II
- MFPS XVII
- Summer School on Logical Methods
- CONCUR~'01
- ALGO 2001
- Aalborg Wing Retreat
- BRICS PhD Workshop
- Ongoing Activities
- Juniorklubben
- New Researchers, Guests and PhDs
- Dissertation Abstracts
- Using Theory to Make Better Tools
- On Static and Dynamic Control-Flow Information in Program
Analysis and Transformation
- Multi-party Computations --- Information-Theoretically
Secure Against an Adaptive Adversary
- Topics in Semantics-based Program Manipulation
- Logics and Automata for Verification: Expressiveness and
Decidability Issues
- Analysing Real-Time Systems: Theory and Tools
- Robust and Flexible Scheduling with Evolutionary Computation
- Reliable Real-Time Applications
- Games for Verification: Algorithmic Issues
- Reasoning about Objects using Process Calculus Techniques
- A Configurable Process for Design of Object-Oriented
Software Architectures
- Specification and Test of Real-Time Systems
- Time-Space Trade-Offs
- A Study of Defunctionalisation and Continuation-Passing Style
- Higher-Order Program Generation
- Compression with Fast Random Access
- New Reports
- Notes Series
- Lecture Series
- Dissertations Series
- News
- Short News
- Positions at BRICS
- ALCOM-FT: Future Technologies
- Automated Software Testing
- BiRC: Bioinformatics Research Center
- BRICS Appointed Marie Curie Training Site
- CISS: Center for Embedded Software Systems
- JWIG: Java Web Interface Generator
- PALE: Pointer Assertion Logic Engine
- The Metafront System
- QAIP: Quantum Algorithms and Information Processing
- SECURE: Secure Environments for Collaboration among
Ubiquitous Roaming Entities
- YakYak
- Technical Contributions
- Improving Firewalls using BRIC(K)S
- Calendar of Events
- BRICS Address and World Wide Web
|