![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Computer Languages, Volume 71
Volume 71, August 2022
- Mohammadreza Sharbaf
, Bahman Zamani
, Gerson Sunyé
:
Automatic resolution of model merging conflicts using quality-based reinforcement learning. 101123
- Humphrey O. Obie
, Dac-Thanh-Chuong Ho, Iman Avazpour
, John C. Grundy, Mohamed Almorsy Abdelrazek, Tomasz Bednarz, Caslon Chua
:
Gravity++: A graph-based framework for constructing interactive visualization narratives. 101125
- Hong Lu, Huitao Wang, Jiacheng Gui, Panfeng Chen
, Hao Huang:
A novel data-driven approach on inferring loop invariants for C programs. 101135
- Peter Chapman
, Kevin Sim, Huang Hao Chen:
Minimising line segments in linear diagrams is NP-hard. 101136
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.