Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ershov/ershov2014p.bht:"
@inproceedings{DBLP:conf/ershov/BaarB14, author = {Thomas Baar and Issam Bendaas}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {Making the Evolution of Graphical Models Visible}, booktitle = {{PSI} 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations}, series = {EPiC Series in Computing}, volume = {23}, pages = {1--8}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/fqc6}, doi = {10.29007/FQC6}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/BaarB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/Mironov14, author = {Andrew Mironov}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {A Sufficient Condition for the Observational Equivalence of Processes}, booktitle = {{PSI} 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations}, series = {EPiC Series in Computing}, volume = {23}, pages = {9--29}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/hs67}, doi = {10.29007/HS67}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/Mironov14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/Nepeivoda14, author = {Antonina Nepeivoda}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {Turchin's Relation and Subsequence Relation in Loop Approximation}, booktitle = {{PSI} 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations}, series = {EPiC Series in Computing}, volume = {23}, pages = {30--42}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/xqx9}, doi = {10.29007/XQX9}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/Nepeivoda14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/YeM14, author = {Zhengmao Ye and Habib Mohamadian}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems}, booktitle = {{PSI} 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations}, series = {EPiC Series in Computing}, volume = {23}, pages = {43--54}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/8tjs}, doi = {10.29007/8TJS}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/YeM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ershov/2014p, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {{PSI} 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations}, series = {EPiC Series in Computing}, volume = {23}, publisher = {EasyChair}, year = {2014}, url = {https://easychair.org/publications/volume/PSI\_2014}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/2014p.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.