Information and Computation Short Title: Inf. Comput. Publisher: Elsevier (Academic Press), San Diego, CA ISSN: 0890-5401 Online: http://www.sciencedirect.com/science/journal/08905401 Predecessor: Information and Control Comments: Indexed cover-to-cover Documents Indexed: 2,767 Publications (since 1987) References Indexed: 2,262 Publications with 66,775 References. all top 5 Latest Issues 291 (2023) 290 (2023) 289, Part B (2022) 289, Part A (2022) 288 (2022) 287 (2022) 286 (2022) 285, Part B (2022) 285, Part A (2022) 284 (2022) 283 (2022) 282 (2022) 281 (2021) 280 (2021) 279 (2021) 278 (2021) 277 (2021) 276 (2021) 275 (2020) 274 (2020) 273 (2020) 272 (2020) 271 (2020) 270 (2020) 269 (2019) 268 (2019) 267 (2019) 266 (2019) 265 (2019) 264 (2019) 263 (2018) 262, Part 2 (2018) 262, Part 1 (2018) 261, Part 4 (2018) 261, Part 3 (2018) 261, Part 2 (2018) 261, Part 1 (2018) 260 (2018) 259, Part 3 (2018) 259, Part 2 (2018) 259, Part 1 (2018) 258 (2018) 257 (2017) 256 (2017) 255, Part 3 (2017) 255, Part 2 (2017) 255, Part 1 (2017) 254, Part 3 (2017) 254, Part 2 (2017) 254, Part 1 (2017) 253, Part 3 (2017) 253, Part 2 (2017) 253, Part 1 (2017) 252 (2017) 251 (2016) 250 (2016) 249 (2016) 248 (2016) 247 (2016) 246 (2016) 245 (2015) 244 (2015) 243 (2015) 242 (2015) 241 (2015) 240 (2015) 239 (2014) 238 (2014) 237 (2014) 236 (2014) 235 (2014) 234 (2014) 233 (2013) 232 (2013) 231 (2013) 230 (2013) 228-229 (2013) 227 (2013) 226 (2013) 225 (2013) 224 (2013) 223 (2013) 222 (2013) 220-221 (2012) 219 (2012) 218 (2012) 217 (2012) 216 (2012) 215 (2012) 214 (2012) 213 (2012) 212 (2012) 211 (2012) 210 (2012) 209, No. 12 (2011) 209, No. 11 (2011) 209, No. 10 (2011) 209, No. 9 (2011) 209, No. 8 (2011) 209, No. 7 (2011) ...and 316 more Volumes all top 5 Authors 31 Jain, Sanjay 26 Stephan, Frank 20 Rabinovich, Alexander 14 Droste, Manfred 14 Okhotin, Alexander 13 Vardi, Moshe Ya’akov 12 Case, John 12 Chatterjee, Krishnendu 12 Hennessy, Matthew C. B. 12 Kupferman, Orna 12 Lynch, Nancy Ann 12 Martín-Vide, Carlos 12 Murano, Aniello 12 Pighizzini, Giovanni 11 Amir, Amihood 11 Fokkink, Willem Jan 11 Hemaspaandra, Lane A. 11 Ibarra, Oscar H. 11 Kinber, Efim B. 11 Sangiorgi, Davide 11 Sharma, Arun Kumar 10 Engelfriet, Joost 10 Henzinger, Thomas A. 10 Métivier, Yves 10 Peleg, David 10 van Glabbeek, Robert Jan 9 Aceto, Luca 9 Baldan, Paolo 9 Boreale, Michele 9 Geffert, Viliam 9 Ghelli, Giorgio 9 Hromkovič, Juraj 9 Kutrib, Martin 9 Lutz, Jack H. 9 Panangaden, Prakash 9 Pnueli, Amir 9 Porat, Ely 9 Truthe, Bianca 9 Warmuth, Manfred K. 8 Bodlaender, Hans L. 8 Bouyer, Patricia 8 Cai, Jin-Yi 8 Epstein, Leah 8 Fortnow, Lance J. 8 Grumberg, Orna 8 Katoen, Joost-Pieter 8 Klop, Jan Willem 8 Kucera, Antonin 8 Lohrey, Markus 8 Meseguer Guaita, José 8 Raskin, Jean-François 8 Rutten, Jan J. M. M. 8 Thérien, Denis 8 Zemmari, Akka 7 Arvind, Vikraman 7 Cardelli, Luca 7 Crochemore, Maxime 7 De Nicola, Rocco 7 Diekert, Volker 7 Finkel, Alain 7 Gastin, Paul 7 Gorrieri, Roberto 7 Holzer, Markus 7 Ingólfsdóttir, Anna 7 Jančar, Petr 7 Kolaitis, Phokion G. 7 Middeldorp, Aart 7 Mogavero, Fabio 7 Montanari, Angelo 7 Montanari, Ugo G. 7 Navarro, Gonzalo 7 Pierce, Benjamin C. 7 Ranzato, Francesco 7 Ronchi Della Rocca, Simona 7 Scedrov, Andre 7 Schnitger, Georg 7 Smith, Carl H. 7 Tiuryn, Jerzy 7 Vogler, Walter 7 Wood, Derick 7 Yoshida, Nobuko 7 Zantema, Hans 7 Zeugmann, Thomas 6 Abadi, Martín 6 Abdulla, Parosh Aziz 6 Abramsky, Samson 6 Adámek, Jiří 6 Alur, Rajeev 6 Barmpalias, George 6 Beigel, Richard 6 Bozzelli, Laura 6 Brihaye, Thomas 6 Desharnais, Josée 6 Dezani-Ciancaglini, Mariangiola 6 Edalat, Abbas 6 Ésik, Zoltán 6 Fenner, Stephen A. 6 Fernau, Henning 6 Freivalds, Rūsiņš Mārtiņš 6 Goldberg, Leslie Ann ...and 3,665 more Authors all top 5 Fields 2,537 Computer science (68-XX) 602 Mathematical logic and foundations (03-XX) 147 Information and communication theory, circuits (94-XX) 114 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 104 Combinatorics (05-XX) 74 General and overarching topics; collections (00-XX) 57 Operations research, mathematical programming (90-XX) 56 Category theory; homological algebra (18-XX) 39 Order, lattices, ordered algebraic structures (06-XX) 39 Group theory and generalizations (20-XX) 35 Number theory (11-XX) 32 Quantum theory (81-XX) 30 Biology and other natural sciences (92-XX) 29 Probability theory and stochastic processes (60-XX) 23 Dynamical systems and ergodic theory (37-XX) 17 Numerical analysis (65-XX) 16 Systems theory; control (93-XX) 11 General algebraic systems (08-XX) 11 Measure and integration (28-XX) 11 Statistics (62-XX) 7 Convex and discrete geometry (52-XX) 7 General topology (54-XX) 6 Field theory and polynomials (12-XX) 6 Commutative algebra (13-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Associative rings and algebras (16-XX) 4 Real functions (26-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 History and biography (01-XX) 2 Algebraic geometry (14-XX) 2 Functional analysis (46-XX) 1 Topological groups, Lie groups (22-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2,114 Publications have been cited 23,211 times in 15,429 Documents Cited by ▼ Year ▼ The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008Courcelle, Bruno 461 1990 Notions of computation and monads. Zbl 0723.68073Moggi, Eugenio 306 1991 Bisimulation through probabilistic testing. Zbl 0756.68035Larsen, Kim G.; Skou, Arne 281 1991 A calculus of mobile processes. I. Zbl 0752.68036Milner, Robin; Parrow, Joachim; Walker, David 235 1992 Learning regular sets from queries and counterexamples. Zbl 0636.68112Angluin, Dana 217 1987 A calculus of mobile processes. II. Zbl 0752.68037Milner, Robin; Parrow, Joachim; Walker, David 188 1992 A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082Kozen, Dexter 164 1994 The calculus of constructions. Zbl 0654.03045Coquand, Thierry; Huet, Gérard 164 1988 Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. 163 1992 On full abstraction for PCF: I, II and III. Zbl 1006.68027Hyland, J. M. E.; Ong, C.-H. L. 158 2000 Reasoning about infinite computations. Zbl 0827.03009Vardi, Moshe Y.; Wolper, Pierre 147 1994 The weighted majority algorithm. Zbl 0804.68121Littlestone, Nick; Warmuth, Manfred K. 146 1994 Approximate counting, uniform generation and rapidly mixing Markov chains. Zbl 0668.05060Sinclair, Alistair; Jerrum, Mark 145 1989 A logic for reasoning about probabilities. Zbl 0811.03014Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod 136 1990 Decision theoretic generalizations of the PAC model for neural net and other learning applications. Zbl 0762.68050Haussler, David 126 1992 Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 123 1994 A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073Abadi, Martín; Gordon, Andrew D. 117 1999 Full abstraction for PCF. Zbl 1006.68028Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale 114 2000 The dimensions of individual strings and sequences. Zbl 1090.68053Lutz, Jack H. 113 2003 Model-checking in dense real-time. Zbl 0783.68076Alur, Rajeev; Courcoubetis, Costas; Dill, David 111 1993 Logics of communication and change. Zbl 1120.03012van Benthem, Johan; van Eijck, Jan; Kooi, Barteld 107 2006 Bisimulation for labelled Markov processes. Zbl 1096.68103Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 106 2002 CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063Kanellakis, Paris C.; Smolka, Scott A. 105 1990 The complexity of stochastic games. Zbl 0756.90103Condon, Anne 102 1992 Searching in the plane. Zbl 0781.68044Baeza-Yates, Ricardo A.; Culberson, Joseph C.; Rawlins, Gregory J. E. 101 1993 Boosting a weak learning algorithm by majority. Zbl 0833.68109Freund, Yoav 98 1995 Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053Groote, Jan Friso; Vaandrager, Frits 89 1992 Nominal logic, a first order theory of names and binding. Zbl 1056.03014Pitts, Andrew M. 86 2003 Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard 85 1995 The vertex separation and search number of a graph. Zbl 0942.68641Ellis, J. A.; Sudborough, I. H.; Turner, J. S. 82 1994 Resolution for quantified Boolean formulas. Zbl 0828.68045Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas 82 1995 A syntactic approach to type soundness. Zbl 0938.68559Wright, Andrew K.; Felleisen, Matthias 81 1994 Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123Lynch, Nancy; Vaandrager, Frits 78 1995 Bisimulation from open maps. Zbl 0856.68067Joyal, André; Nielsen, Mogens; Winskel, Glynn 71 1996 Complexity of generalized satisfiability counting problems. Zbl 0853.68110Creignou, Nadia; Hermann, Miki 71 1996 Specifications in an arbitrary institution. Zbl 0654.68017Sannella, Donald; Tarlecki, Andrzej 70 1988 Verifying programs with unreliable channels. Zbl 0856.68096Abdulla, Parosh Aziz; Jonsson, Bengt 70 1996 Tight lower bounds for certain parameterized NP-hard problems. Zbl 1161.68476Chen, Jianer; Chor, Benny; Fellows, Mike; Huang, Xiuzhen; Juedes, David; Kanj, Iyad A.; Xia, Ge 70 2005 Real-time logics: Complexity and expressiveness. Zbl 0791.68103Alur, Rajeev; Henzinger, Thomas A. 69 1993 Almost perfect nonlinear power functions on \(\mathrm{GF}(2^n)\): the Niho case. Zbl 1072.94513Dobbertin, Hans 69 1999 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 68 1990 Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019Dwork, Cynthia; Moses, Yoram 67 1990 Pushdown processes: Games and model-checking. Zbl 1003.68072Walukiewicz, Igor 65 2001 A 1.488 approximation algorithm for the uncapacitated facility location problem. Zbl 1281.68236Li, Shi 65 2013 Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth. Zbl 1327.68126Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper 65 2015 Full abstraction in the lazy lambda calculus. Zbl 0779.03003Abramsky, Samson; Ong, C.-H. Luke 64 1993 A general lower bound on the number of examples needed for learning. Zbl 0679.68158Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie 64 1989 Light linear logic. Zbl 0912.03025Girard, Jean-Yves 64 1998 A process algebra for timed systems. Zbl 0826.68068Hennessy, Matthew; Regan, Tim 63 1995 The multi-tree approach to reliability in distributed networks. Zbl 0655.68029Itai, Alon; Rodeh, Michael 61 1988 Approximation hardness of dominating set problems in bounded degree graphs. Zbl 1169.68037Chlebík, M.; Chlebíková, J. 61 2008 Structural induction and coinduction in a fibrational setting. Zbl 0941.18006Hermida, Claudio; Jacobs, Bart 60 1998 More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems. Zbl 0776.68016Chaudhuri, Soma 59 1993 Strategy logic. Zbl 1205.68197Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 57 2010 A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050Milner, Robin 57 1989 Dynamical systems, measures, and fractals via domain theory. Zbl 0834.58029Edalat, Abbas 57 1995 Prudence and other conditions on formal language learning. Zbl 0698.68072Fulk, Mark A. 57 1990 Probabilistic logic programming. Zbl 0781.68038Ng, Raymond; Subrahmanian, V. S. 56 1992 Simple consequence relations. Zbl 0733.03007Avron, Arnon 54 1991 A domain equation for bisimulation. Zbl 0718.68057Abramsky, Samson 53 1991 Exponentiated gradient versus gradient descent for linear predictors. Zbl 0872.68158Kivinen, Jyrki; Warmuth, Manfred K. 52 1997 Categories of partial maps. Zbl 0656.18001Robinson, E.; Rosolini, G. 52 1988 Logic programming in a fragment of intuitionistic linear logic. Zbl 0807.68016Hodas, Joshua S.; Miller, Dale 51 1994 Predicting \(\{ 0,1\}\)-functions on randomly drawn points. Zbl 0938.68785Haussler, D.; Littlestone, N.; Warmuth, M. K. 51 1994 Inference of finite automata using homing sequences. Zbl 0786.68082Rivest, Ronald L.; Schapire, Robert E. 50 1993 An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023Streett, Robert S.; Emerson, E. Allen 50 1989 Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060Takahashi, Masako 50 1995 Proving congruence of bisimulation in functional programming languages. Zbl 0853.68073Howe, Douglas J. 50 1996 The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093Nicollin, Xavier; Sifakis, Joseph 49 1994 Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem. Zbl 0876.68030Kao, Ming-Yang; Reif, John H.; Tate, Stephen R. 49 1996 Descriptional and computational complexity of finite automata – a survey. Zbl 1217.68130Holzer, Markus; Kutrib, Martin 49 2011 Computability of probability measures and Martin-Löf randomness over metric spaces. Zbl 1167.68023Hoyrup, Mathieu; Rojas, Cristóbal 48 2009 Treewidth computations. I: Upper bounds. Zbl 1186.68328Bodlaender, Hans L.; Koster, Arie M. C. A. 48 2010 Infinitary logics and 0-1 laws. Zbl 0762.03016Kolaitis, Phokion G.; Vardi, Moshe Y. 47 1992 Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628Walukiewicz, Igor 47 2000 Follow automata. Zbl 1059.68063Ilie, Lucian; Yu, Sheng 46 2003 Boolean grammars. Zbl 1073.68037Okhotin, Alexander 46 2004 Visual cryptography for general access structures. Zbl 1096.94522Ateniese, Giuseppe; Blundo, Carlo; De Santis, Alfredo; Stinson, Douglas R. 46 1996 Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076Staiger, Ludwig 45 1993 Towards a unified approach to encodability and separation results for process calculi. Zbl 1209.68336Gorla, Daniele 44 2010 Hybrid I/O automata. Zbl 1069.68067Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 44 2003 Turning SOS rules into equations. Zbl 0822.68059Aceto, Luca; Bloom, Bard; Vaandrager, Frits 44 1994 Bisimulation for higher-order process calculi. Zbl 0876.68042Sangiorgi, Davide 44 1996 Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan 44 1995 Complexity of identification and dualization of positive Boolean functions. Zbl 1096.68633Bioch, Jan C.; Ibaraki, Toshihide 44 1995 Resource access control in systems of mobile agents. Zbl 1009.68081Hennessy, Matthew; Riely, James 43 2002 An essay in combinatory dynamic logic. Zbl 0732.03021Passy, Solomon; Tinchev, Tinko 42 1991 Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen 42 2000 Growing context-sensitive languages and Church-Rosser languages. Zbl 0894.68093Buntrock, Gerhard; Otto, Friedrich 41 1998 Contextual insertions/deletions and computability. Zbl 0872.68038Kari, Lila; Thierrin, Gabriel 41 1996 Process rewrite systems. Zbl 1046.68566Mayr, Richard 41 2000 Unbounded-error quantum computation with small space bounds. Zbl 1221.68092Yakaryılmaz, Abuzer; Say, A. C. Cem 41 2011 Parallel recognition of series-parallel graphs. Zbl 0754.68056Eppstein, David 40 1992 Power domains and iterated function systems. Zbl 0916.54014Edalat, Abbas 40 1996 Distinguishing string selection problems. Zbl 1069.68116Lanctot, J. Kevin; Li, Ming; Ma, Bin; Wang, Shaojiu; Zhang, Louxin 39 2003 On chromatic sums and distributed resource allocation. Zbl 0895.68022Bar-Noy, Amotz; Bellare, Mihir; Halldórsson, Magnús M.; Shachnai, Hadas; Tamir, Tami 39 1998 Numeration systems, linear recurrences, and regular sets. Zbl 0810.11006Shallit, Jeffrey 39 1994 A semantics of multiple inheritance. Zbl 0651.68017Cardelli, Luca 39 1988 Polymorphic type inference and containment. Zbl 0656.68023Mitchell, John C. 39 1988 Incremental concept learning for bounded data mining. Zbl 1045.68572Case, John; Jain, Sanjay; Lange, Steffen; Zeugmann, Thomas 39 1999 Weighted propositional configuration logics: a specification language for architectures with quantitative features. Zbl 1483.68088Paraponiari, Paulina; Rahonis, George 2 2022 Preservation of normality by transducers. Zbl 07452650Carton, Olivier; Orduna, Elisa 2 2022 What’s decidable about weighted automata? Zbl 07452651Almagor, Shaull; Boker, Udi; Kupferman, Orna 2 2022 Logic for \(\omega\)-pushdown automata. Zbl 1491.68097Droste, Manfred; Dziadek, Sven; Kuich, Werner 2 2022 Probabilistic automata of bounded ambiguity. Zbl 1483.68165Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James 1 2022 A periodicity lemma for partial words. Zbl 07488450Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Waleń, Tomasz 1 2022 Nondeterministic right one-way jumping finite automata. Zbl 07488453Beier, Simon; Holzer, Markus 1 2022 On the computational completeness of matrix simple semi-conditional grammars. Zbl 07488454Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 1 2022 Structural properties of NFAs and growth rates of nondeterminism measures. Zbl 07488456Keeler, Chris; Salomaa, Kai 1 2022 Descriptional complexity of iterated uniform finite-state transducers. Zbl 07488457Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice 1 2022 Operational union-complexity. Zbl 07488458Nagy, Benedek 1 2022 Ring exploration with myopic luminous robots. Zbl 07527812Ooshita, Fukuhito; Tixeuil, Sébastien 1 2022 Optimal in-place suffix sorting. Zbl 07538309Li, Zhize; Li, Jian; Huo, Hongwei 1 2022 Optimizing reachability sets in temporal graphs by delaying. Zbl 07538337Deligkas, Argyrios; Potapov, Igor 1 2022 Rule synchronization for monodirectional tissue-like P systems with channel states. Zbl 07538340Li, Yanyan; Song, Bosheng; Zeng, Xiangxiang 1 2022 Posets with interfaces as a model for concurrency. Zbl 07538344Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 1 2022 A universal algorithm for Krull’s theorem. Zbl 07540283Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus 1 2022 The computational power of monodirectional tissue P systems with symport rules. Zbl 07433295Song, Bosheng; Huang, Shengye; Zeng, Xiangxiang 3 2021 A decidable and expressive fragment of Many-Sorted first-order linear temporal logic. Zbl 07398017Peyras, Quentin; Brunel, Julien; Chemouil, David 2 2021 Regular \(\omega\)-languages with an informative right congruence. Zbl 1497.68247Angluin, Dana; Fisman, Dana 2 2021 Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking. Zbl 1497.68303Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine 2 2021 A theory of monitors. Zbl 1475.68206Francalanza, Adrian 2 2021 Neural-like P systems with plasmids. Zbl 07433298Cabarle, Francis George C.; Zeng, Xiangxiang; Murphy, Niall; Song, Tao; Rodríguez-Patón, Alfonso; Liu, Xiangrong 2 2021 Hitting forbidden induced subgraphs on bounded treewidth graphs. Zbl 07433326Sau, Ignasi; dos Santos Souza, Uéverton 2 2021 Wheeler languages. Zbl 07433330Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 2 2021 Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way. Zbl 07398013Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 1 2021 On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. Zbl 07398014Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi 1 2021 Timed hyperproperties. Zbl 07398015Ho, Hsi-Ming; Zhou, Ruoyu; Jones, Timothy M. 1 2021 Safe dependency atoms and possibility operators in team semantics. Zbl 07354959Galliani, Pietro 1 2021 Quantitative reductions and vertex-ranked infinite games. Zbl 1501.91040Weinert, Alexander 1 2021 A simplicial complex model for dynamic epistemic logic to study distributed task computability. Zbl 1497.03032Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio 1 2021 Slowly synchronizing automata with fixed alphabet size. Zbl 1497.68258Don, Henk; Zantema, Hans; de Bondt, Michiel 1 2021 Integrated encryption in dynamic arithmetic compression. Zbl 1497.68159Klein, Shmuel T.; Shapira, Dana 1 2021 Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Zbl 1497.68287Belardinelli, Francesco; Condurache, Rodica; Dima, Cătălin; Jamroga, Wojciech; Knapik, Michal 1 2021 Equilibria in multi-player multi-outcome infinite sequential games. Zbl 1501.91019Le Roux, Stéphane; Pauly, Arno 1 2021 Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. 1 2021 The emptiness problem for valence automata over graph monoids. Zbl 1475.68170Zetzsche, Georg 1 2021 Rule synchronization for tissue P systems. Zbl 07433279Song, Bosheng; Pan, Linqiang 1 2021 Advice complexity of treasure hunt in geometric terrains. Zbl 07433282Pelc, Andrzej; Yadav, Ram Narayan 1 2021 On the cost of unsuccessful searches in search trees with two-way comparisons. Zbl 07433284Chrobak, Marek; Golin, Mordecai; Munro, J. Ian; Young, Neal E. 1 2021 On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond. Zbl 07433286Bell, Paul C.; Potapov, Igor; Semukhin, Pavel 1 2021 Allocating contiguous blocks of indivisible chores fairly. Zbl 07433287Höhne, Felix; van Stee, Rob 1 2021 Asymptotics of the number of 2-threshold functions. Zbl 07433290Zamaraeva, Elena; Žunić, Joviša 1 2021 On equations and first-order theory of one-relator monoids. Zbl 07433292Garreta, Albert; Gray, Robert D. 1 2021 Computing absolutely normal numbers in nearly linear time. Zbl 07433293Lutz, Jack H.; Mayordomo, Elvira 1 2021 Bialgebraic foundations for the operational semantics of string diagrams. Zbl 07433299Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 1 2021 Weighted parsing for grammar-based language models over multioperator monoids. Zbl 07433305Mörbitz, Richard; Vogler, Heiko 1 2021 Automated deep abstractions for stochastic chemical reaction networks. Zbl 07433310Repin, Denis; Petrov, Tatjana 1 2021 Query complexity of generalized Simon’s problem. Zbl 07433312Ye, Zekun; Huang, Yunqi; Li, Lvzhou; Wang, Yuyi 1 2021 Completeness of string analysis for dynamic languages. Zbl 07433313Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella 1 2021 Fast polynomial inversion for post quantum QC-MDPC cryptography. Zbl 07433319Drucker, Nir; Gueron, Shay; Kostic, Dusan 1 2021 Cell-like P systems with evolutional symport/antiport rules and membrane creation. Zbl 1496.68144Song, Bosheng; Li, Kenli; Orellana-Martín, David; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J. 9 2020 Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim 9 2020 A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 5 2020 Absent words in a sliding window with applications. Zbl 1436.68406Crochemore, Maxime; Héliou, Alice; Kucherov, Gregory; Mouchard, Laurent; Pissis, Solon P.; Ramusat, Yann 5 2020 A parametric framework for reversible \(\pi\)-calculi. Zbl 1496.68241Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko 5 2020 Presynthesis of bounded choice-free or fork-attribution nets. Zbl 1455.68130Wimmel, Harro 4 2020 Indexing weighted sequences: neat and efficient. Zbl 1436.68082Barton, Carl; Kociumaka, Tomasz; Liu, Chang; Pissis, Solon P.; Radoszewski, Jakub 4 2020 Reversibility of computations in graph-walking automata. Zbl 1496.68176Kunc, Michal; Okhotin, Alexander 4 2020 Minimum fill-in: inapproximability and almost tight lower bounds. Zbl 1435.68111Cao, Yixin; Sandeep, R. B. 3 2020 Learning families of algebraic structures from informant. Zbl 1496.68162Bazhenov, Nikolay; Fokina, Ekaterina; San Mauro, Luca 3 2020 Bounding the dimension of points on a line. Zbl 1496.68160Lutz, Neil; Stull, D. M. 3 2020 Team equivalences for finite-state machines with silent moves. Zbl 1498.68184Gorrieri, Roberto 3 2020 Revisiting Deutsch-Jozsa algorithm. Zbl 1496.68152Qiu, Daowen; Zheng, Shenggen 3 2020 Online recognition of dictionary with one gap. Zbl 1496.68382Amir, Amihood; Levy, Avivit; Porat, Ely; Riva Shalom, B. 3 2020 Efficient enumeration of three-state two-dimensional number-conserving cellular automata. Zbl 1458.37019Dzedzej, Adam; Wolnik, Barbara; Nenca, Anna; Baetens, Jan M.; De Baets, Bernard 3 2020 The complexity of the asynchronous prediction of the majority automata. Zbl 1460.68068Goles, Eric; Montealegre, Pedro 3 2020 Maximum sensitivity to update schedules of elementary cellular automata over infinite configurations. Zbl 1458.37022Ruivo, Eurico L. P.; Balbi, Pedro Paulo; Montalva-Medel, Marco; Perrot, Kévin 3 2020 Fast scalable construction of ([compressed] static | minimal perfect hash) functions. Zbl 1446.68038Genuzio, Marco; Ottaviano, Giuseppe; Vigna, Sebastiano 3 2020 Polylog depth, highness and lowness for E. Zbl 1441.68112Moser, Philippe 2 2020 Arrow update synthesis. Zbl 1496.68326van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B. 2 2020 The link-calculus for open multiparty interactions. Zbl 1496.68218Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2020 PPLite: zero-overhead encoding of NNC polyhedra. Zbl 1496.68351Becchi, Anna; Zaffanella, Enea 2 2020 Finite-state strategies in delay games. Zbl 1443.68100Winter, Sarah; Zimmermann, Martin 2 2020 Robust worst cases for parity games algorithms. Zbl 1443.68067Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio 2 2020 On the complexity of the stability problem of binary freezing totalistic cellular automata. Zbl 1455.68108Goles, Eric; Maldonado, Diego; Montealegre, Pedro; Ollinger, Nicolas 2 2020 An algebraic geometric approach to Nivat’s conjecture. Zbl 1434.68266Kari, Jarkko; Szabados, Michal 1 2020 Uniform van Lambalgen’s theorem fails for computable randomness. Zbl 1441.68110Bauwens, Bruno 1 2020 Logical vs. behavioural specifications. Zbl 1435.68189Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie 1 2020 Streaming \(k\)-mismatch with error correcting and applications. Zbl 1435.68402Radoszewski, Jakub; Starikovskaya, Tatiana 1 2020 Dynamic programming optimization in line of sight networks. Zbl 1436.68258Sangha, Pavan; Wong, Prudence W. H.; Zito, Michele 1 2020 Large-scale clique cover of real-world networks. Zbl 1436.68228Conte, Alessio; Grossi, Roberto; Marino, Andrea 1 2020 Computational fuzzy extractors. Zbl 1492.94108Fuller, Benjamin; Meng, Xianrui; Reyzin, Leonid 1 2020 Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results. Zbl 1496.68298Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano 1 2020 A structured view on weighted counting with relations to counting, quantum computation and applications. Zbl 1496.68153de Campos, Cassio P.; Stamoulis, Georgios; Weyland, Dennis 1 2020 Model checking interval temporal logics with regular expressions. Zbl 1443.68102Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano 1 2020 Characterization and measure of infinite two-dimensional strong prefix codes. Zbl 1460.68048Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria 1 2020 Complexity of the dynamics of reaction systems. Zbl 1422.68069Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Porreca, Antonio E. 9 2019 Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. Zbl 1430.68162Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas 5 2019 Limited automata and unary languages. Zbl 1427.68153Pighizzini, Giovanni; Prigioniero, Luca 5 2019 A mesh of automata. Zbl 1430.68140Broda, Sabine; Holzer, Markus; Maia, Eva; Moreira, Nelma; Reis, Rogério 4 2019 Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161Castiglioni, Valentina; Tini, Simone 4 2019 Weighted automata with storage. Zbl 1435.68164Herrmann, Luisa; Vogler, Heiko; Droste, Manfred 3 2019 A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele 3 2019 Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Zbl 1436.03120Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G. 3 2019 Faster FPTASes for counting and random generation of knapsack solutions. Zbl 1423.68600Rizzi, Romeo; Tomescu, Alexandru I. 3 2019 Expressiveness of probabilistic modal logics: a gradual approach. Zbl 1422.68167Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash 3 2019 A tale of two diagnoses in probabilistic systems. Zbl 1435.68212Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel 2 2019 On the relative expressiveness of higher-order session processes. Zbl 1430.68163Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko 2 2019 Optimal bounds for computing \({\alpha}\)-gapped repeats. Zbl 1434.68382Crochemore, Maxime; Kolpakov, Roman; Kucherov, Gregory 2 2019 ...and 1323 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 14,545 Authors 98 Jain, Sanjay 85 Stephan, Frank 61 Okhotin, Alexander 54 Kutrib, Martin 54 Montanari, Ugo G. 51 Ésik, Zoltán 48 Aceto, Luca 48 Larsen, Kim Guldstrand 48 Meseguer Guaita, José 47 Case, John 45 Kupferman, Orna 45 Salomaa, Kai T. 44 Ingólfsdóttir, Anna 44 Otto, Friedrich 43 Thilikos, Dimitrios M. 42 Engelfriet, Joost 40 Dezani-Ciancaglini, Mariangiola 40 Fernau, Henning 39 Holzer, Markus 39 Vardi, Moshe Ya’akov 38 Bodlaender, Hans L. 38 Milius, Stefan 37 Courcelle, Bruno 36 Raynal, Michel 35 Eiter, Thomas 35 Henzinger, Thomas A. 35 Makino, Kazuhisa 35 Pelc, Andrzej 34 Chatterjee, Krishnendu 34 Hemaspaandra, Lane A. 34 van Glabbeek, Robert Jan 34 Yoshida, Nobuko 33 Lohrey, Markus 32 Bonchi, Filippo 32 Fomin, Fedor V. 32 Sangiorgi, Davide 31 Corradini, Andrea 31 Dal Lago, Ugo 31 Murano, Aniello 30 Droste, Manfred 30 Epstein, Leah 30 Fernández, Maribel 30 Fokkink, Willem Jan 30 Rajsbaum, Sergio 30 Silva, Alexandra 29 Baldan, Paolo 29 Beyersdorff, Olaf 29 Gadducci, Fabio 29 Hennessy, Matthew C. B. 29 Jacobs, Bart 29 Katoen, Joost-Pieter 29 Legay, Axel 29 Malcher, Andreas 28 Amir, Amihood 28 Bergstra, Jan A. 28 Lucas, Salvador 28 Luttik, Bas 28 Schröder, Lutz 27 Bouyer, Patricia 27 Bruni, Roberto 27 Cai, Jin-Yi 27 Demri, Stéphane P. 27 Gastin, Paul 27 Kinber, Efim B. 27 Middeldorp, Aart 27 Raskin, Jean-François 26 Ibarra, Oscar H. 26 Power, John 26 Rabinovich, Alexander 26 Worrell, James B. 25 Bozzelli, Laura 25 Finkel, Alain 25 Fu, Yuxi 25 Gorrieri, Roberto 25 Pighizzini, Giovanni 25 Rytter, Wojciech 25 Yakaryılmaz, Abuzer 24 Adámek, Jiří 24 Corradini, Flavio 24 Czyzowicz, Jurek 24 Diekert, Volker 24 Jirásková, Galina 24 Kohlhase, Michael 24 Porat, Ely 24 Rabe, Florian 24 Saurabh, Saket 24 Vogler, Walter 23 Allender, Eric W. 23 Baeten, Jos C. M. 23 Geffert, Viliam 23 Goldberg, Leslie Ann 23 Golovach, Petr A. 23 Halpern, Joseph Yehuda 23 Kwiatkowska, Marta Z. 23 Paulusma, Daniël 23 Pilipczuk, Michał 23 Zavattaro, Gianluigi 22 Abdulla, Parosh Aziz 22 Abramsky, Samson 22 Bollig, Benedikt ...and 14,445 more Authors all top 5 Cited in 559 Journals 2,443 Theoretical Computer Science 1,125 Information and Computation 460 Journal of Computer and System Sciences 429 Information Processing Letters 318 Discrete Applied Mathematics 303 MSCS. Mathematical Structures in Computer Science 280 Algorithmica 231 Annals of Pure and Applied Logic 227 Logical Methods in Computer Science 223 International Journal of Foundations of Computer Science 215 Theory of Computing Systems 199 Artificial Intelligence 194 Acta Informatica 173 Formal Aspects of Computing 170 Journal of Logical and Algebraic Methods in Programming 167 Journal of Automated Reasoning 150 Distributed Computing 144 The Journal of Logic and Algebraic Programming 133 Formal Methods in System Design 108 SIAM Journal on Computing 106 Annals of Mathematics and Artificial Intelligence 94 Journal of Functional Programming 92 The Journal of Symbolic Logic 75 Computational Complexity 75 RAIRO. Theoretical Informatics and Applications 73 Machine Learning 72 Information Sciences 71 Journal of Symbolic Computation 70 Journal of Combinatorial Optimization 69 Studia Logica 60 ACM Transactions on Computational Logic 58 International Journal of Approximate Reasoning 58 Journal of Discrete Algorithms 58 Journal of Applied Logic 57 SIAM Journal on Discrete Mathematics 57 Journal of Applied Non-Classical Logics 52 Discrete Mathematics 52 Theory and Practice of Logic Programming 47 International Journal of Algebra and Computation 47 Designs, Codes and Cryptography 47 The Bulletin of Symbolic Logic 45 Science of Computer Programming 41 Mathematical Systems Theory 38 International Journal of Computer Mathematics 37 Journal of Philosophical Logic 37 Synthese 37 Fundamenta Informaticae 36 RAIRO. Informatique Théorique et Applications 35 Archive for Mathematical Logic 35 Journal of Logic, Language and Information 35 RAIRO. Theoretical Informatics and Applications 30 European Journal of Operational Research 29 Fuzzy Sets and Systems 29 Computational Geometry 28 Journal of Computer Science and Technology 27 Automatica 27 Computers & Operations Research 27 Discrete Event Dynamic Systems 27 Applicable Algebra in Engineering, Communication and Computing 26 Journal of Pure and Applied Algebra 26 Journal of Cryptology 25 Journal of Complexity 25 Neural Computation 25 Higher-Order and Symbolic Computation 25 Cryptography and Communications 24 European Journal of Combinatorics 24 Discrete & Computational Geometry 22 Notre Dame Journal of Formal Logic 22 Finite Fields and their Applications 21 Mathematical Programming. Series A. Series B 21 Computer Science Review 20 Operations Research Letters 19 Journal of Algebra 19 Topology and its Applications 19 Real-Time Systems 19 Random Structures & Algorithms 19 Mathematical Logic Quarterly (MLQ) 19 Soft Computing 19 Journal of Scheduling 19 Computer Languages, Systems & Structures 19 Algorithms 18 Annals of Operations Research 18 Pattern Recognition 18 Applied Categorical Structures 18 The Electronic Journal of Combinatorics 18 Journal of the ACM 18 Quantum Information Processing 17 The Annals of Statistics 17 Games and Economic Behavior 17 Natural Computing 16 Mathematics of Computation 16 Algebra Universalis 16 Journal of Combinatorial Theory. Series B 16 Mathematics of Operations Research 16 Linear Algebra and its Applications 16 Discrete Optimization 16 Discrete Mathematics, Algorithms and Applications 16 The Review of Symbolic Logic 16 Journal of Membrane Computing 15 Combinatorica ...and 459 more Journals all top 5 Cited in 58 Fields 12,619 Computer science (68-XX) 3,442 Mathematical logic and foundations (03-XX) 1,390 Combinatorics (05-XX) 706 Operations research, mathematical programming (90-XX) 682 Information and communication theory, circuits (94-XX) 601 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 499 Category theory; homological algebra (18-XX) 287 Order, lattices, ordered algebraic structures (06-XX) 269 Probability theory and stochastic processes (60-XX) 255 Number theory (11-XX) 237 Statistics (62-XX) 214 Group theory and generalizations (20-XX) 196 Biology and other natural sciences (92-XX) 193 Quantum theory (81-XX) 167 Systems theory; control (93-XX) 138 Numerical analysis (65-XX) 116 General algebraic systems (08-XX) 101 Dynamical systems and ergodic theory (37-XX) 85 General topology (54-XX) 76 Measure and integration (28-XX) 75 Convex and discrete geometry (52-XX) 60 Linear and multilinear algebra; matrix theory (15-XX) 59 Commutative algebra (13-XX) 52 Statistical mechanics, structure of matter (82-XX) 50 Algebraic geometry (14-XX) 45 Field theory and polynomials (12-XX) 43 Associative rings and algebras (16-XX) 34 History and biography (01-XX) 26 Manifolds and cell complexes (57-XX) 25 General and overarching topics; collections (00-XX) 25 Geometry (51-XX) 24 Functional analysis (46-XX) 22 Real functions (26-XX) 20 Algebraic topology (55-XX) 17 Operator theory (47-XX) 15 Approximations and expansions (41-XX) 8 Ordinary differential equations (34-XX) 8 Partial differential equations (35-XX) 7 Functions of a complex variable (30-XX) 7 Global analysis, analysis on manifolds (58-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 4 Difference and functional equations (39-XX) 4 Differential geometry (53-XX) 4 Mechanics of particles and systems (70-XX) 4 Mathematics education (97-XX) 3 \(K\)-theory (19-XX) 3 Topological groups, Lie groups (22-XX) 3 Fluid mechanics (76-XX) 3 Relativity and gravitational theory (83-XX) 3 Geophysics (86-XX) 2 Nonassociative rings and algebras (17-XX) 2 Integral transforms, operational calculus (44-XX) 2 Integral equations (45-XX) 1 Potential theory (31-XX) 1 Abstract harmonic analysis (43-XX) 1 Mechanics of deformable solids (74-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year