CLIP Group Publications by Topic

This is Technical Report CLIP-PubsBytopic/2012.1356
A PDF version of this report suitable for printing is available here.

Note: This document provides a unified list of the publications of CLIP group members, classified by research topic (as well as by type of publication - journal, book, invited, workshop, etc.). A list of publications classified by year of publication is also available. Please note that this document is generated automatically and periodically from the group database and may contain repetitions, omissions, and other errors. We ask for understanding with these errors and at the same time will very much appreciate any pointers to them.

Acknowledgments: The work presented in these papers has been carried out in collaboration with numerous other researchers (co-authors of the papers) and institutions, and has been funded in part by a number of public and private agencies. Please refer the CLIP group list of funded research projects for a list of such institutitons.

• Explanation of Ranking System Used
• Publications in Verification, Program Assertions, Debugging
• Publications in Program Analysis
• Publications in Program Specialization
• Publications in Resource Consumption / Task Granularity Analysis and Control
• Publications in Automatic Parallelization
• Publications in Parallel Execution Models and Task Scheduling
• Publications in Distributed/Internet Execution, Agents, and WWW
• Publications in (Parallel) Computer Architecture
• Publications in Visualization
• Publications in Programming Language Design
• Publications in Concurrency, Dynamic Scheduling, and Concurrent Languages
• Publications in Constraint Programming
• Publications in Programming Language Implementation
• Publications in Environments and Tools for Software Development
• Publications in Component-Based Software Development
• Publications in Open Source Software
• Publications in Simulation of Parallel Systems
• Publications in Graphical Communication
• Publications in Diagrammatic Reasoning
• Publications in Other Topics and General Publications
• Publications in Automaton-Based Techniques
• Publications in Formal Methods
• Publications in Quality of Service
• Publications in Service Aggregation and Composition
• Publications in Specification
• Publications in Testing
• Publications in Verification