Volume
@proceedings{PSI2014,
title = {PSI 2014. Ershov Informatics Conference},
editor = {Irina Virbitskaite and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {23},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{PSI2014:Making_Evolution_of_Graphical,
author = {Thomas Baar and Issam Bendaas},
title = {Making the Evolution of Graphical Models Visible},
booktitle = {PSI 2014. Ershov Informatics Conference},
editor = {Irina Virbitskaite and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {23},
pages = {1--8},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8tHc},
doi = {10.29007/fqc6}}
@inproceedings{PSI2014:Sufficient_Condition_for_Observational,
author = {Andrew Mironov},
title = {A Sufficient Condition for the Observational Equivalence of Processes},
booktitle = {PSI 2014. Ershov Informatics Conference},
editor = {Irina Virbitskaite and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {23},
pages = {9--29},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/12},
doi = {10.29007/hs67}}
@inproceedings{PSI2014:Turchins_Relation_and_Subsequence,
author = {Antonina Nepeivoda},
title = {Turchin's Relation and Subsequence Relation in Loop Approximation},
booktitle = {PSI 2014. Ershov Informatics Conference},
editor = {Irina Virbitskaite and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {23},
pages = {30--42},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vJxn},
doi = {10.29007/xqx9}}
@inproceedings{PSI2014:Multiple_Ant_Colony_Optimization,
author = {Zhengmao Ye and Habib Mohamadian},
title = {Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems},
booktitle = {PSI 2014. Ershov Informatics Conference},
editor = {Irina Virbitskaite and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {23},
pages = {43--54},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FvV},
doi = {10.29007/8tjs}}