HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
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
Andrew Mironov
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.

Copyright © 2012-2025 easychair.org. All rights reserved.