![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 208
Volume 208, August 2021
- Devesh Manjhi, Amrita Chaturvedi:
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm. 102643
- Uraz Cengiz Türker, Robert M. Hierons
, Guy-Vincent Jourdan:
Minimizing Characterizing sets. 102645
- H. Alperen Çetin, Emre Dogan, Eray Tüzün
:
A review of code reviewer recommendation studies: Challenges and future directions. 102652
- Rodrigo Saar de Moraes
, Simin Nadjm-Tehrani
:
Abstraction models for verifying resource adequacy of IMA systems at concept level. 102654
- Mingqi Xue, Bruno C. d. S. Oliveira:
A dependently typed calculus with polymorphic subtyping. 102655
- Alexandre Decan, Tom Mens:
Lost in zero space - An empirical comparison of 0.y.z releases in software package distributions. 102656
- Matteo Busi
, Pierpaolo Degano, Letterio Galletta
:
Mechanical incrementalization of typing algorithms. 102657
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2018). 102658
- Timothy C. Lethbridge, Andrew Forward
, Omar Badreddin, Dusan Brestovansky, Miguel A. Garzón, Hamoud Aljamaan
, Sultan Eid
, Ahmed Husseini Orabi, Mahmoud Husseini Orabi, Vahdat Abdelzad
, Opeyemi Adesina, Aliaa Alghamdi, Abdulaziz Algablan, Amid Zakariapour:
Umple: Model-driven development for open source and education. 102665
![](https://dblp.org/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.