![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 215
Volume 215, March 2022
- Rubing Huang
, Weifeng Sun
, Haibo Chen, Chenhui Cui, Ning Yang:
A nearest-neighbor divide-and-conquer approach for adaptive random testing. 102743
- Robert Clarisó
, Jordi Cabot:
User-driven diverse scenario exploration in model finders. 102745
- Torben Ægidius Mogensen
:
Hermes: A reversible language for lightweight encryption. 102746
- Ondrej Dvorák
, Robert Pergl:
Tackling rapid technology changes by applying enterprise engineering theories. 102747
- Keisuke Nakano
:
Time-symmetric Turing machines for computable involutions. 102748
- Qiang Zhang
, Lei Xu, Xiangyu Zhang, Baowen Xu:
Quantifying the interpretation overhead of Python. 102759 - Blair Archibald
, Muffy Calder, Michele Sevegnani, Mengwei Xu
:
Modelling and verifying BDI agents with bigraphs. 102760
- Rongjie Yan
, Yuhang Chen
, Hongyu Gao
, Jun Yan:
Test case prioritization with neuron valuation based pattern. 102761 - Chenyi Zhang
, Jun Pang
:
Modal characterisation of simulation relations in probabilistic concurrent games. 102762
- Xia Mao
, Yueling Zhang
, Jianqi Shi, Yanhong Huang, Qin Li
:
A refinement development approach for enhancing the safety of PLC programs with Event-B. 102763
- João Batista de Souza Neto
, Anamaria Martins Moreira
, Genoveva Vargas-Solar, Martin A. Musicante:
A two-level formal model for Big Data processing programs. 102764
![](https://dblp1.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.