Geodesic

Volume 31 (2024) no. 4

Sommaire

Methods of sentiment detection towards aspect of economic and social development in Russian sentences
p. 362-383
Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
p. 384-425
Disambiguation of regular expressions with backreferences via term rewriting
p. 426-445
Using TLA+/TLC for modeling and verification of cryptographic protocols
p. 446-473
An exact schedulability test for real-time systems with abstract scheduler on multiprocessor platforms
p. 474-494