![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 225
Volume 225, January 2023
- Riccardo Bianchini, Francesco Dagnino:
QueryAGT: Asynchronous global types in co-logic programming. 102895
- Muhammad Rizwan Ali
, Yngve Lamo, Violet Ka I Pun:
Cost analysis for a resource sensitive workflow modelling language. 102896
- William Ravelo-Méndez, Camilo Escobar-Velásquez
, Mario Linares-Vásquez:
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool. 102897
- Till Hofmann
, Stefan Schupp:
Controlling timed automata against MTL specifications with TACoS. 102898
- Giorgio Audrito, Omar Inverso, Hugo Torres Vieira:
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. 102899
- Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang:
Static analysis of linear absolute value equalities among variables of a program. 102906 - Chenyang Zhu
, Michael J. Butler, Corina Cîrstea
, Thai Son Hoang
:
A fairness-based refinement strategy to transform liveness properties in Event-B models. 102907
- Arvin Zakeriyan
, Ramtin Khosravi, Hadi Safari
, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi:
Automated testing of an industrial stock market trading platform based on functional specification. 102908
- Sean Kauffman
:
Log analysis and system monitoring with nfer. 102909
- Johri van Eerd, Jan Friso Groote
, Pieter Hijma, Jan Martens
, Muhammad Osama, Anton Wijs:
Innermost many-sorted term rewriting on GPUs. 102910
- Silvia Crafa, Cosimo Laneve, Giovanni Sartor
, Adele Veschetti
:
Pacta sunt servanda: Legal contracts in Stipula. 102911
- Min Zhang
, Kazuhiro Ogata:
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). 102912
- Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). 102913
![](https://dblp.dagstuhl.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.