Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
a service of 
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.
last updated on 2024-06-10 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
