![](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
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
, Diogo M. Costa, Rui Henriques
, Hideo Bannai
, Alexandre P. Francisco
:
Order-preserving pattern matching indeterminate strings. 104924 - Yagel Ashkenazi, Ran Gelles
, Amir Leshem
:
Noisy beeping networks. 104925 - Vadim V. Lozin, Viktor Zamaraev
, Elena Zamaraeva
, Nikolai Yu. Zolotykh:
On Boolean threshold functions with minimum specification number. 104926
- Sergiy Bogomolov, Marcelo Forets
, Goran Frehse
, Andreas Podelski, Christian Schilling
:
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). 104937
- Bruno Guillon
, Giovanni Pighizzini
, Luca Prigioniero
, Daniel Prusa
:
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ò
, Emilio Cruciani, Gianlorenzo D'Angelo
, Stefano Ponziani:
Exploiting social influence to control elections based on positional scoring rules. 104940
- Alberto Casagrande
, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza
, Eleonora Pippia:
Parameter synthesis of polynomial dynamical systems. 104941
- Yu Yang, Hongbo Liu
, Hua Wang, Xiao-Dong Zhang, C. L. Philip Chen:
On enumerating algorithms of novel multiple leaf-distance granular regular α-subtrees of trees. 104942 - Robert Bredereck
, Klaus Heeger, Dusan Knop
, Rolf Niedermeier:
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters. 104943
- Stefan Schupp
, Erika Ábrahám
, Tristan Ebert:
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
, Hamid Reza Momeni, Alessandro Abate
, Kim G. Larsen:
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. 104947
- Bernardo Almeida
, Andreia Mordido, Peter Thiemann
, Vasco T. Vasconcelos
:
Polymorphic lambda calculus with context-free session types. 104948
- Masahiro Shibata, Yuichi Sudo, Junya Nakamura
, Yonghwan Kim:
Almost uniform deployment of mobile agents in dynamic rings. 104949
- Hans-Joachim Böckenhauer
, Janosch Fuchs, Walter Unger:
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
, Linpeng Zhang:
Intensional Kleene and Rice theorems for abstract program semantics. 104953 - Alex Brandts, Stanislav Zivný
:
Beyond PCSP(1-in-3, NAE). 104954
- Stéphane Devismes
, Neeraj Mittal:
Special issue of SSS 2020. 104955
- Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini, Dejan Nickovic
:
Survey on mining signal temporal logic specifications. 104957
- Longchun Wang
, Qingguo Li:
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
, Edwin Hamel-De le Court, Jean-Gabriel Luque
:
Combination of roots and boolean operations: An application to state complexity. 104961 - Kaustav Bose
, Manash Kumar Kundu, Ranendu Adhikary, Buddhadeb Sau:
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
, Bai Xue
, Naijun Zhan, Joost-Pieter Katoen:
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
, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa:
Special issue: Formal verification of cyber-physical systems. 104979
- Alessandro Cimatti
, Alberto Griggio, Enrico Magnago
:
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
, Benedikt Bollig, Patricia Bouyer
, Matthias Függer
, Nathalie Sznajder
:
Synthesis in presence of dynamic links. 104856 - Patricia Bouyer
, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
:
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
, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour:
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
![](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.