CS&P (Revised Selected Papers)

Keyphrases

Publications

volume 1091, 2023

Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany CS&P (Revised Selected Papers) 1091 (2023)

2021

Elena N. Bozhenkova, Irina B. Virbitskaite
Extended Future in Testing Semantics for Time Petri Nets. CS&P (Revised Selected Papers) (2021)
Heinrich Mellmann, Volha Taliaronak, Verena V. Hafner
Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive. CS&P (Revised Selected Papers) (2021)
Lukasz Skowronek, Pawel Góra, Marcin Mozejko, Arkadiusz Klemenko
Graph-Based Sparse Neural Networks for Traffic Signal Optimization. CS&P (Revised Selected Papers) (2021)
Damas P. Gruska
Security Enforcing. CS&P (Revised Selected Papers) (2021)
Viju Sudhi, Libin Kutty, Robin Gröpler
Natural Language Processing for Requirements Formalization: How to Derive New Approaches? CS&P (Revised Selected Papers) (2021)
Soma Dutta
An Example of Computation in Interactive Granular Computing. CS&P (Revised Selected Papers) (2021)
Roman R. Redziejowski
Left Recursion by Recursive Ascent. CS&P (Revised Selected Papers) (2021)
Eyad Kannout, Marek Grzegorowski, Hung Son Nguyen
Toward Recommender Systems Scalability and Efficacy. CS&P (Revised Selected Papers) (2021)
Agnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka
A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel. CS&P (Revised Selected Papers) (2021)