Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

PSI 2014: Volume Information

PSI 2014. Ershov Informatics Conference

Editors: Irina Virbitskaite and Andrei Voronkov

EPiC Series in Computing•Volume 23

4 articles•54 pages•Published: July 28, 2014

Papers

Making the Evolution of Graphical Models Visible

Thomas Baar and Issam Bendaas

1-8

A Sufficient Condition for the Observational Equivalence of Processes

9-29

Turchin's Relation and Subsequence Relation in Loop Approximation

Antonina Nepeivoda

30-42

Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems

Zhengmao Ye and Habib Mohamadian

43-54

Keyphrases

almost well relation, combinatorial optimization, graphical modeling, Higman embedding, Human Computer Interface, loop approximation, message passing, Multiple Ant Colony Optimization, Multiple-trip vehicle routing problem, processes, program transformation, repository mining, sliding window protocol, supercompilation, textual modeling, verification, version control.