![](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
Fundamenta Informaticae, Volume 178
Volume 178, Numbers 1-2, 2021
- Matthew Hague, Igor Potapov:
Preface. - Florian Bruse, Martin Lange, Étienne Lozes:
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. 1-30 - Franck Cassez, Peter Gjøl Jensen
, Kim Guldstrand Larsen
:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. 31-57 - Emmanuel Filiot, Pierre-Alain Reynier:
Copyful Streaming String Transducers. 59-76 - Milka Hutagalung:
Topological Characterisation of Multi-Buffer Simulation. 77-99 - Jeremy Sproston:
Probabilistic Timed Automata with Clock-Dependent Probabilities. 101-138 - Antti Valmari
, Walter Vogler:
Stubborn Sets, Frozen Actions, and Fair Testing. 139-172
Volume 178, Number 3, 2021
- Arthur Adinayev, Itamar Stein:
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System. 173-185 - Micheal Arockiaraj, J. Nancy Delaila, Jessie Abraham
:
Optimal Wirelength of Balanced Complete Multipartite Graphs onto Cartesian Product of {Path, Cycle} and Trees. 187-202 - Tomasz Jastrzab
, Zbigniew J. Czech, Wojciech Wieczorek
:
Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference. 203-227 - Ivan Lanese, Adrián Palacios
, Germán Vidal
:
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. 229-266 - P. K. Neethu, S. V. Ullas Chandran
, Manoj Changat, Sandi Klavzar:
On the General Position Number of Complementary Prisms. 267-281
Volume 178, Number 4, 2021
- Paolo Felli
, Marco Montali, Maurizio Proietti:
Preface. - Carlo Combi, Romeo Rizzi, Pietro Sala
:
Checking Sets of Pure Evolving Association Rules. 283-313 - Domenico Cantone, Marianna Nicolosi Asmundo
, Daniele Francesco Santamaria
:
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. 315-346 - Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
:
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. 347-378
![](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.