×

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,863 Publications (since 1987)
References Indexed: 2,357 Publications with 70,298 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 Mogavero, Fabio
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 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 Barmpalias, George
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 Beigel, Richard
6 Brihaye, Thomas
...and 3,825 more Authors
all top 5

Fields

2,622 Computer science (68-XX)
616 Mathematical logic and foundations (03-XX)
154 Information and communication theory, circuits (94-XX)
119 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
109 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 Order, lattices, ordered algebraic structures (06-XX)
40 Group theory and generalizations (20-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,274 Publications have been cited 27,195 times in 18,132 Documents Cited by Year
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
562
1990
Notions of computation and monads. Zbl 0723.68073
Moggi, Eugenio
347
1991
Bisimulation through probabilistic testing. Zbl 0756.68035
Larsen, Kim G.; Skou, Arne
317
1991
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
314
1992
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
292
1992
Learning regular sets from queries and counterexamples. Zbl 0636.68112
Angluin, Dana
282
1987
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.
200
1992
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
199
1988
A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082
Kozen, Dexter
193
1994
Reasoning about infinite computations. Zbl 0827.03009
Vardi, Moshe Y.; Wolper, Pierre
180
1994
On full abstraction for PCF: I, II and III. Zbl 1006.68027
Hyland, J. M. E.; Ong, C.-H. L.
170
2000
Approximate counting, uniform generation and rapidly mixing Markov chains. Zbl 0668.05060
Sinclair, Alistair; Jerrum, Mark
166
1989
The weighted majority algorithm. Zbl 0804.68121
Littlestone, Nick; Warmuth, Manfred K.
164
1994
A logic for reasoning about probabilities. Zbl 0811.03014
Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod
156
1990
Decision theoretic generalizations of the PAC model for neural net and other learning applications. Zbl 0762.68050
Haussler, David
135
1992
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
132
1994
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
132
2006
The complexity of stochastic games. Zbl 0756.90103
Condon, Anne
131
1992
A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073
Abadi, Martín; Gordon, Andrew D.
129
1999
Searching in the plane. Zbl 0781.68044
Baeza-Yates, Ricardo A.; Culberson, Joseph C.; Rawlins, Gregory J. E.
127
1993
The dimensions of individual strings and sequences. Zbl 1090.68053
Lutz, Jack H.
124
2003
CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063
Kanellakis, Paris C.; Smolka, Scott A.
124
1990
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
123
2000
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
122
1993
Bisimulation for labelled Markov processes. Zbl 1096.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
122
2002
Boosting a weak learning algorithm by majority. Zbl 0833.68109
Freund, Yoav
106
1995
Nominal logic, a first order theory of names and binding. Zbl 1056.03014
Pitts, Andrew M.
99
2003
Resolution for quantified Boolean formulas. Zbl 0828.68045
Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas
96
1995
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
96
1992
The vertex separation and search number of a graph. Zbl 0942.68641
Ellis, J. A.; Sudborough, I. H.; Turner, J. S.
95
1994
A syntactic approach to type soundness. Zbl 0938.68559
Wright, Andrew K.; Felleisen, Matthias
95
1994
Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042
van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard
94
1995
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth. Zbl 1327.68126
Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper
94
2015
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
88
1990
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
87
1995
Verifying programs with unreliable channels. Zbl 0856.68096
Abdulla, Parosh Aziz; Jonsson, Bengt
83
1996
Almost perfect nonlinear power functions on \(\mathrm{GF}(2^n)\): the Niho case. Zbl 1072.94513
Dobbertin, Hans
83
1999
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
82
1998
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
80
2005
Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019
Dwork, Cynthia; Moses, Yoram
79
1990
A 1.488 approximation algorithm for the uncapacitated facility location problem. Zbl 1281.68236
Li, Shi
79
2013
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
78
1993
Bisimulation from open maps. Zbl 0856.68067
Joyal, André; Nielsen, Mogens; Winskel, Glynn
77
1996
Complexity of generalized satisfiability counting problems. Zbl 0853.68110
Creignou, Nadia; Hermann, Miki
76
1996
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
75
1988
Approximation hardness of dominating set problems in bounded degree graphs. Zbl 1169.68037
Chlebík, M.; Chlebíková, J.
75
2008
A general lower bound on the number of examples needed for learning. Zbl 0679.68158
Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie
72
1989
More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems. Zbl 0776.68016
Chaudhuri, Soma
71
1993
Full abstraction in the lazy lambda calculus. Zbl 0779.03003
Abramsky, Samson; Ong, C.-H. Luke
71
1993
A process algebra for timed systems. Zbl 0826.68068
Hennessy, Matthew; Regan, Tim
70
1995
Pushdown processes: Games and model-checking. Zbl 1003.68072
Walukiewicz, Igor
70
2001
Structural induction and coinduction in a fibrational setting. Zbl 0941.18006
Hermida, Claudio; Jacobs, Bart
67
1998
The multi-tree approach to reliability in distributed networks. Zbl 0655.68029
Itai, Alon; Rodeh, Michael
67
1988
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
66
2010
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.
65
1996
Inference of finite automata using homing sequences. Zbl 0786.68082
Rivest, Ronald L.; Schapire, Robert E.
63
1993
Dynamical systems, measures, and fractals via domain theory. Zbl 0834.58029
Edalat, Abbas
63
1995
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
63
1989
Probabilistic logic programming. Zbl 0781.68038
Ng, Raymond; Subrahmanian, V. S.
62
1992
Descriptional and computational complexity of finite automata – a survey. Zbl 1217.68130
Holzer, Markus; Kutrib, Martin
62
2011
Simple consequence relations. Zbl 0733.03007
Avron, Arnon
60
1991
Prudence and other conditions on formal language learning. Zbl 0698.68072
Fulk, Mark A.
59
1990
Logic programming in a fragment of intuitionistic linear logic. Zbl 0807.68016
Hodas, Joshua S.; Miller, Dale
58
1994
Exponentiated gradient versus gradient descent for linear predictors. Zbl 0872.68158
Kivinen, Jyrki; Warmuth, Manfred K.
58
1997
Categories of partial maps. Zbl 0656.18001
Robinson, E.; Rosolini, G.
58
1988
Predicting \(\{ 0,1\}\)-functions on randomly drawn points. Zbl 0938.68785
Haussler, D.; Littlestone, N.; Warmuth, M. K.
56
1994
Follow automata. Zbl 1059.68063
Ilie, Lucian; Yu, Sheng
56
2003
Computability of probability measures and Martin-Löf randomness over metric spaces. Zbl 1167.68023
Hoyrup, Mathieu; Rojas, Cristóbal
56
2009
A domain equation for bisimulation. Zbl 0718.68057
Abramsky, Samson
56
1991
Proving congruence of bisimulation in functional programming languages. Zbl 0853.68073
Howe, Douglas J.
55
1996
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
55
1989
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
54
1994
Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628
Walukiewicz, Igor
54
2000
Treewidth computations. I: Upper bounds. Zbl 1186.68328
Bodlaender, Hans L.; Koster, Arie M. C. A.
54
2010
Towards a unified approach to encodability and separation results for process calculi. Zbl 1209.68336
Gorla, Daniele
54
2010
Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060
Takahashi, Masako
53
1995
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
53
2003
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
53
2011
Contextual insertions/deletions and computability. Zbl 0872.68038
Kari, Lila; Thierrin, Gabriel
51
1996
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
50
1995
Visual cryptography for general access structures. Zbl 1096.94522
Ateniese, Giuseppe; Blundo, Carlo; De Santis, Alfredo; Stinson, Douglas R.
50
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
49
1988
Complexity of identification and dualization of positive Boolean functions. Zbl 1096.68633
Bioch, Jan C.; Ibaraki, Toshihide
49
1995
A spatial logic for concurrency. I. Zbl 1068.03022
Caires, Luís; Cardelli, Luca
48
2003
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
Boolean grammars. Zbl 1073.68037
Okhotin, Alexander
48
2004
Resource access control in systems of mobile agents. Zbl 1009.68081
Hennessy, Matthew; Riely, James
48
2002
Bisimulation for higher-order process calculi. Zbl 0876.68042
Sangiorgi, Davide
47
1996
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
Growing context-sensitive languages and Church-Rosser languages. Zbl 0894.68093
Buntrock, Gerhard; Otto, Friedrich
47
1998
Unbounded-error quantum computation with small space bounds. Zbl 1221.68092
Yakaryılmaz, Abuzer; Say, A. C. Cem
46
2011
Power domains and iterated function systems. Zbl 0916.54014
Edalat, Abbas
45
1996
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Zbl 0879.68019
Leone, Nicola; Rullo, Pasquale; Scarcello, Francesco
45
1997
Automatic proofs by induction in theories without constructors. Zbl 0682.68032
Jouannaud, Jean-Pierre; Kounalis, Emmanuel
45
1989
A mathematical theory of resources. Zbl 1353.81029
Coecke, Bob; Fritz, Tobias; Spekkens, Robert W.
44
2016
A semantics of multiple inheritance. Zbl 0651.68017
Cardelli, Luca
44
1988
Numeration systems, linear recurrences, and regular sets. Zbl 0810.11006
Shallit, Jeffrey
43
1994
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
Efficient construction of the BWT for repetitive text using string compression. Zbl 07742417
Díaz-Domínguez, Diego; Navarro, Gonzalo
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
Modelling mutual exclusion in a process algebra with time-outs. Zbl 07742410
van Glabbeek, Rob
1
2023
To be announced. Zbl 07687213
van Ditmarsch, Hans
1
2023
Non-closure under complementation for unambiguous linear grammars. Zbl 07687218
Martynova, Olga; Okhotin, Alexander
1
2023
Deterministic quantum search with adjustable parameters: implementations and applications. Zbl 07687228
Li, Guanzhong; Li, Lvzhou
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
Formal languages over GF(2). Zbl 07488445
Bakinova, Ekaterina; Basharin, Artem; Batmanov, Igor; Lyubort, Konstantin; Okhotin, Alexander; Sazhneva, Elizaveta
4
2022
Nondeterministic right one-way jumping finite automata. Zbl 07488453
Beier, Simon; Holzer, Markus
4
2022
Descriptional complexity of iterated uniform finite-state transducers. Zbl 07488457
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
4
2022
Non-normal modal logics and conditional logics: semantic analysis and proof theory. Zbl 07540278
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos
3
2022
A universal algorithm for Krull’s theorem. Zbl 1505.03136
Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus
3
2022
Fast mixing via polymers for random graphs with unbounded degree. Zbl 1504.68285
Galanis, Andreas; Goldberg, Leslie Ann; Stewart, James
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
Structural properties of NFAs and growth rates of nondeterminism measures. Zbl 07488456
Keeler, Chris; Salomaa, Kai
3
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
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 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
Polymorphic lambda calculus with context-free session types. Zbl 07629141
Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T.
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
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
A periodicity lemma for partial words. Zbl 07488450
Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Waleń, Tomasz
2
2022
Operational union-complexity. Zbl 07488458
Nagy, Benedek
2
2022
State complexity of GF(2)-operations on unary languages. Zbl 07488459
Okhotin, Alexander; Sazhneva, Elizaveta
2
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
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
Hennessy-Milner properties via topological compactness. Zbl 1525.03050
de Groot, Jim; Pattinson, Dirk
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
LZRR: LZ77 parsing with right reference. Zbl 1487.68102
Nishimoto, Takaaki; Tabei, Yasuo
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
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
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
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
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters. Zbl 07629137
Bredereck, Robert; Heeger, Klaus; Knop, Dušan; Niedermeier, Rolf
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
Probabilistic automata of bounded ambiguity. Zbl 1483.68165
Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James
1
2022
Bisimulation metrics and norms for real-weighted automata. Zbl 1483.68154
Balle, Borja; Gourdeau, Pascale; Panangaden, Prakash
1
2022
Regular transducer expressions for regular transformations. Zbl 1485.68140
Dave, Vrunda; Gastin, Paul; Krishna, Shankara Narayanan
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
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
7
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
Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking. Zbl 1497.68303
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine
4
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
Hitting forbidden induced subgraphs on bounded treewidth graphs. Zbl 1518.68275
Sau, Ignasi; dos Santos Souza, Uéverton
4
2021
Wheeler languages. Zbl 1518.68162
Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola
4
2021
A probabilistic calculus of cyber-physical systems. Zbl 1497.68346
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
4
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
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
...and 1397 more Documents
all top 5

Cited by 16,451 Authors

102 Jain, Sanjay
89 Stephan, Frank
74 Okhotin, Alexander
72 Kutrib, Martin
58 Kupferman, Orna
57 Montanari, Ugo G.
57 Salomaa, Kai T.
56 Aceto, Luca
55 Ésik, Zoltán
54 Larsen, Kim Guldstrand
54 Meseguer Guaita, José
51 Case, John
51 Otto, Friedrich
50 Ingólfsdóttir, Anna
49 Thilikos, Dimitrios M.
49 Vardi, Moshe Ya’akov
48 Fernau, Henning
45 Dezani-Ciancaglini, Mariangiola
45 Holzer, Markus
44 Bodlaender, Hans L.
44 Raynal, Michel
43 Engelfriet, Joost
42 van Glabbeek, Robert Jan
41 Henzinger, Thomas A.
41 Makino, Kazuhisa
41 Pelc, Andrzej
40 Milius, Stefan
39 Beyersdorff, Olaf
39 Katoen, Joost-Pieter
39 Lohrey, Markus
38 Courcelle, Bruno
38 Eiter, Thomas
38 Fomin, Fedor V.
38 Gadducci, Fabio
38 Yoshida, Nobuko
37 Corradini, Andrea
37 Droste, Manfred
37 Malcher, Andreas
36 Chatterjee, Krishnendu
36 Hemaspaandra, Lane A.
36 Sangiorgi, Davide
35 Baldan, Paolo
35 Bonchi, Filippo
35 Fernández, Maribel
35 Rajsbaum, Sergio
34 Dal Lago, Ugo
34 Murano, Aniello
33 Amir, Amihood
33 Bergstra, Jan A.
33 Cai, Jin-Yi
33 Epstein, Leah
33 Gastin, Paul
33 Raskin, Jean-François
32 Lucas, Salvador
32 Middeldorp, Aart
32 Saurabh, Saket
32 Schröder, Lutz
31 Bollig, Benedikt
31 Bouyer, Patricia
31 Bozzelli, Laura
31 Fokkink, Willem Jan
31 Hennessy, Matthew C. B.
31 Ibarra, Oscar H.
31 Legay, Axel
31 Pighizzini, Giovanni
31 Rabe, Florian
31 Silva, Alexandra
30 Luttik, Bas
30 Yakaryılmaz, Abuzer
29 Bruni, Roberto
29 Czyzowicz, Jurek
29 Demri, Stéphane P.
29 Jacobs, Bart
29 Kranakis, Evangelos Konstantinou
29 Worrell, James B.
28 Abdulla, Parosh Aziz
28 Golovach, Petr A.
28 Gorrieri, Roberto
28 Kinber, Efim B.
28 Kohlhase, Michael
28 Kwiatkowska, Marta Z.
28 Porat, Ely
28 Rabinovich, Alexander
28 Rytter, Wojciech
28 van Ditmarsch, Hans Pieter
27 Baeten, Jos C. M.
27 Finkel, Alain
27 Lokshtanov, Daniel
27 Lutz, Jack H.
27 Power, John
26 Crochemore, Maxime
26 Jirásková, Galina
26 Pérez, Jorge A.
26 Pilipczuk, Michał
26 Sau, Ignasi
26 Shallit, Jeffrey Outlaw
26 Vogler, Walter
25 Adámek, Jiří
25 Allender, Eric W.
25 Corradini, Flavio
...and 16,351 more Authors
all top 5

Cited in 596 Journals

2,582 Theoretical Computer Science
1,201 Information and Computation
479 Journal of Computer and System Sciences
454 Information Processing Letters
340 Discrete Applied Mathematics
316 Algorithmica
316 MSCS. Mathematical Structures in Computer Science
291 Logical Methods in Computer Science
259 International Journal of Foundations of Computer Science
236 Annals of Pure and Applied Logic
232 Theory of Computing Systems
216 Artificial Intelligence
201 Acta Informatica
193 Journal of Logical and Algebraic Methods in Programming
177 Journal of Automated Reasoning
177 Formal Aspects of Computing
164 Distributed Computing
148 The Journal of Logic and Algebraic Programming
145 Formal Methods in System Design
125 SIAM Journal on Computing
109 Annals of Mathematics and Artificial Intelligence
99 Information Sciences
96 Journal of Functional Programming
95 The Journal of Symbolic Logic
90 ACM Transactions on Computational Logic
81 Computational Complexity
76 Machine Learning
75 Journal of Combinatorial Optimization
75 RAIRO. Theoretical Informatics and Applications
73 Journal of Symbolic Computation
72 Studia Logica
68 SIAM Journal on Discrete Mathematics
65 International Journal of Approximate Reasoning
61 Journal of Applied Non-Classical Logics
60 Journal of Applied Logic
59 Theory and Practice of Logic Programming
58 Discrete Mathematics
58 Journal of Discrete Algorithms
52 Designs, Codes and Cryptography
50 The Bulletin of Symbolic Logic
48 International Journal of Algebra and Computation
46 Fundamenta Informaticae
45 Science of Computer Programming
41 Journal of Philosophical Logic
41 Mathematical Systems Theory
41 Synthese
40 Journal of Logic, Language and Information
39 Archive for Mathematical Logic
38 International Journal of Computer Mathematics
38 RAIRO. Theoretical Informatics and Applications
36 RAIRO. Informatique Théorique et Applications
34 European Journal of Operational Research
32 Fuzzy Sets and Systems
32 Computational Geometry
31 Natural Computing
30 Journal of Cryptology
30 Discrete Event Dynamic Systems
30 Cryptography and Communications
29 Journal of Pure and Applied Algebra
29 Applicable Algebra in Engineering, Communication and Computing
28 Automatica
28 Journal of Computer Science and Technology
28 Random Structures & Algorithms
27 Discrete & Computational Geometry
27 Computers & Operations Research
26 Journal of Complexity
26 Mathematical Programming. Series A. Series B
26 Finite Fields and their Applications
25 European Journal of Combinatorics
25 Neural Computation
25 Higher-Order and Symbolic Computation
24 Journal of Membrane Computing
23 Journal of Algebra
23 Quantum Information Processing
23 Computer Science Review
22 Notre Dame Journal of Formal Logic
22 Operations Research Letters
22 Applied Categorical Structures
22 Mathematical Logic Quarterly (MLQ)
21 The Annals of Statistics
21 The Electronic Journal of Combinatorics
20 Topology and its Applications
20 Journal of Scheduling
20 Journal of the ACM
20 Algorithms
19 Networks
19 Real-Time Systems
19 Soft Computing
19 Journal of Machine Learning Research (JMLR)
19 Computer Languages, Systems & Structures
19 Discrete Mathematics, Algorithms and Applications
18 Algebra Universalis
18 Journal of Combinatorial Theory. Series B
18 Annals of Operations Research
18 Games and Economic Behavior
18 Linear Algebra and its Applications
18 Pattern Recognition
18 The Review of Symbolic Logic
17 Neural Networks
17 Combinatorics, Probability and Computing
...and 496 more Journals
all top 5

Cited in 61 Fields

14,825 Computer science (68-XX)
3,993 Mathematical logic and foundations (03-XX)
1,658 Combinatorics (05-XX)
845 Operations research, mathematical programming (90-XX)
832 Information and communication theory, circuits (94-XX)
722 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
597 Category theory; homological algebra (18-XX)
342 Order, lattices, ordered algebraic structures (06-XX)
326 Probability theory and stochastic processes (60-XX)
304 Number theory (11-XX)
269 Statistics (62-XX)
254 Quantum theory (81-XX)
249 Group theory and generalizations (20-XX)
220 Biology and other natural sciences (92-XX)
209 Systems theory; control (93-XX)
156 Numerical analysis (65-XX)
137 Dynamical systems and ergodic theory (37-XX)
129 General algebraic systems (08-XX)
94 General topology (54-XX)
90 Measure and integration (28-XX)
89 Convex and discrete geometry (52-XX)
76 Linear and multilinear algebra; matrix theory (15-XX)
71 Commutative algebra (13-XX)
66 Statistical mechanics, structure of matter (82-XX)
61 Algebraic geometry (14-XX)
56 Associative rings and algebras (16-XX)
47 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)
27 Real functions (26-XX)
26 Geometry (51-XX)
24 Algebraic topology (55-XX)
20 Operator theory (47-XX)
18 Approximations and expansions (41-XX)
15 Ordinary differential equations (34-XX)
12 Partial differential equations (35-XX)
9 Functions of a complex variable (30-XX)
9 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