Publi by research topics

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

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

   > Internet Traffic Engineering
   > Routing Protocols
   > Internet Traffic Characterization
   > Highly-available collaborative Internet applications

   > Engineering Security-Critical Systems
   > Language-based security

   > Machine Learning
   > Constraint Programming
   > Biochemical network analysis
   > Microarray data analysis