会议文集


文集名Foundations of Software Science and Computation Structures
会议名25th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2022), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022)
中译名《第二十五届国际软件科学与计算结构基础会议》
机构European Association for Theoretical Computer Science (EATCS)
会议日期April 2-7, 2022
会议地点Munich, Germany
出版年2022
馆藏号343356


题名作者出版年
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity AutomataDana Angluin; Timos Antonopoulos; Dana Fisman; Nevin George2022
Limits and difficulties in the design of under-approximation abstract domainsFlavio Ascari; Roberto Bruni; Roberta Gori2022
On probability-raising causality in Markov decision processesChristel Baier; Florian Funke; Jakob Piribauer; Robin Ziemek2022
Parameterized Analysis of Reconfigurable Broadcast NetworksA. R. Balasubramanian; Lucie Guillou; Chana Weil-Kennedy2022
Separators in Continuous Petri NetsMichael Blondin; Javier Esparza2022
Graphical Piecewise-Linear AlgebraGuillaume Boisseau; Robin Piedeleu2022
Token Games and History-Deterministic Quantitative AutomataUdi Boker; Karoliina Lehtinen2022
On the Translation of Automata to Linear Temporal LogicUdi Boker; Karoliina Lehtinen; Salomon Sickert2022
Categorical composable cryptographyAnne Broadbent; Martti Karvonen2022
DyNetKAT: An Algebra of Dynamic NetworksGeorgiana Caltais; Hossein Hojjat; Mohammad Reza Mousavi; Hunkar Can Tunc2022
A new criterion for M, N-adhesivity, with an application to hierarchical graphsDavide Castelnovo; Fabio Gadducci; Marino Miculan2022
Quantifier elimination for counting extensions of Presburger arithmeticDmitry Chistikov; Christoph Haase; Alessio Mansutti2022
A first-order logic characterisation of safety and co-safety languagesAlessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta2022
First-order separation over countable ordinalsThomas Colcombet; Sam van Gool; Remi Morvan2022
A Faithful and Quantitative Notion of Distant Reduction for Generalized ApplicationsJose Espirito Santo; Delia Kesner; Loic Peyrot2022
Modal Logics and Local Quantifiers: A Zoo in the Elementary HierarchyRaul Fervari; Alessio Mansutti2022
Temporal Stream Logic modulo TheoriesBernd Finkbeiner; Philippe Heim; Noemi Passing2022
The Different Shades of Infinite Session TypesSimon J. Gay; Diogo Pocas; Vasco T. Vasconcelos2022
Complete and tractable machine-independent characterizations of second-order polytimeEmmanuel Hainry; Bruce M. Kapron; Jean-Yves Marion; Romain Pechoux2022
Variable binding and substitution for (nameless) dummiesAndre Hirschowitz; Tom Hirschowitz; Ambroise Lafont; Marco Maggesi2022
12



制造业外文文献服务平台