default search action
Information and Computation, Volume 289
Volume 289, Number Part A, November 2022
- Jianwen Li
, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability checking for Mission-time LTL (MLTL). 104923 - Luís M. S. Russo
Order-preserving pattern matching indeterminate strings. 104924 - Yagel Ashkenazi, Ran Gelles
Noisy beeping networks. 104925 - Vadim V. Lozin, Viktor Zamaraev
On Boolean threshold functions with minimum specification number. 104926
- Sergiy Bogomolov, Marcelo Forets
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). 104937
- Bruno Guillon
Converting nondeterministic two-way automata into small deterministic linear-time machines. 104938 - Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
Abstract processes in the absence of conflicts in general place/transition systems. 104939 - Federico Corò
Exploiting social influence to control elections based on positional scoring rules. 104940
- Alberto Casagrande
Parameter synthesis of polynomial dynamical systems. 104941
- Yu Yang
On enumerating algorithms of novel multiple leaf-distance granular regular α-subtrees of trees. 104942 - Robert Bredereck
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters. 104943
- Stefan Schupp
Recent developments in theory and tool support for hybrid systems verification with HyPro. 104945
- Joel D. Day, Daniel Reidenbach
Unambiguous injective morphisms in free groups. 104946
- Ahmad Madary
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. 104947
- Bernardo Almeida
Polymorphic lambda calculus with context-free session types. 104948
- Masahiro Shibata, Yuichi Sudo, Junya Nakamura
Almost uniform deployment of mobile agents in dynamic rings. 104949
- Hans-Joachim Böckenhauer
Exploring sparse graphs with advice. 104950 - Jianer Chen, Ying Guo, Qin Huang:
Linear-time parameterized algorithms with limited local resources. 104951 - Yaqiao Li:
Trading information complexity for error II: The case of a large error and the external information complexity. 104952 - Paolo Baldan, Francesco Ranzato
Intensional Kleene and Rice theorems for abstract program semantics. 104953 - Alex Brandts, Stanislav Zivný
Beyond PCSP(1-in-3, NAE). 104954
- Stéphane Devismes
Special issue of SSS 2020. 104955
- Ezio Bartocci
Survey on mining signal temporal logic specifications. 104957
- Longchun Wang
Bounded complete domains and their logical form. 104958 - Victor Chepoi, Arnaud Labourel, Sébastien Ratel:
Distance labeling schemes for K4-free bridged graphs. 104959 - Haimin Chen, Chaodong Zheng:
Efficient and competitive broadcast in multi-channel radio networks. 104960 - Pascal Caron
Combination of roots and boolean operations: An application to state complexity. 104961 - Kaustav Bose
Distributed localization of wireless sensor network using communication wheel. 104962
- Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki:
A robust class of linear recurrence sequences. 104964
- Qiuye Wang, Mingshuai Chen
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. 104965
- Zekun Ye, Lvzhou Li:
Deterministic algorithms for the hidden subgroup problem. 104975 - Toshihiro Koga
A pumping lemma for regular closure of prefix-free languages. 104976 - Luca Geretti
Special issue: Formal verification of cyber-physical systems. 104979
- Alessandro Cimatti
LTL falsification in infinite-state systems. 104977 - Sebastian Berndt, Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk:
Learning residual alternating automata. 104981
Volume 289, Number Part B, November 2022
- Béatrice Bérard
Synthesis in presence of dynamic links. 104856 - Patricia Bouyer
Decisiveness of stochastic systems and its application to hybrid models. 104861 - Lauri Hella, Antti Kuusisto, Raine Rönnholm:
Bounded game-theoretic semantics for modal mu-calculus. 104882 - Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of algorithms for simple stochastic games. 104885 - Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer:
Local higher-order fixpoint iteration. 104963 - Oyendrila Dobe
Model checking hyperproperties for Markov decision processes. 104978 - Jean-François Raskin, Davide Bresolin
Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020). 104980
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-12-22 18:48 CET 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: