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: Journal; Indexed cover-to-cover Documents Indexed: 2,817 Publications (since 1987) References Indexed: 2,312 Publications with 68,624 References. all top 5 Latest Issues 294 (2023) 293 (2023) 292 (2023) 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) ...and 319 more Volumes all top 5 Authors 31 Jain, Sanjay 26 Stephan, Frank 20 Rabinovich, Alexander 15 Okhotin, Alexander 14 Droste, Manfred 14 Vardi, Moshe Ya’akov 13 Ibarra, Oscar H. 13 Pighizzini, Giovanni 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 11 Amir, Amihood 11 Fokkink, Willem Jan 11 Hemaspaandra, Lane A. 11 Kinber, Efim B. 11 Sangiorgi, Davide 11 Sharma, Arun Kumar 11 van Glabbeek, Robert Jan 10 Engelfriet, Joost 10 Henzinger, Thomas A. 10 Lutz, Jack H. 10 Métivier, Yves 10 Peleg, David 9 Aceto, Luca 9 Baldan, Paolo 9 Boreale, Michele 9 Cai, Jin-Yi 9 Geffert, Viliam 9 Ghelli, Giorgio 9 Hromkovič, Juraj 9 Kutrib, Martin 9 Navarro, Gonzalo 9 Panangaden, Prakash 9 Pnueli, Amir 9 Porat, Ely 9 Truthe, Bianca 9 Warmuth, Manfred K. 8 Bodlaender, Hans L. 8 Bouyer, Patricia 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 Mogavero, Fabio 8 Montanari, Angelo 8 Peron, Adriano 8 Raskin, Jean-François 8 Rutten, Jan J. M. M. 8 Thérien, Denis 8 Zemmari, Akka 7 Arvind, Vikraman 7 Bozzelli, Laura 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 Lange, Martin 7 Middeldorp, Aart 7 Montanari, Ugo G. 7 Pelc, Andrzej 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 Brihaye, Thomas 6 Desharnais, Josée 6 Dezani-Ciancaglini, Mariangiola 6 Edalat, Abbas 6 Ésik, Zoltán 6 Fenner, Stephen A. ...and 3,747 more Authors all top 5 Fields 2,581 Computer science (68-XX) 613 Mathematical logic and foundations (03-XX) 150 Information and communication theory, circuits (94-XX) 116 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 108 Combinatorics (05-XX) 74 General and overarching topics; collections (00-XX) 62 Operations research, mathematical programming (90-XX) 58 Category theory; homological algebra (18-XX) 40 Group theory and generalizations (20-XX) 39 Order, lattices, ordered algebraic structures (06-XX) 37 Number theory (11-XX) 34 Quantum theory (81-XX) 32 Biology and other natural sciences (92-XX) 30 Probability theory and stochastic processes (60-XX) 25 Dynamical systems and ergodic theory (37-XX) 17 Numerical analysis (65-XX) 17 Systems theory; control (93-XX) 11 General algebraic systems (08-XX) 11 Measure and integration (28-XX) 11 Statistics (62-XX) 7 Linear and multilinear algebra; matrix theory (15-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 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,223 Publications have been cited 25,493 times in 17,004 Documents Cited by ▼ Year ▼ The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008Courcelle, Bruno 516 1990 Notions of computation and monads. Zbl 0723.68073Moggi, Eugenio 330 1991 Bisimulation through probabilistic testing. Zbl 0756.68035Larsen, Kim G.; Skou, Arne 304 1991 A calculus of mobile processes. I. Zbl 0752.68036Milner, Robin; Parrow, Joachim; Walker, David 263 1992 Learning regular sets from queries and counterexamples. Zbl 0636.68112Angluin, Dana 254 1987 A calculus of mobile processes. II. Zbl 0752.68037Milner, Robin; Parrow, Joachim; Walker, David 201 1992 A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082Kozen, Dexter 185 1994 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. 181 1992 The calculus of constructions. Zbl 0654.03045Coquand, Thierry; Huet, Gérard 181 1988 Reasoning about infinite computations. Zbl 0827.03009Vardi, Moshe Y.; Wolper, Pierre 167 1994 On full abstraction for PCF: I, II and III. Zbl 1006.68027Hyland, J. M. E.; Ong, C.-H. L. 165 2000 Approximate counting, uniform generation and rapidly mixing Markov chains. Zbl 0668.05060Sinclair, Alistair; Jerrum, Mark 159 1989 The weighted majority algorithm. Zbl 0804.68121Littlestone, Nick; Warmuth, Manfred K. 156 1994 A logic for reasoning about probabilities. Zbl 0811.03014Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod 148 1990 Decision theoretic generalizations of the PAC model for neural net and other learning applications. Zbl 0762.68050Haussler, David 131 1992 Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 128 1994 Logics of communication and change. Zbl 1120.03012van Benthem, Johan; van Eijck, Jan; Kooi, Barteld 127 2006 A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073Abadi, Martín; Gordon, Andrew D. 124 1999 The dimensions of individual strings and sequences. Zbl 1090.68053Lutz, Jack H. 123 2003 The complexity of stochastic games. Zbl 0756.90103Condon, Anne 122 1992 Full abstraction for PCF. Zbl 1006.68028Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale 121 2000 Bisimulation for labelled Markov processes. Zbl 1096.68103Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 118 2002 Searching in the plane. Zbl 0781.68044Baeza-Yates, Ricardo A.; Culberson, Joseph C.; Rawlins, Gregory J. E. 116 1993 CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063Kanellakis, Paris C.; Smolka, Scott A. 116 1990 Model-checking in dense real-time. Zbl 0783.68076Alur, Rajeev; Courcoubetis, Costas; Dill, David 115 1993 Boosting a weak learning algorithm by majority. Zbl 0833.68109Freund, Yoav 101 1995 Nominal logic, a first order theory of names and binding. Zbl 1056.03014Pitts, Andrew M. 93 2003 Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053Groote, Jan Friso; Vaandrager, Frits 92 1992 The vertex separation and search number of a graph. Zbl 0942.68641Ellis, J. A.; Sudborough, I. H.; Turner, J. S. 91 1994 Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard 90 1995 A syntactic approach to type soundness. Zbl 0938.68559Wright, Andrew K.; Felleisen, Matthias 89 1994 Resolution for quantified Boolean formulas. Zbl 0828.68045Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas 89 1995 Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123Lynch, Nancy; Vaandrager, Frits 83 1995 Verifying programs with unreliable channels. Zbl 0856.68096Abdulla, Parosh Aziz; Jonsson, Bengt 81 1996 Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth. Zbl 1327.68126Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper 81 2015 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 77 2005 Almost perfect nonlinear power functions on \(\mathrm{GF}(2^n)\): the Niho case. Zbl 1072.94513Dobbertin, Hans 76 1999 Bisimulation from open maps. Zbl 0856.68067Joyal, André; Nielsen, Mogens; Winskel, Glynn 76 1996 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 76 1990 Real-time logics: Complexity and expressiveness. Zbl 0791.68103Alur, Rajeev; Henzinger, Thomas A. 75 1993 Complexity of generalized satisfiability counting problems. Zbl 0853.68110Creignou, Nadia; Hermann, Miki 74 1996 Specifications in an arbitrary institution. Zbl 0654.68017Sannella, Donald; Tarlecki, Andrzej 74 1988 Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019Dwork, Cynthia; Moses, Yoram 73 1990 Light linear logic. Zbl 0912.03025Girard, Jean-Yves 71 1998 A 1.488 approximation algorithm for the uncapacitated facility location problem. Zbl 1281.68236Li, Shi 71 2013 More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems. Zbl 0776.68016Chaudhuri, Soma 69 1993 Approximation hardness of dominating set problems in bounded degree graphs. Zbl 1169.68037Chlebík, M.; Chlebíková, J. 69 2008 Full abstraction in the lazy lambda calculus. Zbl 0779.03003Abramsky, Samson; Ong, C.-H. Luke 68 1993 Pushdown processes: Games and model-checking. Zbl 1003.68072Walukiewicz, Igor 68 2001 A general lower bound on the number of examples needed for learning. Zbl 0679.68158Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie 67 1989 Structural induction and coinduction in a fibrational setting. Zbl 0941.18006Hermida, Claudio; Jacobs, Bart 65 1998 The multi-tree approach to reliability in distributed networks. Zbl 0655.68029Itai, Alon; Rodeh, Michael 65 1988 A process algebra for timed systems. Zbl 0826.68068Hennessy, Matthew; Regan, Tim 64 1995 Probabilistic logic programming. Zbl 0781.68038Ng, Raymond; Subrahmanian, V. S. 62 1992 A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050Milner, Robin 61 1989 Descriptional and computational complexity of finite automata – a survey. Zbl 1217.68130Holzer, Markus; Kutrib, Martin 60 2011 Prudence and other conditions on formal language learning. Zbl 0698.68072Fulk, Mark A. 59 1990 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. 59 1996 Strategy logic. Zbl 1205.68197Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 59 2010 Dynamical systems, measures, and fractals via domain theory. Zbl 0834.58029Edalat, Abbas 58 1995 Inference of finite automata using homing sequences. Zbl 0786.68082Rivest, Ronald L.; Schapire, Robert E. 57 1993 Categories of partial maps. Zbl 0656.18001Robinson, E.; Rosolini, G. 57 1988 Logic programming in a fragment of intuitionistic linear logic. Zbl 0807.68016Hodas, Joshua S.; Miller, Dale 56 1994 Exponentiated gradient versus gradient descent for linear predictors. Zbl 0872.68158Kivinen, Jyrki; Warmuth, Manfred K. 55 1997 A domain equation for bisimulation. Zbl 0718.68057Abramsky, Samson 54 1991 Simple consequence relations. Zbl 0733.03007Avron, Arnon 54 1991 Computability of probability measures and Martin-Löf randomness over metric spaces. Zbl 1167.68023Hoyrup, Mathieu; Rojas, Cristóbal 54 2009 Predicting \(\{ 0,1\}\)-functions on randomly drawn points. Zbl 0938.68785Haussler, D.; Littlestone, N.; Warmuth, M. K. 53 1994 Follow automata. Zbl 1059.68063Ilie, Lucian; Yu, Sheng 53 2003 Proving congruence of bisimulation in functional programming languages. Zbl 0853.68073Howe, Douglas J. 53 1996 Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060Takahashi, Masako 52 1995 An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023Streett, Robert S.; Emerson, E. Allen 52 1989 Treewidth computations. I: Upper bounds. Zbl 1186.68328Bodlaender, Hans L.; Koster, Arie M. C. A. 51 2010 The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093Nicollin, Xavier; Sifakis, Joseph 50 1994 Visual cryptography for general access structures. Zbl 1096.94522Ateniese, Giuseppe; Blundo, Carlo; De Santis, Alfredo; Stinson, Douglas R. 49 1996 Hybrid I/O automata. Zbl 1069.68067Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 49 2003 Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628Walukiewicz, Igor 49 2000 Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan 49 1995 Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076Staiger, Ludwig 48 1993 Towards a unified approach to encodability and separation results for process calculi. Zbl 1209.68336Gorla, Daniele 48 2010 Turning SOS rules into equations. Zbl 0822.68059Aceto, Luca; Bloom, Bard; Vaandrager, Frits 47 1994 Infinitary logics and 0-1 laws. Zbl 0762.03016Kolaitis, Phokion G.; Vardi, Moshe Y. 47 1992 Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen 47 2000 A fast algorithm for computing multiplicative inverses in \(\text{GF}(2^ m)\) using normal bases. Zbl 0672.68015Itoh, Toshiya; Tsujii, Shigeo 47 1988 Bisimulation for higher-order process calculi. Zbl 0876.68042Sangiorgi, Davide 47 1996 Boolean grammars. Zbl 1073.68037Okhotin, Alexander 47 2004 Resource access control in systems of mobile agents. Zbl 1009.68081Hennessy, Matthew; Riely, James 46 2002 Contextual insertions/deletions and computability. Zbl 0872.68038Kari, Lila; Thierrin, Gabriel 46 1996 Unbounded-error quantum computation with small space bounds. Zbl 1221.68092Yakaryılmaz, Abuzer; Say, A. C. Cem 45 2011 Parallel recognition of series-parallel graphs. Zbl 0754.68056Eppstein, David 45 1992 Complexity of identification and dualization of positive Boolean functions. Zbl 1096.68633Bioch, Jan C.; Ibaraki, Toshihide 45 1995 A spatial logic for concurrency. I. Zbl 1068.03022Caires, Luís; Cardelli, Luca 45 2003 Power domains and iterated function systems. Zbl 0916.54014Edalat, Abbas 43 1996 On the complexity of some colorful problems parameterized by treewidth. Zbl 1223.05070Fellows, Michael R.; Fomin, Fedor V.; Lokshtanov, Daniel; Rosamond, Frances; Saurabh, Saket; Szeider, Stefan; Thomassen, Carsten 43 2011 Growing context-sensitive languages and Church-Rosser languages. Zbl 0894.68093Buntrock, Gerhard; Otto, Friedrich 43 1998 Numeration systems, linear recurrences, and regular sets. Zbl 0810.11006Shallit, Jeffrey 42 1994 Automatic proofs by induction in theories without constructors. Zbl 0682.68032Jouannaud, Jean-Pierre; Kounalis, Emmanuel 42 1989 An essay in combinatory dynamic logic. Zbl 0732.03021Passy, Solomon; Tinchev, Tinko 42 1991 On chromatic sums and distributed resource allocation. Zbl 0895.68022Bar-Noy, Amotz; Bellare, Mihir; Halldórsson, Magnús M.; Shachnai, Hadas; Tamir, Tami 42 1998 Minimal-change integrity maintenance using tuple deletions. Zbl 1075.68022Chomicki, Jan; Marcinkowski, Jerzy 41 2005 Traceable constant-size multi-authority credentials. Zbl 07713424Hébant, Chloé; Pointcheval, David 2 2023 Sensitivity of string compressors and repetitiveness measures. Zbl 1506.68023Akagi, Tooru; Funakoshi, Mitsuru; Inenaga, Shunsuke 2 2023 Are bundles good deals for first-order modal logic? Zbl 07713426Liu, Mo; Padmanabha, Anantha; Ramanujam, R.; Wang, Yanjing 1 2023 Removing redundant refusals: minimal complete test suites for failure trace semantics. Zbl 1506.68059Gazda, Maciej; Hierons, Robert M. 1 2023 State complexity of transforming graph-walking automata to halting, returning and reversible. Zbl 1506.68048Martynova, Olga; Okhotin, Alexander 1 2023 Modelling mutual exclusion in a process algebra with time-outs. Zbl 07742410van Glabbeek, Rob 1 2023 Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Zbl 1487.68123Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Libralesso, Luc; Mizuki, Takaaki 8 2022 Weighted propositional configuration logics: a specification language for architectures with quantitative features. Zbl 1483.68088Paraponiari, Paulina; Rahonis, George 8 2022 What’s decidable about weighted automata? Zbl 07452651Almagor, Shaull; Boker, Udi; Kupferman, Orna 6 2022 Information leakage due to operative errors in card-based protocols. Zbl 1504.68073Mizuki, Takaaki; Komano, Yuichi 5 2022 Optimal in-place suffix sorting. Zbl 1517.68095Li, Zhize; Li, Jian; Huo, Hongwei 3 2022 Variable-length codes independent or closed with respect to edit relations. Zbl 07601277Néraud, Jean 3 2022 Combination of roots and Boolean operations: an application to state complexity. Zbl 07629152Caron, Pascal; Hamel-de le Court, Edwin; Luque, Jean-Gabriel 3 2022 Formal languages over GF(2). Zbl 07488445Bakinova, Ekaterina; Basharin, Artem; Batmanov, Igor; Lyubort, Konstantin; Okhotin, Alexander; Sazhneva, Elizaveta 3 2022 Fast mixing via polymers for random graphs with unbounded degree. Zbl 1504.68285Galanis, Andreas; Goldberg, Leslie Ann; Stewart, James 2 2022 Rule synchronization for monodirectional tissue-like P systems with channel states. Zbl 1504.68067Li, Yanyan; Song, Bosheng; Zeng, Xiangxiang 2 2022 Lifting proofs from countable to uncountable mathematics. Zbl 1518.03014Sanders, Sam 2 2022 Complexity of automatic sequences. Zbl 07601275Zantema, Hans; Bosma, Wieb 2 2022 Constant-space, constant-randomness verifiers with arbitrarily small error. Zbl 07601276Gezer, M. Utkan; Say, A. C. Cem 2 2022 On the complexity of approximately matching a string to a directed graph. Zbl 1498.68202Dondi, Riccardo; Mauri, Giancarlo; Zoppis, Italo 2 2022 A periodicity lemma for partial words. Zbl 07488450Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Waleń, Tomasz 2 2022 Structural properties of NFAs and growth rates of nondeterminism measures. Zbl 07488456Keeler, Chris; Salomaa, Kai 2 2022 Descriptional complexity of iterated uniform finite-state transducers. Zbl 07488457Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice 2 2022 Preservation of normality by transducers. Zbl 1505.68021Carton, Olivier; Orduna, Elisa 2 2022 Logic for \(\omega\)-pushdown automata. Zbl 1491.68097Droste, Manfred; Dziadek, Sven; Kuich, Werner 2 2022 Faster repetition-aware compressed suffix trees based on block trees. Zbl 1487.68082Cáceres, Manuel; Navarro, Gonzalo 1 2022 A practical succinct dynamic graph representation. Zbl 1489.68059Coimbra, Miguel E.; Hrotkó, Joana; Francisco, Alexandre P.; Russo, Luís M. S.; de Bernardo, Guillermo; Ladra, Susana; Navarro, Gonzalo 1 2022 Counting (Watson-Crick) palindromes in Watson-Crick conjugates. Zbl 1487.68187Mahalingam, Kalpana; Maity, Anuran; Pandoh, Palak 1 2022 Higher order monotonicity and submodularity of influence in social networks: from local to global. Zbl 1492.91244Chen, Wei; Li, Qiang; Shan, Xiaohan; Sun, Xiaoming; Zhang, Jialin 1 2022 Store-collect in the presence of continuous churn with application to snapshots and lattice agreement. Zbl 1504.68016Attiya, Hagit; Kumari, Sweta; Somani, Archit; Welch, Jennifer L. 1 2022 On continued fraction randomness and normality. Zbl 1512.11060Nandakumar, Satyadev; Vishnoi, Prateek 1 2022 Value iteration for simple stochastic games: stopping criterion and learning algorithm. Zbl 1507.91016Eisentraut, Julia; Kelmendi, Edon; Křetínský, Jan; Weininger, Maximilian 1 2022 Optimizing reachability sets in temporal graphs by delaying. Zbl 1504.68160Deligkas, Argyrios; Potapov, Igor 1 2022 Posets with interfaces as a model for concurrency. Zbl 1515.68204Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 1 2022 Regular matching and inclusion on compressed tree patterns with constrained context variables. Zbl 1487.68141Boneva, Iovka; Niehren, Joachim; Sakho, Momar 1 2022 The complexity of regex crosswords. Zbl 1487.68126Fenner, Stephen; Padé, Daniel; Thierauf, Thomas 1 2022 On linear languages recognized by deterministic biautomata. Zbl 1487.68148Jirásková, Galina; Klíma, Ondřej 1 2022 Efficient representation and counting of antipower factors in words. Zbl 1501.68005Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Straszyński, Juliusz; Waleń, Tomasz; Zuba, Wiktor 1 2022 Transformation of variants of Petri nets into context-dependent fusion grammars. Zbl 1487.68139Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 1 2022 Enumeration of two dimensional palindromes. Zbl 1501.68003Mahalingam, Kalpana; Pandoh, Palak 1 2022 The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic. Zbl 07540271Parys, Paweł 1 2022 Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. Zbl 1487.68153Yamakami, Tomoyuki 1 2022 Non-normal modal logics and conditional logics: semantic analysis and proof theory. Zbl 07540278Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos 1 2022 Hennessy-Milner properties via topological compactness. Zbl 07540279de Groot, Jim; Pattinson, Dirk 1 2022 A universal algorithm for Krull’s theorem. Zbl 1505.03136Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus 1 2022 Geometrically closed positive varieties of languages. Zbl 07601274Klíma, Ondřej; Kostolányi, Peter 1 2022 Cayley polynomial-time computable groups. Zbl 07601279Berdinsky, Dmitry; Elder, Murray; Kruengthomya, Prohrak 1 2022 On the Weisfeiler-Leman dimension of fractional packing. Zbl 07601280Arvind, V.; Fuhlbrück, Frank; Köbler, Johannes; Verbitsky, Oleg 1 2022 Advice hierarchies among finite automata. Zbl 07601281Uçan, Ahmet Bilal; Say, A. C. Cem 1 2022 Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. Zbl 07601282Lye, Aaron 1 2022 Converting nondeterministic two-way automata into small deterministic linear-time machines. Zbl 07629132Guillon, Bruno; Pighizzini, Giovanni; Prigioniero, Luca; Průša, Daniel 1 2022 On enumerating algorithms of novel multiple leaf-distance granular regular \(\alpha\)-subtrees of trees. Zbl 07629136Yang, Yu; Liu, Hongbo; Wang, Hua; Zhang, Xiao-Dong; Philip Chen, C. L. 1 2022 Bounded complete domains and their logical form. Zbl 07629149Wang, Longchun; Li, Qingguo 1 2022 LTL falsification in infinite-state systems. Zbl 07629158Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 1 2022 Context-free timed formalisms: robust automata and linear temporal logics. Zbl 07488446Bozzelli, Laura; Murano, Aniello; Peron, Adriano 1 2022 Pomset bisimulation and unfolding for reset Petri nets. Zbl 07488447Chatain, Thomas; Comlan, Maurice; Delfieu, David; Jezequel, Loïg; Roux, Olivier-Henri 1 2022 Default logic and bounded treewidth. Zbl 07488448Fichte, Johannes K.; Hecher, Markus; Schindler, Irina 1 2022 Learners based on transducers. Zbl 07488449Jain, Sanjay; Kuek, Shao Ning; Martin, Eric; Stephan, Frank 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 Operational union-complexity. Zbl 07488458Nagy, Benedek 1 2022 State complexity of GF(2)-operations on unary languages. Zbl 07488459Okhotin, Alexander; Sazhneva, Elizaveta 1 2022 Clairvoyant state machine replication. Zbl 07527811Bazzi, Rida; Herlihy, Maurice 1 2022 Ring exploration with myopic luminous robots. Zbl 07527812Ooshita, Fukuhito; Tixeuil, Sébastien 1 2022 Probabilistic automata of bounded ambiguity. Zbl 1483.68165Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James 1 2022 A theory of monitors. Zbl 1475.68206Francalanza, Adrian 6 2021 Neural-like P systems with plasmids. Zbl 1518.68103Cabarle, Francis George C.; Zeng, Xiangxiang; Murphy, Niall; Song, Tao; Rodríguez-Patón, Alfonso; Liu, Xiangrong 5 2021 Rule synchronization for tissue P systems. Zbl 1518.68123Song, Bosheng; Pan, Linqiang 4 2021 The computational power of monodirectional tissue P systems with symport rules. Zbl 1518.68122Song, Bosheng; Huang, Shengye; Zeng, Xiangxiang 4 2021 A simplicial complex model for dynamic epistemic logic to study distributed task computability. Zbl 1497.03032Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio 4 2021 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 3 2021 On equations and first-order theory of one-relator monoids. Zbl 07433292Garreta, Albert; Gray, Robert D. 3 2021 Hitting forbidden induced subgraphs on bounded treewidth graphs. Zbl 1518.68275Sau, Ignasi; dos Santos Souza, Uéverton 3 2021 Wheeler languages. Zbl 1518.68162Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 3 2021 Regular \(\omega\)-languages with an informative right congruence. Zbl 1497.68247Angluin, Dana; Fisman, Dana 3 2021 Efficient pattern matching in elastic-degenerate strings. Zbl 1497.68603Iliopoulos, Costas S.; Kundu, Ritu; Pissis, Solon P. 3 2021 A probabilistic calculus of cyber-physical systems. Zbl 1497.68346Lanotte, Ruggero; Merro, Massimo; Tini, Simone 3 2021 Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking. Zbl 1497.68303Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine 3 2021 Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way. Zbl 1518.68353Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 2 2021 A decidable and expressive fragment of many-sorted first-order linear temporal logic. Zbl 1518.68214Peyras, Quentin; Brunel, Julien; Chemouil, David 2 2021 Advice complexity of treasure hunt in geometric terrains. Zbl 1518.68413Pelc, Andrzej; Yadav, Ram Narayan 2 2021 An improved FPT algorithm for the flip distance problem. Zbl 1518.68410Feng, Qilong; Li, Shaohua; Meng, Xiangzhong; Wang, Jianxin 2 2021 Asymptotics of the number of 2-threshold functions. Zbl 1518.68414Zamaraeva, Elena; Žunić, Joviša 2 2021 Computing absolutely normal numbers in nearly linear time. Zbl 1521.11085Lutz, Jack H.; Mayordomo, Elvira 2 2021 Query complexity of generalized Simon’s problem. Zbl 1518.68135Ye, Zekun; Huang, Yunqi; Li, Lvzhou; Wang, Yuyi 2 2021 Fast polynomial inversion for post quantum QC-MDPC cryptography. Zbl 07433319Drucker, Nir; Gueron, Shay; Kostic, Dusan 2 2021 Safe dependency atoms and possibility operators in team semantics. Zbl 07354959Galliani, Pietro 2 2021 Slowly synchronizing automata with fixed alphabet size. Zbl 1497.68258Don, Henk; Zantema, Hans; de Bondt, Michiel 2 2021 Integrated encryption in dynamic arithmetic compression. Zbl 1497.68159Klein, Shmuel T.; Shapira, Dana 2 2021 On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. Zbl 1518.68351Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi 1 2021 Timed hyperproperties. Zbl 1518.68207Ho, Hsi-Ming; Zhou, Ruoyu; Jones, Timothy M. 1 2021 Complexity analysis of a unifying algorithm for model checking interval temporal logic. Zbl 1518.68204Bozzelli, Laura; Montanari, Angelo; Peron, Adriano 1 2021 A universal pair of 1/2-betting strategies. Zbl 1518.68148Petrović, Tomislav 1 2021 Abstract processes and conflicts in place/transition systems. Zbl 1518.68239van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard 1 2021 On the cost of unsuccessful searches in search trees with two-way comparisons. Zbl 1518.68072Chrobak, 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 1521.11084Bell, Paul C.; Potapov, Igor; Semukhin, Pavel 1 2021 Allocating contiguous blocks of indivisible chores fairly. Zbl 1520.91205Höhne, Felix; van Stee, Rob 1 2021 Bialgebraic foundations for the operational semantics of string diagrams. Zbl 1518.68197Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 1 2021 Weighted parsing for grammar-based language models over multioperator monoids. Zbl 1518.68159Mörbitz, Richard; Vogler, Heiko 1 2021 Computational completeness of sequential spiking neural P systems with inhibitory rules. Zbl 1518.68101Bao, Tingting; Zhou, Nan; Peng, Hong; Yang, Qian; Wang, Jun 1 2021 ...and 1386 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 15,648 Authors 100 Jain, Sanjay 88 Stephan, Frank 69 Okhotin, Alexander 67 Kutrib, Martin 55 Aceto, Luca 55 Ésik, Zoltán 55 Montanari, Ugo G. 55 Salomaa, Kai T. 52 Kupferman, Orna 51 Meseguer Guaita, José 50 Case, John 49 Ingólfsdóttir, Anna 49 Larsen, Kim Guldstrand 48 Otto, Friedrich 48 Thilikos, Dimitrios M. 45 Vardi, Moshe Ya’akov 44 Dezani-Ciancaglini, Mariangiola 44 Fernau, Henning 44 Holzer, Markus 43 Engelfriet, Joost 43 Raynal, Michel 41 Bodlaender, Hans L. 40 Milius, Stefan 40 van Glabbeek, Robert Jan 39 Makino, Kazuhisa 39 Pelc, Andrzej 38 Courcelle, Bruno 38 Henzinger, Thomas A. 38 Lohrey, Markus 37 Eiter, Thomas 36 Beyersdorff, Olaf 36 Chatterjee, Krishnendu 36 Corradini, Andrea 36 Yoshida, Nobuko 35 Bonchi, Filippo 35 Fomin, Fedor V. 35 Gadducci, Fabio 35 Hemaspaandra, Lane A. 35 Malcher, Andreas 34 Baldan, Paolo 34 Dal Lago, Ugo 34 Droste, Manfred 34 Katoen, Joost-Pieter 34 Rajsbaum, Sergio 34 Sangiorgi, Davide 33 Epstein, Leah 32 Amir, Amihood 32 Bergstra, Jan A. 32 Fernández, Maribel 32 Murano, Aniello 31 Cai, Jin-Yi 31 Fokkink, Willem Jan 31 Ibarra, Oscar H. 31 Legay, Axel 31 Lucas, Salvador 31 Middeldorp, Aart 31 Schröder, Lutz 31 Silva, Alexandra 30 Hennessy, Matthew C. B. 30 Luttik, Bas 30 Worrell, James B. 29 Bruni, Roberto 29 Gastin, Paul 29 Jacobs, Bart 29 Raskin, Jean-François 29 Saurabh, Saket 29 Yakaryılmaz, Abuzer 28 Bollig, Benedikt 28 Bouyer, Patricia 28 Bozzelli, Laura 28 Czyzowicz, Jurek 28 Demri, Stéphane P. 28 Kinber, Efim B. 28 Kohlhase, Michael 28 Porat, Ely 28 Rabe, Florian 27 Abdulla, Parosh Aziz 27 Lutz, Jack H. 27 Pighizzini, Giovanni 27 Rabinovich, Alexander 26 Baeten, Jos C. M. 26 Golovach, Petr A. 26 Gorrieri, Roberto 26 Jirásková, Galina 26 Kwiatkowska, Marta Z. 26 Power, John 26 Rytter, Wojciech 26 van Ditmarsch, Hans Pieter 25 Adámek, Jiří 25 Allender, Eric W. 25 Corradini, Flavio 25 Crochemore, Maxime 25 Finkel, Alain 25 Fu, Yuxi 25 Kranakis, Evangelos Konstantinou 25 Paulusma, Daniël 25 Pilipczuk, Michał 25 Shallit, Jeffrey Outlaw 25 Struth, Georg 25 Szeider, Stefan ...and 15,548 more Authors all top 5 Cited in 578 Journals 2,511 Theoretical Computer Science 1,166 Information and Computation 467 Journal of Computer and System Sciences 439 Information Processing Letters 324 Discrete Applied Mathematics 306 MSCS. Mathematical Structures in Computer Science 289 Algorithmica 259 Logical Methods in Computer Science 255 International Journal of Foundations of Computer Science 233 Annals of Pure and Applied Logic 227 Theory of Computing Systems 212 Artificial Intelligence 199 Acta Informatica 181 Journal of Logical and Algebraic Methods in Programming 177 Formal Aspects of Computing 173 Journal of Automated Reasoning 154 Distributed Computing 144 The Journal of Logic and Algebraic Programming 134 Formal Methods in System Design 116 SIAM Journal on Computing 108 Annals of Mathematics and Artificial Intelligence 95 The Journal of Symbolic Logic 94 Journal of Functional Programming 78 Computational Complexity 77 Information Sciences 77 ACM Transactions on Computational Logic 75 RAIRO. Theoretical Informatics and Applications 74 Machine Learning 72 Journal of Combinatorial Optimization 71 Journal of Symbolic Computation 70 Studia Logica 65 SIAM Journal on Discrete Mathematics 62 International Journal of Approximate Reasoning 60 Journal of Applied Non-Classical Logics 58 Journal of Discrete Algorithms 58 Journal of Applied Logic 54 Discrete Mathematics 53 Theory and Practice of Logic Programming 49 Designs, Codes and Cryptography 49 The Bulletin of Symbolic Logic 48 International Journal of Algebra and Computation 45 Science of Computer Programming 41 Mathematical Systems Theory 40 Journal of Philosophical Logic 40 Journal of Logic, Language and Information 40 Fundamenta Informaticae 38 International Journal of Computer Mathematics 37 Synthese 37 Archive for Mathematical Logic 36 RAIRO. Informatique Théorique et Applications 35 RAIRO. Theoretical Informatics and Applications 33 European Journal of Operational Research 32 Fuzzy Sets and Systems 31 Computational Geometry 30 Random Structures & Algorithms 29 Journal of Cryptology 28 Automatica 28 Journal of Computer Science and Technology 28 Discrete Event Dynamic Systems 28 Applicable Algebra in Engineering, Communication and Computing 27 Computers & Operations Research 26 Journal of Pure and Applied Algebra 26 Journal of Complexity 26 Discrete & Computational Geometry 26 Cryptography and Communications 25 Neural Computation 25 Higher-Order and Symbolic Computation 24 European Journal of Combinatorics 24 Finite Fields and their Applications 24 Journal of Membrane Computing 22 Journal of Algebra 22 Notre Dame Journal of Formal Logic 22 Mathematical Programming. Series A. Series B 22 Mathematical Logic Quarterly (MLQ) 22 Computer Science Review 21 Operations Research Letters 20 The Annals of Statistics 20 Topology and its Applications 20 Applied Categorical Structures 20 The Electronic Journal of Combinatorics 20 Journal of Scheduling 20 Journal of the ACM 19 Real-Time Systems 19 Soft Computing 19 Computer Languages, Systems & Structures 19 Quantum Information Processing 19 Discrete Mathematics, Algorithms and Applications 19 Algorithms 18 Annals of Operations Research 18 Pattern Recognition 18 Natural Computing 17 Algebra Universalis 17 Games and Economic Behavior 17 Combinatorics, Probability and Computing 17 Journal of Automata, Languages and Combinatorics 17 Discrete Optimization 16 Mathematics of Computation 16 Journal of Combinatorial Theory. Series B 16 Mathematics of Operations Research 16 Linear Algebra and its Applications ...and 478 more Journals all top 5 Cited in 60 Fields 13,904 Computer science (68-XX) 3,789 Mathematical logic and foundations (03-XX) 1,523 Combinatorics (05-XX) 790 Information and communication theory, circuits (94-XX) 789 Operations research, mathematical programming (90-XX) 672 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 555 Category theory; homological algebra (18-XX) 321 Order, lattices, ordered algebraic structures (06-XX) 305 Probability theory and stochastic processes (60-XX) 283 Number theory (11-XX) 259 Statistics (62-XX) 236 Group theory and generalizations (20-XX) 229 Quantum theory (81-XX) 206 Biology and other natural sciences (92-XX) 178 Systems theory; control (93-XX) 148 Numerical analysis (65-XX) 126 General algebraic systems (08-XX) 119 Dynamical systems and ergodic theory (37-XX) 91 General topology (54-XX) 86 Measure and integration (28-XX) 81 Convex and discrete geometry (52-XX) 66 Commutative algebra (13-XX) 66 Linear and multilinear algebra; matrix theory (15-XX) 62 Statistical mechanics, structure of matter (82-XX) 57 Algebraic geometry (14-XX) 52 Associative rings and algebras (16-XX) 46 Field theory and polynomials (12-XX) 40 History and biography (01-XX) 30 General and overarching topics; collections (00-XX) 28 Functional analysis (46-XX) 26 Geometry (51-XX) 26 Manifolds and cell complexes (57-XX) 23 Real functions (26-XX) 21 Algebraic topology (55-XX) 18 Approximations and expansions (41-XX) 18 Operator theory (47-XX) 12 Ordinary differential equations (34-XX) 10 Partial differential equations (35-XX) 8 Functions of a complex variable (30-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 7 Global analysis, analysis on manifolds (58-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 5 Mathematics education (97-XX) 4 \(K\)-theory (19-XX) 4 Topological groups, Lie groups (22-XX) 4 Difference and functional equations (39-XX) 4 Differential geometry (53-XX) 4 Mechanics of particles and systems (70-XX) 4 Relativity and gravitational theory (83-XX) 3 Special functions (33-XX) 3 Fluid mechanics (76-XX) 3 Geophysics (86-XX) 2 Nonassociative rings and algebras (17-XX) 2 Integral transforms, operational calculus (44-XX) 2 Integral equations (45-XX) 2 Mechanics of deformable solids (74-XX) 1 Potential theory (31-XX) 1 Abstract harmonic analysis (43-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year