×

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

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

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 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