Experimental and combinatorial optimization methods for the tropical subset proble...
Structural Testing of Concurrent Programs as a Web Service Composition
Biological macromolecules energy landscapes with applications in biotechnology and...
Detection and characterization of protein cavities using parallel computing and mo...
Algorithms and programming models for efficient execution of parallel applications...
Using hardware transactional support to accelerate software transactional memory s...