Publi by research topics

Publications: Programming languages and systems
   > Teaching programming as a unified discipline
   > Dynamic graphical user interfaces
   > Programming language expressiveness
   > Abstract interpretation
   > Programming languages interoperability

Publications: Software Engineering
   > Software Development Technology
   > Software Evolution Technology
   > Aspect-oriented Technology
   > Software Verification
   > Goal-Oriented Requirements Engineering
   > Software Architecture
   > Engineering open, web-based systems

Publications: Distributed systems
   > Internet Traffic Engineering
   > Routing Protocols
   > Internet Traffic Characterization
   > Highly-available collaborative Internet applications

Publications: Security
   > Engineering Security-Critical Systems
   > Language-based security

Publications: Artificial intelligence
   > Machine Learning
   > Constraint Programming
   > Biochemical network analysis
   > Microarray data analysis

| 12/09/2007 |