default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
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-10 20:34 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:
