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,852 Publications (since 1987) References Indexed: 2,346 Publications with 69,906 References. all top 5 Latest Issues 296 (2024) 295, Part B (2023) 295, Part A (2023) 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) ...and 322 more Volumes all top 5 Authors 32 Jain, Sanjay 27 Stephan, Frank 20 Rabinovich, Alexander 17 Okhotin, Alexander 14 Droste, Manfred 14 Pighizzini, Giovanni 14 Vardi, Moshe Ya’akov 13 Ibarra, Oscar H. 13 Martín-Vide, Carlos 12 Case, John 12 Chatterjee, Krishnendu 12 Hennessy, Matthew C. B. 12 Kupferman, Orna 12 Lynch, Nancy Ann 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 10 Truthe, Bianca 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 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 Middeldorp, Aart 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 Fernau, Henning 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 Milius, Stefan 7 Montanari, Ugo G. 7 Pelc, Andrzej 7 Pierce, Benjamin C. 7 Potapov, Igor 7 Ranzato, Francesco 7 Ronchi Della Rocca, Simona 7 Scedrov, Andre 7 Schnitger, Georg 7 Smith, Carl H. 7 Tiuryn, Jerzy 7 Vaandrager, Frits W. 7 Vogler, Walter 7 Wood, Derick 7 Yamakami, Tomoyuki 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 ...and 3,798 more Authors all top 5 Fields 2,615 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) 76 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) 8 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,256 Publications have been cited 26,524 times in 17,743 Documents Cited by ▼ Year ▼ The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008 Courcelle, Bruno 547 1990 Notions of computation and monads. Zbl 0723.68073 Moggi, Eugenio 345 1991 Bisimulation through probabilistic testing. Zbl 0756.68035 Larsen, Kim G.; Skou, Arne 314 1991 Learning regular sets from queries and counterexamples. Zbl 0636.68112 Angluin, Dana 279 1987 A calculus of mobile processes. I. Zbl 0752.68036 Milner, Robin; Parrow, Joachim; Walker, David 274 1992 A calculus of mobile processes. II. Zbl 0752.68037 Milner, Robin; Parrow, Joachim; Walker, David 210 1992 The calculus of constructions. Zbl 0654.03045 Coquand, Thierry; Huet, Gérard 197 1988 Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066 Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. 192 1992 A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082 Kozen, Dexter 191 1994 Reasoning about infinite computations. Zbl 0827.03009 Vardi, Moshe Y.; Wolper, Pierre 179 1994 On full abstraction for PCF: I, II and III. Zbl 1006.68027 Hyland, J. M. E.; Ong, C.-H. L. 167 2000 Approximate counting, uniform generation and rapidly mixing Markov chains. Zbl 0668.05060 Sinclair, Alistair; Jerrum, Mark 162 1989 The weighted majority algorithm. Zbl 0804.68121 Littlestone, Nick; Warmuth, Manfred K. 162 1994 A logic for reasoning about probabilities. Zbl 0811.03014 Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod 153 1990 Decision theoretic generalizations of the PAC model for neural net and other learning applications. Zbl 0762.68050 Haussler, David 133 1992 Logics of communication and change. Zbl 1120.03012 van Benthem, Johan; van Eijck, Jan; Kooi, Barteld 132 2006 Symbolic model checking for real-time systems. Zbl 0806.68080 Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 132 1994 The complexity of stochastic games. Zbl 0756.90103 Condon, Anne 129 1992 A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073 Abadi, Martín; Gordon, Andrew D. 126 1999 Searching in the plane. Zbl 0781.68044 Baeza-Yates, Ricardo A.; Culberson, Joseph C.; Rawlins, Gregory J. E. 125 1993 The dimensions of individual strings and sequences. Zbl 1090.68053 Lutz, Jack H. 124 2003 Full abstraction for PCF. Zbl 1006.68028 Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale 123 2000 Bisimulation for labelled Markov processes. Zbl 1096.68103 Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 121 2002 CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063 Kanellakis, Paris C.; Smolka, Scott A. 120 1990 Model-checking in dense real-time. Zbl 0783.68076 Alur, Rajeev; Courcoubetis, Costas; Dill, David 120 1993 Boosting a weak learning algorithm by majority. Zbl 0833.68109 Freund, Yoav 105 1995 Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053 Groote, Jan Friso; Vaandrager, Frits 96 1992 Nominal logic, a first order theory of names and binding. Zbl 1056.03014 Pitts, Andrew M. 96 2003 The vertex separation and search number of a graph. Zbl 0942.68641 Ellis, J. A.; Sudborough, I. H.; Turner, J. S. 94 1994 Resolution for quantified Boolean formulas. Zbl 0828.68045 Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas 92 1995 Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042 van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard 92 1995 A syntactic approach to type soundness. Zbl 0938.68559 Wright, Andrew K.; Felleisen, Matthias 92 1994 Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth. Zbl 1327.68126 Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper 91 2015 Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123 Lynch, Nancy; Vaandrager, Frits 85 1995 Petri nets are monoids. Zbl 0711.68077 Meseguer, José; Montanari, Ugo 84 1990 Verifying programs with unreliable channels. Zbl 0856.68096 Abdulla, Parosh Aziz; Jonsson, Bengt 82 1996 Almost perfect nonlinear power functions on \(\mathrm{GF}(2^n)\): the Niho case. Zbl 1072.94513 Dobbertin, Hans 82 1999 Tight lower bounds for certain parameterized NP-hard problems. Zbl 1161.68476 Chen, Jianer; Chor, Benny; Fellows, Mike; Huang, Xiuzhen; Juedes, David; Kanj, Iyad A.; Xia, Ge 77 2005 Real-time logics: Complexity and expressiveness. Zbl 0791.68103 Alur, Rajeev; Henzinger, Thomas A. 77 1993 Bisimulation from open maps. Zbl 0856.68067 Joyal, André; Nielsen, Mogens; Winskel, Glynn 76 1996 Specifications in an arbitrary institution. Zbl 0654.68017 Sannella, Donald; Tarlecki, Andrzej 75 1988 Light linear logic. Zbl 0912.03025 Girard, Jean-Yves 75 1998 Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019 Dwork, Cynthia; Moses, Yoram 75 1990 A 1.488 approximation algorithm for the uncapacitated facility location problem. Zbl 1281.68236 Li, Shi 75 2013 Complexity of generalized satisfiability counting problems. Zbl 0853.68110 Creignou, Nadia; Hermann, Miki 74 1996 Approximation hardness of dominating set problems in bounded degree graphs. Zbl 1169.68037 Chlebík, M.; Chlebíková, J. 74 2008 More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems. Zbl 0776.68016 Chaudhuri, Soma 70 1993 Full abstraction in the lazy lambda calculus. Zbl 0779.03003 Abramsky, Samson; Ong, C.-H. Luke 70 1993 Pushdown processes: Games and model-checking. Zbl 1003.68072 Walukiewicz, Igor 70 2001 A process algebra for timed systems. Zbl 0826.68068 Hennessy, Matthew; Regan, Tim 68 1995 The multi-tree approach to reliability in distributed networks. Zbl 0655.68029 Itai, Alon; Rodeh, Michael 67 1988 A general lower bound on the number of examples needed for learning. Zbl 0679.68158 Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie 67 1989 Structural induction and coinduction in a fibrational setting. Zbl 0941.18006 Hermida, Claudio; Jacobs, Bart 66 1998 Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem. Zbl 0876.68030 Kao, Ming-Yang; Reif, John H.; Tate, Stephen R. 64 1996 Strategy logic. Zbl 1205.68197 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 63 2010 A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050 Milner, Robin 63 1989 Inference of finite automata using homing sequences. Zbl 0786.68082 Rivest, Ronald L.; Schapire, Robert E. 63 1993 Probabilistic logic programming. Zbl 0781.68038 Ng, Raymond; Subrahmanian, V. S. 62 1992 Dynamical systems, measures, and fractals via domain theory. Zbl 0834.58029 Edalat, Abbas 60 1995 Descriptional and computational complexity of finite automata – a survey. Zbl 1217.68130 Holzer, Markus; Kutrib, Martin 60 2011 Prudence and other conditions on formal language learning. Zbl 0698.68072 Fulk, Mark A. 59 1990 Simple consequence relations. Zbl 0733.03007 Avron, Arnon 59 1991 Categories of partial maps. Zbl 0656.18001 Robinson, E.; Rosolini, G. 58 1988 Exponentiated gradient versus gradient descent for linear predictors. Zbl 0872.68158 Kivinen, Jyrki; Warmuth, Manfred K. 58 1997 Logic programming in a fragment of intuitionistic linear logic. Zbl 0807.68016 Hodas, Joshua S.; Miller, Dale 58 1994 A domain equation for bisimulation. Zbl 0718.68057 Abramsky, Samson 56 1991 An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023 Streett, Robert S.; Emerson, E. Allen 55 1989 Proving congruence of bisimulation in functional programming languages. Zbl 0853.68073 Howe, Douglas J. 55 1996 Follow automata. Zbl 1059.68063 Ilie, Lucian; Yu, Sheng 55 2003 Predicting \(\{ 0,1\}\)-functions on randomly drawn points. Zbl 0938.68785 Haussler, D.; Littlestone, N.; Warmuth, M. K. 55 1994 Computability of probability measures and Martin-Löf randomness over metric spaces. Zbl 1167.68023 Hoyrup, Mathieu; Rojas, Cristóbal 55 2009 Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060 Takahashi, Masako 52 1995 Treewidth computations. I: Upper bounds. Zbl 1186.68328 Bodlaender, Hans L.; Koster, Arie M. C. A. 52 2010 Hybrid I/O automata. Zbl 1069.68067 Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 52 2003 The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093 Nicollin, Xavier; Sifakis, Joseph 52 1994 Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628 Walukiewicz, Igor 52 2000 Towards a unified approach to encodability and separation results for process calculi. Zbl 1209.68336 Gorla, Daniele 52 2010 Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063 Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan 50 1995 Contextual insertions/deletions and computability. Zbl 0872.68038 Kari, Lila; Thierrin, Gabriel 50 1996 On the complexity of some colorful problems parameterized by treewidth. Zbl 1223.05070 Fellows, Michael R.; Fomin, Fedor V.; Lokshtanov, Daniel; Rosamond, Frances; Saurabh, Saket; Szeider, Stefan; Thomassen, Carsten 49 2011 Visual cryptography for general access structures. Zbl 1096.94522 Ateniese, Giuseppe; Blundo, Carlo; De Santis, Alfredo; Stinson, Douglas R. 49 1996 Infinitary logics and 0-1 laws. Zbl 0762.03016 Kolaitis, Phokion G.; Vardi, Moshe Y. 49 1992 Parallel recognition of series-parallel graphs. Zbl 0754.68056 Eppstein, David 49 1992 A fast algorithm for computing multiplicative inverses in \(\text{GF}(2^ m)\) using normal bases. Zbl 0672.68015 Itoh, Toshiya; Tsujii, Shigeo 48 1988 Boolean grammars. Zbl 1073.68037 Okhotin, Alexander 48 2004 Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076 Staiger, Ludwig 48 1993 Turning SOS rules into equations. Zbl 0822.68059 Aceto, Luca; Bloom, Bard; Vaandrager, Frits 48 1994 Growing context-sensitive languages and Church-Rosser languages. Zbl 0894.68093 Buntrock, Gerhard; Otto, Friedrich 47 1998 Complexity of identification and dualization of positive Boolean functions. Zbl 1096.68633 Bioch, Jan C.; Ibaraki, Toshihide 47 1995 Bisimulation for higher-order process calculi. Zbl 0876.68042 Sangiorgi, Davide 47 1996 A spatial logic for concurrency. I. Zbl 1068.03022 Caires, Luís; Cardelli, Luca 47 2003 Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567 Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen 47 2000 Resource access control in systems of mobile agents. Zbl 1009.68081 Hennessy, Matthew; Riely, James 47 2002 Unbounded-error quantum computation with small space bounds. Zbl 1221.68092 Yakaryılmaz, Abuzer; Say, A. C. Cem 46 2011 Automatic proofs by induction in theories without constructors. Zbl 0682.68032 Jouannaud, Jean-Pierre; Kounalis, Emmanuel 44 1989 Power domains and iterated function systems. Zbl 0916.54014 Edalat, Abbas 44 1996 A semantics of multiple inheritance. Zbl 0651.68017 Cardelli, Luca 43 1988 On chromatic sums and distributed resource allocation. Zbl 0895.68022 Bar-Noy, Amotz; Bellare, Mihir; Halldórsson, Magnús M.; Shachnai, Hadas; Tamir, Tami 43 1998 An essay in combinatory dynamic logic. Zbl 0732.03021 Passy, Solomon; Tinchev, Tinko 43 1991 Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Zbl 0879.68019 Leone, Nicola; Rullo, Pasquale; Scarcello, Francesco 43 1997 Sensitivity of string compressors and repetitiveness measures. Zbl 1506.68023 Akagi, Tooru; Funakoshi, Mitsuru; Inenaga, Shunsuke 3 2023 Traceable constant-size multi-authority credentials. Zbl 07713424 Hébant, Chloé; Pointcheval, David 2 2023 State complexity of transforming graph-walking automata to halting, returning and reversible. Zbl 1506.68048 Martynova, Olga; Okhotin, Alexander 2 2023 Are bundles good deals for first-order modal logic? Zbl 07713426 Liu, Mo; Padmanabha, Anantha; Ramanujam, R.; Wang, Yanjing 1 2023 Effective notions of weak convergence of measures on the real line. Zbl 07641116 McNicholl, Timothy H.; Rojas, Diego A. 1 2023 Removing redundant refusals: minimal complete test suites for failure trace semantics. Zbl 1506.68059 Gazda, Maciej; Hierons, Robert M. 1 2023 To be announced. Zbl 07687213 van Ditmarsch, Hans 1 2023 Modelling mutual exclusion in a process algebra with time-outs. Zbl 07742410 van Glabbeek, Rob 1 2023 Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Zbl 1487.68123 Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Libralesso, Luc; Mizuki, Takaaki 12 2022 Weighted propositional configuration logics: a specification language for architectures with quantitative features. Zbl 1483.68088 Paraponiari, Paulina; Rahonis, George 8 2022 What’s decidable about weighted automata? Zbl 1526.68003 Almagor, Shaull; Boker, Udi; Kupferman, Orna 7 2022 Information leakage due to operative errors in card-based protocols. Zbl 1504.68073 Mizuki, Takaaki; Komano, Yuichi 5 2022 Variable-length codes independent or closed with respect to edit relations. Zbl 07601277 Néraud, Jean 5 2022 Optimal in-place suffix sorting. Zbl 1517.68095 Li, Zhize; Li, Jian; Huo, Hongwei 4 2022 Nondeterministic right one-way jumping finite automata. Zbl 07488453 Beier, Simon; Holzer, Markus 4 2022 Fast mixing via polymers for random graphs with unbounded degree. Zbl 1504.68285 Galanis, Andreas; Goldberg, Leslie Ann; Stewart, James 3 2022 A universal algorithm for Krull’s theorem. Zbl 1505.03136 Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus 3 2022 Combination of roots and Boolean operations: an application to state complexity. Zbl 07629152 Caron, Pascal; Hamel-de le Court, Edwin; Luque, Jean-Gabriel 3 2022 Formal languages over GF(2). Zbl 07488445 Bakinova, Ekaterina; Basharin, Artem; Batmanov, Igor; Lyubort, Konstantin; Okhotin, Alexander; Sazhneva, Elizaveta 3 2022 Descriptional complexity of iterated uniform finite-state transducers. Zbl 07488457 Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice 3 2022 Preservation of normality by transducers. Zbl 1505.68021 Carton, Olivier; Orduna, Elisa 2 2022 Logic for \(\omega\)-pushdown automata. Zbl 1491.68097 Droste, Manfred; Dziadek, Sven; Kuich, Werner 2 2022 Optimizing reachability sets in temporal graphs by delaying. Zbl 1504.68160 Deligkas, Argyrios; Potapov, Igor 2 2022 Rule synchronization for monodirectional tissue-like P systems with channel states. Zbl 1504.68067 Li, Yanyan; Song, Bosheng; Zeng, Xiangxiang 2 2022 On linear languages recognized by deterministic biautomata. Zbl 1487.68148 Jirásková, Galina; Klíma, Ondřej 2 2022 Language models for some extensions of the Lambek calculus. Zbl 07540282 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2022 Lifting proofs from countable to uncountable mathematics. Zbl 1518.03014 Sanders, Sam 2 2022 On enumerating algorithms of novel multiple leaf-distance granular regular \(\alpha\)-subtrees of trees. Zbl 07629136 Yang, Yu; Liu, Hongbo; Wang, Hua; Zhang, Xiao-Dong; Philip Chen, C. L. 2 2022 Complexity of automatic sequences. Zbl 07601275 Zantema, Hans; Bosma, Wieb 2 2022 Constant-space, constant-randomness verifiers with arbitrarily small error. Zbl 07601276 Gezer, M. Utkan; Say, A. C. Cem 2 2022 On the complexity of approximately matching a string to a directed graph. Zbl 1498.68202 Dondi, Riccardo; Mauri, Giancarlo; Zoppis, Italo 2 2022 A periodicity lemma for partial words. Zbl 07488450 Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Waleń, Tomasz 2 2022 Structural properties of NFAs and growth rates of nondeterminism measures. Zbl 07488456 Keeler, Chris; Salomaa, Kai 2 2022 Operational union-complexity. Zbl 07488458 Nagy, Benedek 2 2022 Probabilistic automata of bounded ambiguity. Zbl 1483.68165 Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James 1 2022 Regular transducer expressions for regular transformations. Zbl 1485.68140 Dave, Vrunda; Gastin, Paul; Krishna, Shankara Narayanan 1 2022 Load balanced distributed directories. Zbl 07527810 Rai, Shishir; Sharma, Gokarna; Busch, Costas; Herlihy, Maurice 1 2022 Clairvoyant state machine replication. Zbl 07527811 Bazzi, Rida; Herlihy, Maurice 1 2022 Ring exploration with myopic luminous robots. Zbl 07527812 Ooshita, Fukuhito; Tixeuil, Sébastien 1 2022 Faster repetition-aware compressed suffix trees based on block trees. Zbl 1487.68082 Cáceres, Manuel; Navarro, Gonzalo 1 2022 Robust, expressive, and quantitative linear temporal logics: pick any two for free. Zbl 07538307 Neider, Daniel; Weinert, Alexander; Zimmermann, Martin 1 2022 A practical succinct dynamic graph representation. Zbl 1489.68059 Coimbra, 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.68187 Mahalingam, Kalpana; Maity, Anuran; Pandoh, Palak 1 2022 Higher order monotonicity and submodularity of influence in social networks: from local to global. Zbl 1492.91244 Chen, Wei; Li, Qiang; Shan, Xiaohan; Sun, Xiaoming; Zhang, Jialin 1 2022 Compact representation of graphs with bounded bandwidth or treedepth. Zbl 1504.68168 Kamali, Shahin 1 2022 Store-collect in the presence of continuous churn with application to snapshots and lattice agreement. Zbl 1504.68016 Attiya, Hagit; Kumari, Sweta; Somani, Archit; Welch, Jennifer L. 1 2022 Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata. Zbl 1518.68167 Droste, Manfred; Dziadek, Sven; Kuich, Werner 1 2022 Incentive ratio: a game theoretical analysis of market equilibria. Zbl 1507.91110 Chen, Ning; Deng, Xiaotie; Tang, Bo; Zhang, Hongyang; Zhang, Jie 1 2022 On continued fraction randomness and normality. Zbl 1512.11060 Nandakumar, Satyadev; Vishnoi, Prateek 1 2022 Automatic winning shifts. Zbl 1507.68170 Peltomäki, Jarkko; Salo, Ville 1 2022 Value iteration for simple stochastic games: stopping criterion and learning algorithm. Zbl 1507.91016 Eisentraut, Julia; Kelmendi, Edon; Křetínský, Jan; Weininger, Maximilian 1 2022 Posets with interfaces as a model for concurrency. Zbl 1515.68204 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 1 2022 Beyond the worst-case analysis of random priority: smoothed and average-case approximation ratios in mechanism design. Zbl 1492.91078 Deng, Xiaotie; Gao, Yansong; Zhang, Jie 1 2022 Regular matching and inclusion on compressed tree patterns with constrained context variables. Zbl 1487.68141 Boneva, Iovka; Niehren, Joachim; Sakho, Momar 1 2022 The complexity of regex crosswords. Zbl 1487.68126 Fenner, Stephen; Padé, Daniel; Thierauf, Thomas 1 2022 Efficient representation and counting of antipower factors in words. Zbl 1501.68005 Kociumaka, 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.68139 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 1 2022 Enumeration of two dimensional palindromes. Zbl 1501.68003 Mahalingam, Kalpana; Pandoh, Palak 1 2022 The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic. Zbl 1523.03016 Parys, Paweł 1 2022 Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. Zbl 1487.68153 Yamakami, Tomoyuki 1 2022 Non-normal modal logics and conditional logics: semantic analysis and proof theory. Zbl 07540278 Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos 1 2022 Hennessy-Milner properties via topological compactness. Zbl 1525.03050 de Groot, Jim; Pattinson, Dirk 1 2022 Converting nondeterministic two-way automata into small deterministic linear-time machines. Zbl 07629132 Guillon, Bruno; Pighizzini, Giovanni; Prigioniero, Luca; Průša, Daniel 1 2022 Exploiting social influence to control elections based on positional scoring rules. Zbl 07629134 Corò, Federico; Cruciani, Emilio; D’Angelo, Gianlorenzo; Ponziani, Stefano 1 2022 Polymorphic lambda calculus with context-free session types. Zbl 07629141 Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. 1 2022 Linear-time parameterized algorithms with limited local resources. Zbl 07629144 Chen, Jianer; Guo, Ying; Huang, Qin 1 2022 Beyond PCSP (1-in-3, NAE). Zbl 07629147 Brandts, Alex; Živný, Stanislav 1 2022 Survey on mining signal temporal logic specifications. Zbl 07629148 Bartocci, Ezio; Mateis, Cristinel; Nesterini, Eleonora; Nickovic, Dejan 1 2022 Bounded complete domains and their logical form. Zbl 07629149 Wang, Longchun; Li, Qingguo 1 2022 A robust class of linear recurrence sequences. Zbl 07629154 Barloy, Corentin; Fijalkow, Nathanaël; Lhote, Nathan; Mazowiecki, Filip 1 2022 LTL falsification in infinite-state systems. Zbl 07629158 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 1 2022 Geometrically closed positive varieties of languages. Zbl 07601274 Klíma, Ondřej; Kostolányi, Peter 1 2022 Cayley polynomial-time computable groups. Zbl 07601279 Berdinsky, Dmitry; Elder, Murray; Kruengthomya, Prohrak 1 2022 On the Weisfeiler-Leman dimension of fractional packing. Zbl 07601280 Arvind, V.; Fuhlbrück, Frank; Köbler, Johannes; Verbitsky, Oleg 1 2022 Advice hierarchies among finite automata. Zbl 07601281 Uçan, Ahmet Bilal; Say, A. C. Cem 1 2022 Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. Zbl 07601282 Lye, Aaron 1 2022 Context-free timed formalisms: robust automata and linear temporal logics. Zbl 1528.68213 Bozzelli, Laura; Murano, Aniello; Peron, Adriano 1 2022 Pomset bisimulation and unfolding for reset Petri nets. Zbl 07488447 Chatain, Thomas; Comlan, Maurice; Delfieu, David; Jezequel, Loïg; Roux, Olivier-Henri 1 2022 Default logic and bounded treewidth. Zbl 07488448 Fichte, Johannes K.; Hecher, Markus; Schindler, Irina 1 2022 Learners based on transducers. Zbl 1526.68002 Jain, Sanjay; Kuek, Shao Ning; Martin, Eric; Stephan, Frank 1 2022 On the computational completeness of matrix simple semi-conditional grammars. Zbl 07488454 Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 1 2022 State complexity of GF(2)-operations on unary languages. Zbl 07488459 Okhotin, Alexander; Sazhneva, Elizaveta 1 2022 A theory of monitors. Zbl 1475.68206 Francalanza, Adrian 7 2021 Neural-like P systems with plasmids. Zbl 1518.68103 Cabarle, Francis George C.; Zeng, Xiangxiang; Murphy, Niall; Song, Tao; Rodríguez-Patón, Alfonso; Liu, Xiangrong 6 2021 Rule synchronization for tissue P systems. Zbl 1518.68123 Song, Bosheng; Pan, Linqiang 5 2021 A simplicial complex model for dynamic epistemic logic to study distributed task computability. Zbl 1497.03032 Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio 5 2021 Advice complexity of treasure hunt in geometric terrains. Zbl 1518.68413 Pelc, Andrzej; Yadav, Ram Narayan 4 2021 The computational power of monodirectional tissue P systems with symport rules. Zbl 1518.68122 Song, Bosheng; Huang, Shengye; Zeng, Xiangxiang 4 2021 Wheeler languages. Zbl 1518.68162 Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 4 2021 Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking. Zbl 1497.68303 Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine 4 2021 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 3 2021 On equations and first-order theory of one-relator monoids. Zbl 07433292 Garreta, Albert; Gray, Robert D. 3 2021 Hitting forbidden induced subgraphs on bounded treewidth graphs. Zbl 1518.68275 Sau, Ignasi; dos Santos Souza, Uéverton 3 2021 Regular \(\omega\)-languages with an informative right congruence. Zbl 1497.68247 Angluin, Dana; Fisman, Dana 3 2021 Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way. Zbl 1518.68353 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca 3 2021 Efficient pattern matching in elastic-degenerate strings. Zbl 1497.68603 Iliopoulos, Costas S.; Kundu, Ritu; Pissis, Solon P. 3 2021 A probabilistic calculus of cyber-physical systems. Zbl 1497.68346 Lanotte, Ruggero; Merro, Massimo; Tini, Simone 3 2021 On the cost of unsuccessful searches in search trees with two-way comparisons. Zbl 1518.68072 Chrobak, Marek; Golin, Mordecai; Munro, J. Ian; Young, Neal E. 2 2021 An improved FPT algorithm for the flip distance problem. Zbl 1518.68410 Feng, Qilong; Li, Shaohua; Meng, Xiangzhong; Wang, Jianxin 2 2021 Asymptotics of the number of 2-threshold functions. Zbl 1518.68414 Zamaraeva, Elena; Žunić, Joviša 2 2021 ...and 1387 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 16,156 Authors 102 Jain, Sanjay 89 Stephan, Frank 73 Okhotin, Alexander 71 Kutrib, Martin 56 Aceto, Luca 56 Kupferman, Orna 56 Salomaa, Kai T. 55 Ésik, Zoltán 55 Montanari, Ugo G. 54 Larsen, Kim Guldstrand 53 Meseguer Guaita, José 51 Case, John 51 Otto, Friedrich 50 Ingólfsdóttir, Anna 49 Thilikos, Dimitrios M. 49 Vardi, Moshe Ya’akov 47 Fernau, Henning 45 Holzer, Markus 44 Bodlaender, Hans L. 44 Dezani-Ciancaglini, Mariangiola 44 Raynal, Michel 43 Engelfriet, Joost 42 van Glabbeek, Robert Jan 41 Henzinger, Thomas A. 41 Pelc, Andrzej 40 Milius, Stefan 39 Makino, Kazuhisa 38 Courcelle, Bruno 38 Katoen, Joost-Pieter 38 Lohrey, Markus 37 Corradini, Andrea 37 Droste, Manfred 37 Eiter, Thomas 37 Yoshida, Nobuko 36 Beyersdorff, Olaf 36 Chatterjee, Krishnendu 36 Fomin, Fedor V. 36 Hemaspaandra, Lane A. 36 Malcher, Andreas 36 Sangiorgi, Davide 35 Bonchi, Filippo 35 Gadducci, Fabio 35 Rajsbaum, Sergio 34 Baldan, Paolo 34 Dal Lago, Ugo 34 Murano, Aniello 33 Amir, Amihood 33 Bergstra, Jan A. 33 Epstein, Leah 33 Fernández, Maribel 32 Cai, Jin-Yi 32 Lucas, Salvador 32 Middeldorp, Aart 32 Raskin, Jean-François 32 Saurabh, Saket 31 Bozzelli, Laura 31 Fokkink, Willem Jan 31 Gastin, Paul 31 Ibarra, Oscar H. 31 Legay, Axel 31 Schröder, Lutz 31 Silva, Alexandra 30 Bollig, Benedikt 30 Bouyer, Patricia 30 Hennessy, Matthew C. B. 30 Luttik, Bas 30 Pighizzini, Giovanni 30 Rabe, Florian 30 Yakaryılmaz, Abuzer 29 Bruni, Roberto 29 Demri, Stéphane P. 29 Jacobs, Bart 29 Worrell, James B. 28 Abdulla, Parosh Aziz 28 Czyzowicz, Jurek 28 Gorrieri, Roberto 28 Kinber, Efim B. 28 Kohlhase, Michael 28 Porat, Ely 28 Rabinovich, Alexander 28 van Ditmarsch, Hans Pieter 27 Baeten, Jos C. M. 27 Golovach, Petr A. 27 Kranakis, Evangelos Konstantinou 27 Kwiatkowska, Marta Z. 27 Lutz, Jack H. 27 Power, John 26 Finkel, Alain 26 Jirásková, Galina 26 Lokshtanov, Daniel 26 Pilipczuk, Michał 26 Rytter, Wojciech 25 Adámek, Jiří 25 Allender, Eric W. 25 Corradini, Flavio 25 Crochemore, Maxime 25 Fu, Yuxi 25 Geffert, Viliam 25 Maletti, Andreas 25 Ognjanović, Zoran ...and 16,056 more Authors all top 5 Cited in 590 Journals 2,535 Theoretical Computer Science 1,188 Information and Computation 472 Journal of Computer and System Sciences 443 Information Processing Letters 335 Discrete Applied Mathematics 316 MSCS. Mathematical Structures in Computer Science 310 Algorithmica 290 Logical Methods in Computer Science 259 International Journal of Foundations of Computer Science 234 Annals of Pure and Applied Logic 231 Theory of Computing Systems 213 Artificial Intelligence 200 Acta Informatica 188 Journal of Logical and Algebraic Methods in Programming 177 Formal Aspects of Computing 176 Journal of Automated Reasoning 157 Distributed Computing 145 Formal Methods in System Design 144 The Journal of Logic and Algebraic Programming 122 SIAM Journal on Computing 108 Annals of Mathematics and Artificial Intelligence 95 The Journal of Symbolic Logic 95 Journal of Functional Programming 92 Information Sciences 82 ACM Transactions on Computational Logic 80 Computational Complexity 76 Machine Learning 75 RAIRO. Theoretical Informatics and Applications 74 Journal of Combinatorial Optimization 72 Studia Logica 71 Journal of Symbolic Computation 65 SIAM Journal on Discrete Mathematics 64 International Journal of Approximate Reasoning 60 Journal of Applied Non-Classical Logics 59 Theory and Practice of Logic Programming 58 Journal of Discrete Algorithms 58 Journal of Applied Logic 56 Discrete Mathematics 50 Designs, Codes and Cryptography 50 The Bulletin of Symbolic Logic 48 International Journal of Algebra and Computation 45 Science of Computer Programming 44 Fundamenta Informaticae 41 Mathematical Systems Theory 41 Synthese 40 Journal of Philosophical Logic 40 Journal of Logic, Language and Information 38 International Journal of Computer Mathematics 38 Archive for Mathematical Logic 37 RAIRO. Theoretical Informatics and Applications 36 RAIRO. Informatique Théorique et Applications 34 European Journal of Operational Research 32 Fuzzy Sets and Systems 31 Computational Geometry 31 Natural Computing 30 Journal of Cryptology 30 Random Structures & Algorithms 30 Cryptography and Communications 29 Discrete Event Dynamic Systems 29 Applicable Algebra in Engineering, Communication and Computing 28 Automatica 28 Journal of Computer Science and Technology 27 Journal of Pure and Applied Algebra 27 Discrete & Computational Geometry 27 Computers & Operations Research 26 Journal of Complexity 25 Neural Computation 25 Mathematical Programming. Series A. Series B 25 Finite Fields and their Applications 25 Higher-Order and Symbolic Computation 24 European Journal of Combinatorics 24 Journal of Membrane Computing 23 Computer Science Review 22 Journal of Algebra 22 Notre Dame Journal of Formal Logic 22 Applied Categorical Structures 22 Mathematical Logic Quarterly (MLQ) 21 The Annals of Statistics 21 Operations Research Letters 21 The Electronic Journal of Combinatorics 21 Quantum Information Processing 20 Topology and its Applications 20 Journal of Scheduling 20 Journal of the ACM 19 Networks 19 Real-Time Systems 19 Soft Computing 19 Computer Languages, Systems & Structures 19 Discrete Mathematics, Algorithms and Applications 19 Algorithms 18 Algebra Universalis 18 Annals of Operations Research 18 Pattern Recognition 17 Journal of Combinatorial Theory. Series B 17 Games and Economic Behavior 17 Combinatorics, Probability and Computing 17 Journal of Automata, Languages and Combinatorics 17 Discrete Optimization 17 Journal of Physics A: Mathematical and Theoretical 17 The Review of Symbolic Logic ...and 490 more Journals all top 5 Cited in 61 Fields 14,496 Computer science (68-XX) 3,934 Mathematical logic and foundations (03-XX) 1,612 Combinatorics (05-XX) 828 Operations research, mathematical programming (90-XX) 819 Information and communication theory, circuits (94-XX) 711 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 583 Category theory; homological algebra (18-XX) 336 Order, lattices, ordered algebraic structures (06-XX) 319 Probability theory and stochastic processes (60-XX) 295 Number theory (11-XX) 266 Statistics (62-XX) 248 Quantum theory (81-XX) 242 Group theory and generalizations (20-XX) 217 Biology and other natural sciences (92-XX) 205 Systems theory; control (93-XX) 151 Numerical analysis (65-XX) 130 Dynamical systems and ergodic theory (37-XX) 127 General algebraic systems (08-XX) 93 General topology (54-XX) 89 Measure and integration (28-XX) 86 Convex and discrete geometry (52-XX) 70 Linear and multilinear algebra; matrix theory (15-XX) 69 Commutative algebra (13-XX) 64 Statistical mechanics, structure of matter (82-XX) 60 Algebraic geometry (14-XX) 55 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) 28 Manifolds and cell complexes (57-XX) 26 Geometry (51-XX) 25 Real functions (26-XX) 23 Algebraic topology (55-XX) 18 Approximations and expansions (41-XX) 17 Operator theory (47-XX) 14 Ordinary differential equations (34-XX) 11 Partial differential equations (35-XX) 8 Functions of a complex variable (30-XX) 8 Calculus of variations and optimal control; optimization (49-XX) 7 Global analysis, analysis on manifolds (58-XX) 7 Relativity and gravitational theory (83-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 6 Mechanics of particles and systems (70-XX) 5 Mathematics education (97-XX) 4 \(K\)-theory (19-XX) 4 Topological groups, Lie groups (22-XX) 4 Special functions (33-XX) 4 Difference and functional equations (39-XX) 4 Differential geometry (53-XX) 4 Fluid mechanics (76-XX) 4 Geophysics (86-XX) 3 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 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year