×

Information and Computation

Short Title: Inf. Comput.
Publisher: Elsevier (Academic Press), San Diego, CA
ISSN: 0890-5401
Online: http://www.sciencedirect.com/science/journal/08905401
Predecessor: Information and Control
Comments: Indexed cover-to-cover
Documents Indexed: 2,705 Publications (since 1987)
References Indexed: 2,203 Publications with 64,543 References.
all top 5

Authors

31 Jain, Sanjay
26 Stephan, Frank
20 Rabinovich, Alexander
14 Droste, Manfred
13 Okhotin, Alexander
12 Case, John
12 Chatterjee, Krishnendu
12 Hennessy, Matthew C. B.
12 Lynch, Nancy Ann
12 Murano, Aniello
12 Vardi, Moshe Ya’akov
11 Amir, Amihood
11 Fokkink, Willem Jan
11 Hemaspaandra, Lane A.
11 Ibarra, Oscar H.
11 Kinber, Efim B.
11 Kupferman, Orna
11 Martín-Vide, Carlos
11 Pighizzini, Giovanni
11 Sangiorgi, Davide
11 Sharma, Arun K.
10 Engelfriet, Joost
10 Henzinger, Thomas A.
10 Métivier, Yves
10 Peleg, David
9 Aceto, Luca
9 Boreale, Michele
9 Geffert, Viliam
9 Ghelli, Giorgio
9 Hromkovič, Juraj
9 Kutrib, Martin
9 Lutz, Jack H.
9 Panangaden, Prakash
9 Pnueli, Amir
9 Porat, Ely
9 van Glabbeek, Robert Jan
9 Warmuth, Manfred K.
8 Baldan, Paolo
8 Bodlaender, Hans L.
8 Cai, Jin-Yi
8 Epstein, Leah
8 Fortnow, Lance J.
8 Grumberg, Orna
8 Klop, Jan Willem
8 Kucera, Antonin
8 Lohrey, Markus
8 Meseguer Guaita, José
8 Middeldorp, Aart
8 Rutten, Jan J. M. M.
8 Thérien, Denis
8 Truthe, Bianca
8 Zemmari, Akka
7 Cardelli, Luca
7 Crochemore, Maxime
7 De Nicola, Rocco
7 Diekert, Volker
7 Finkel, Alain
7 Gastin, Paul
7 Gorrieri, Roberto
7 Holzer, Markus
7 Ingólfsdóttir, Anna
7 Jančar, Petr
7 Katoen, Joost-Pieter
7 Kolaitis, Phokion G.
7 Mogavero, Fabio
7 Montanari, Angelo
7 Montanari, Ugo G.
7 Navarro, Gonzalo
7 Pierce, Benjamin C.
7 Raskin, Jean-François
7 Ronchi Della Rocca, Simona
7 Scedrov, Andre
7 Schnitger, Georg
7 Smith, Carl H.
7 Tiuryn, Jerzy
7 Vogler, Walter
7 Wood, Derick
7 Zeugmann, Thomas
6 Abadi, Martín
6 Abdulla, Parosh Aziz
6 Abramsky, Samson
6 Adámek, Jiří
6 Alur, Rajeev
6 Arvind, Vikraman
6 Beigel, Richard
6 Bouyer, Patricia
6 Bozzelli, Laura
6 Desharnais, Josée
6 Dezani-Ciancaglini, Mariangiola
6 Edalat, Abbas
6 Ésik, Zoltán
6 Fenner, Stephen A.
6 Fernau, Henning
6 Freivalds, Rūsiņš Mārtiņš
6 Goldberg, Leslie Ann
6 Hagerup, Torben
6 Halpern, Joseph Yehuda
6 Hermanns, Holger
6 Honkala, Juha
6 Jonsson, Bengt
...and 3,558 more Authors
all top 5

Fields

2,486 Computer science (68-XX)
588 Mathematical logic and foundations (03-XX)
139 Information and communication theory, circuits (94-XX)
103 Combinatorics (05-XX)
102 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
70 General and overarching topics; collections (00-XX)
55 Category theory; homological algebra (18-XX)
55 Operations research, mathematical programming (90-XX)
37 Group theory and generalizations (20-XX)
36 Order, lattices, ordered algebraic structures (06-XX)
31 Number theory (11-XX)
30 Quantum theory (81-XX)
29 Biology and other natural sciences (92-XX)
28 Probability theory and stochastic processes (60-XX)
22 Dynamical systems and ergodic theory (37-XX)
17 Numerical analysis (65-XX)
15 Systems theory; control (93-XX)
11 General algebraic systems (08-XX)
11 Statistics (62-XX)
10 Measure and integration (28-XX)
7 General topology (54-XX)
6 Field theory and polynomials (12-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Associative rings and algebras (16-XX)
6 Convex and discrete geometry (52-XX)
5 Commutative algebra (13-XX)
4 Real functions (26-XX)
3 History and biography (01-XX)
3 Statistical mechanics, structure of matter (82-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,089 Publications have been cited 22,154 times in 14,971 Documents Cited by Year
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
435
1990
Notions of computation and monads. Zbl 0723.68073
Moggi, Eugenio
293
1991
Bisimulation through probabilistic testing. Zbl 0756.68035
Larsen, Kim G.; Skou, Arne
271
1991
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
219
1992
Learning regular sets from queries and counterexamples. Zbl 0636.68112
Angluin, Dana
201
1987
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
183
1992
A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082
Kozen, Dexter
157
1994
On full abstraction for PCF: I, II and III. Zbl 1006.68027
Hyland, J. M. E.; Ong, C.-H. L.
157
2000
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
156
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.
155
1992
Approximate counting, uniform generation and rapidly mixing Markov chains. Zbl 0668.05060
Sinclair, Alistair; Jerrum, Mark
141
1989
Reasoning about infinite computations. Zbl 0827.03009
Vardi, Moshe Y.; Wolper, Pierre
139
1994
The weighted majority algorithm. Zbl 0804.68121
Littlestone, Nick; Warmuth, Manfred K.
138
1994
A logic for reasoning about probabilities. Zbl 0811.03014
Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod
131
1990
Decision theoretic generalizations of the PAC model for neural net and other learning applications. Zbl 0762.68050
Haussler, David
121
1992
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
116
1994
A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073
Abadi, Martín; Gordon, Andrew D.
114
1999
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
113
2000
The dimensions of individual strings and sequences. Zbl 1090.68053
Lutz, Jack H.
110
2003
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
106
1993
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
104
2006
CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063
Kanellakis, Paris C.; Smolka, Scott A.
103
1990
The complexity of stochastic games. Zbl 0756.90103
Condon, Anne
99
1992
Searching in the plane. Zbl 0781.68044
Baeza-Yates, Ricardo A.; Culberson, Joseph C.; Rawlins, Gregory J. E.
98
1993
Boosting a weak learning algorithm by majority. Zbl 0833.68109
Freund, Yoav
93
1995
Bisimulation for labelled Markov processes. Zbl 1096.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
92
2002
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
87
1992
Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042
van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard
84
1995
Nominal logic, a first order theory of names and binding. Zbl 1056.03014
Pitts, Andrew M.
81
2003
The vertex separation and search number of a graph. Zbl 0942.68641
Ellis, J. A.; Sudborough, I. H.; Turner, J. S.
78
1994
A syntactic approach to type soundness. Zbl 0938.68559
Wright, Andrew K.; Felleisen, Matthias
78
1994
Resolution for quantified Boolean formulas. Zbl 0828.68045
Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas
75
1995
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
72
1995
Complexity of generalized satisfiability counting problems. Zbl 0853.68110
Creignou, Nadia; Hermann, Miki
70
1996
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
68
2005
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
68
1988
Bisimulation from open maps. Zbl 0856.68067
Joyal, André; Nielsen, Mogens; Winskel, Glynn
67
1996
Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019
Dwork, Cynthia; Moses, Yoram
67
1990
Almost perfect nonlinear power functions on \(\mathrm{GF}(2^n)\): the Niho case. Zbl 1072.94513
Dobbertin, Hans
67
1999
A general lower bound on the number of examples needed for learning. Zbl 0679.68158
Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie
64
1989
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
64
1990
Pushdown processes: Games and model-checking. Zbl 1003.68072
Walukiewicz, Igor
63
2001
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
62
1993
Verifying programs with unreliable channels. Zbl 0856.68096
Abdulla, Parosh Aziz; Jonsson, Bengt
62
1996
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
61
1998
A 1.488 approximation algorithm for the uncapacitated facility location problem. Zbl 1281.68236
Li, Shi
61
2013
Full abstraction in the lazy lambda calculus. Zbl 0779.03003
Abramsky, Samson; Ong, C.-H. Luke
60
1993
A process algebra for timed systems. Zbl 0826.68068
Hennessy, Matthew; Regan, Tim
60
1995
The multi-tree approach to reliability in distributed networks. Zbl 0655.68029
Itai, Alon; Rodeh, Michael
58
1988
More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems. Zbl 0776.68016
Chaudhuri, Soma
58
1993
Dynamical systems, measures, and fractals via domain theory. Zbl 0834.58029
Edalat, Abbas
57
1995
Prudence and other conditions on formal language learning. Zbl 0698.68072
Fulk, Mark A.
57
1990
Approximation hardness of dominating set problems in bounded degree graphs. Zbl 1169.68037
Chlebík, M.; Chlebíková, J.
57
2008
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
56
1989
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth. Zbl 1327.68126
Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper
55
2015
Structural induction and coinduction in a fibrational setting. Zbl 0941.18006
Hermida, Claudio; Jacobs, Bart
54
1998
Probabilistic logic programming. Zbl 0781.68038
Ng, Raymond; Subrahmanian, V. S.
54
1992
Simple consequence relations. Zbl 0733.03007
Avron, Arnon
52
1991
A domain equation for bisimulation. Zbl 0718.68057
Abramsky, Samson
51
1991
Exponentiated gradient versus gradient descent for linear predictors. Zbl 0872.68158
Kivinen, Jyrki; Warmuth, Manfred K.
50
1997
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
49
1989
Categories of partial maps. Zbl 0656.18001
Robinson, E.; Rosolini, G.
49
1988
Predicting \(\{ 0,1\}\)-functions on randomly drawn points. Zbl 0938.68785
Haussler, D.; Littlestone, N.; Warmuth, M. K.
49
1994
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
49
2010
Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060
Takahashi, Masako
48
1995
Proving congruence of bisimulation in functional programming languages. Zbl 0853.68073
Howe, Douglas J.
48
1996
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
47
1994
Inference of finite automata using homing sequences. Zbl 0786.68082
Rivest, Ronald L.; Schapire, Robert E.
47
1993
Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628
Walukiewicz, Igor
47
2000
Logic programming in a fragment of intuitionistic linear logic. Zbl 0807.68016
Hodas, Joshua S.; Miller, Dale
46
1994
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
46
1992
Follow automata. Zbl 1059.68063
Ilie, Lucian; Yu, Sheng
46
2003
Boolean grammars. Zbl 1073.68037
Okhotin, Alexander
46
2004
Treewidth computations. I: Upper bounds. Zbl 1186.68328
Bodlaender, Hans L.; Koster, Arie M. C. A.
46
2010
Visual cryptography for general access structures. Zbl 1096.94522
Ateniese, Giuseppe; Blundo, Carlo; De Santis, Alfredo; Stinson, Douglas R.
46
1996
Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076
Staiger, Ludwig
45
1993
Computability of probability measures and Martin-Löf randomness over metric spaces. Zbl 1167.68023
Hoyrup, Mathieu; Rojas, Cristóbal
45
2009
Descriptional and computational complexity of finite automata – a survey. Zbl 1217.68130
Holzer, Markus; Kutrib, Martin
45
2011
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.
44
1996
Bisimulation for higher-order process calculi. Zbl 0876.68042
Sangiorgi, Davide
44
1996
Complexity of identification and dualization of positive Boolean functions. Zbl 1096.68633
Bioch, Jan C.; Ibaraki, Toshihide
44
1995
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
42
1995
Towards a unified approach to encodability and separation results for process calculi. Zbl 1209.68336
Gorla, Daniele
42
2010
Resource access control in systems of mobile agents. Zbl 1009.68081
Hennessy, Matthew; Riely, James
42
2002
An essay in combinatory dynamic logic. Zbl 0732.03021
Passy, Solomon; Tinchev, Tinko
41
1991
Contextual insertions/deletions and computability. Zbl 0872.68038
Kari, Lila; Thierrin, Gabriel
41
1996
Growing context-sensitive languages and Church-Rosser languages. Zbl 0894.68093
Buntrock, Gerhard; Otto, Friedrich
41
1998
Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567
Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen
41
2000
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
40
2003
A semantics of multiple inheritance. Zbl 0651.68017
Cardelli, Luca
39
1988
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
39
1994
On chromatic sums and distributed resource allocation. Zbl 0895.68022
Bar-Noy, Amotz; Bellare, Mihir; Halldórsson, Magnús M.; Shachnai, Hadas; Tamir, Tami
39
1998
Parallel recognition of series-parallel graphs. Zbl 0754.68056
Eppstein, David
39
1992
Incremental concept learning for bounded data mining. Zbl 1045.68572
Case, John; Jain, Sanjay; Lange, Steffen; Zeugmann, Thomas
39
1999
Unbounded-error quantum computation with small space bounds. Zbl 1221.68092
Yakaryılmaz, Abuzer; Say, A. C. Cem
39
2011
Polymorphic type inference and containment. Zbl 0656.68023
Mitchell, John C.
38
1988
Numeration systems, linear recurrences, and regular sets. Zbl 0810.11006
Shallit, Jeffrey
38
1994
Power domains and iterated function systems. Zbl 0916.54014
Edalat, Abbas
38
1996
Relational properties of domains. Zbl 0868.68037
Pitts, Andrew M.
38
1996
Faster optimal parallel prefix sums and list ranking. Zbl 0684.68048
Cole, Richard; Vishkin, Uzi
38
1989
Preservation of normality by transducers. Zbl 07452650
Carton, Olivier; Orduna, Elisa
2
2022
Logic for \(\omega\)-pushdown automata. Zbl 1491.68097
Droste, Manfred; Dziadek, Sven; Kuich, Werner
2
2022
Ring exploration with myopic luminous robots. Zbl 07527812
Ooshita, Fukuhito; Tixeuil, Sébastien
1
2022
Weighted propositional configuration logics: a specification language for architectures with quantitative features. Zbl 1483.68088
Paraponiari, Paulina; Rahonis, George
1
2022
What’s decidable about weighted automata? Zbl 07452651
Almagor, Shaull; Boker, Udi; Kupferman, Orna
1
2022
A periodicity lemma for partial words. Zbl 07488450
Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Waleń, Tomasz
1
2022
Nondeterministic right one-way jumping finite automata. Zbl 07488453
Beier, Simon; Holzer, Markus
1
2022
Descriptional complexity of iterated uniform finite-state transducers. Zbl 07488457
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
1
2022
Rule synchronization for monodirectional tissue-like P systems with channel states. Zbl 07538340
Li, Yanyan; Song, Bosheng; Zeng, Xiangxiang
1
2022
The computational power of monodirectional tissue P systems with symport rules. Zbl 07433295
Song, Bosheng; Huang, Shengye; Zeng, Xiangxiang
3
2021
Game-theoretic semantics for ATL\(^+\) with applications to model checking. Zbl 07307498
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine
2
2021
Regular \(\omega\)-languages with an informative right congruence. Zbl 07354964
Angluin, Dana; Fisman, Dana
2
2021
Hitting forbidden induced subgraphs on bounded treewidth graphs. Zbl 07433326
Sau, Ignasi; dos Santos Souza, Uéverton
2
2021
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way. Zbl 07398013
Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
1
2021
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. Zbl 07398014
Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi
1
2021
Timed hyperproperties. Zbl 07398015
Ho, Hsi-Ming; Zhou, Ruoyu; Jones, Timothy M.
1
2021
A decidable and expressive fragment of Many-Sorted first-order linear temporal logic. Zbl 07398017
Peyras, Quentin; Brunel, Julien; Chemouil, David
1
2021
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Zbl 07307496
Belardinelli, Francesco; Condurache, Rodica; Dima, Cătălin; Jamroga, Wojciech; Knapik, Michal
1
2021
Equilibria in multi-player multi-outcome infinite sequential games. Zbl 07307501
Le Roux, Stéphane; Pauly, Arno
1
2021
Safe dependency atoms and possibility operators in team semantics. Zbl 07354959
Galliani, Pietro
1
2021
Quantitative reductions and vertex-ranked infinite games. Zbl 07354962
Weinert, Alexander
1
2021
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Zbl 07354963
Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio
1
2021
Slowly synchronizing automata with fixed alphabet size. Zbl 07373414
Don, Henk; Zantema, Hans; de Bondt, Michiel
1
2021
Rule synchronization for tissue P systems. Zbl 07433279
Song, Bosheng; Pan, Linqiang
1
2021
A theory of monitors. Zbl 1475.68206
Francalanza, Adrian
1
2021
Advice complexity of treasure hunt in geometric terrains. Zbl 07433282
Pelc, Andrzej; Yadav, Ram Narayan
1
2021
Allocating contiguous blocks of indivisible chores fairly. Zbl 07433287
Höhne, Felix; van Stee, Rob
1
2021
Asymptotics of the number of 2-threshold functions. Zbl 07433290
Zamaraeva, Elena; Žunić, Joviša
1
2021
On equations and first-order theory of one-relator monoids. Zbl 07433292
Garreta, Albert; Gray, Robert D.
1
2021
Computing absolutely normal numbers in nearly linear time. Zbl 07433293
Lutz, Jack H.; Mayordomo, Elvira
1
2021
Neural-like P systems with plasmids. Zbl 07433298
Cabarle, Francis George C.; Zeng, Xiangxiang; Murphy, Niall; Song, Tao; Rodríguez-Patón, Alfonso; Liu, Xiangrong
1
2021
Weighted parsing for grammar-based language models over multioperator monoids. Zbl 07433305
Mörbitz, Richard; Vogler, Heiko
1
2021
Automated deep abstractions for stochastic chemical reaction networks. Zbl 07433310
Repin, Denis; Petrov, Tatjana
1
2021
Query complexity of generalized Simon’s problem. Zbl 07433312
Ye, Zekun; Huang, Yunqi; Li, Lvzhou; Wang, Yuyi
1
2021
Fast polynomial inversion for post quantum QC-MDPC cryptography. Zbl 07433319
Drucker, Nir; Gueron, Shay; Kostic, Dusan
1
2021
Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M.
1
2021
The emptiness problem for valence automata over graph monoids. Zbl 1475.68170
Zetzsche, Georg
1
2021
Cell-like P systems with evolutional symport/antiport rules and membrane creation. Zbl 07285748
Song, Bosheng; Li, Kenli; Orellana-Martín, David; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J.
9
2020
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Zbl 1443.68101
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim
8
2020
Absent words in a sliding window with applications. Zbl 1436.68406
Crochemore, Maxime; Héliou, Alice; Kucherov, Gregory; Mouchard, Laurent; Pissis, Solon P.; Ramusat, Yann
5
2020
Fast scalable construction of ([compressed] static | minimal perfect hash) functions. Zbl 1446.68038
Genuzio, Marco; Ottaviano, Giuseppe; Vigna, Sebastiano
3
2020
Indexing weighted sequences: neat and efficient. Zbl 1436.68082
Barton, Carl; Kociumaka, Tomasz; Liu, Chang; Pissis, Solon P.; Radoszewski, Jakub
3
2020
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
3
2020
Presynthesis of bounded choice-free or fork-attribution nets. Zbl 1455.68130
Wimmel, Harro
3
2020
Efficient enumeration of three-state two-dimensional number-conserving cellular automata. Zbl 1458.37019
Dzedzej, Adam; Wolnik, Barbara; Nenca, Anna; Baetens, Jan M.; De Baets, Bernard
3
2020
Team equivalences for finite-state machines with silent moves. Zbl 07285760
Gorrieri, Roberto
3
2020
A parametric framework for reversible \(\pi\)-calculi. Zbl 07285774
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
3
2020
Finite-state strategies in delay games. Zbl 1443.68100
Winter, Sarah; Zimmermann, Martin
2
2020
Robust worst cases for parity games algorithms. Zbl 1443.68067
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
2
2020
Polylog depth, highness and lowness for E. Zbl 1441.68112
Moser, Philippe
2
2020
Minimum fill-in: inapproximability and almost tight lower bounds. Zbl 1435.68111
Cao, Yixin; Sandeep, R. B.
2
2020
On the complexity of the stability problem of binary freezing totalistic cellular automata. Zbl 1455.68108
Goles, Eric; Maldonado, Diego; Montealegre, Pedro; Ollinger, Nicolas
2
2020
Maximum sensitivity to update schedules of elementary cellular automata over infinite configurations. Zbl 1458.37022
Ruivo, Eurico L. P.; Balbi, Pedro Paulo; Montalva-Medel, Marco; Perrot, Kévin
2
2020
Arrow update synthesis. Zbl 07285750
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B.
2
2020
The link-calculus for open multiparty interactions. Zbl 07285753
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2020
Bounding the dimension of points on a line. Zbl 07285758
Lutz, Neil; Stull, D. M.
2
2020
Online recognition of dictionary with one gap. Zbl 07285772
Amir, Amihood; Levy, Avivit; Porat, Ely; Riva Shalom, B.
2
2020
Model checking interval temporal logics with regular expressions. Zbl 1443.68102
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2020
Dynamic programming optimization in line of sight networks. Zbl 1436.68258
Sangha, Pavan; Wong, Prudence W. H.; Zito, Michele
1
2020
Large-scale clique cover of real-world networks. Zbl 1436.68228
Conte, Alessio; Grossi, Roberto; Marino, Andrea
1
2020
An algebraic geometric approach to Nivat’s conjecture. Zbl 1434.68266
Kari, Jarkko; Szabados, Michal
1
2020
Uniform van Lambalgen’s theorem fails for computable randomness. Zbl 1441.68110
Bauwens, Bruno
1
2020
Logical vs. behavioural specifications. Zbl 1435.68189
Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie
1
2020
Streaming \(k\)-mismatch with error correcting and applications. Zbl 1435.68402
Radoszewski, Jakub; Starikovskaya, Tatiana
1
2020
Characterization and measure of infinite two-dimensional strong prefix codes. Zbl 1460.68048
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria
1
2020
The complexity of the asynchronous prediction of the majority automata. Zbl 1460.68068
Goles, Eric; Montealegre, Pedro
1
2020
Learning families of algebraic structures from informant. Zbl 07285756
Bazhenov, Nikolay; Fokina, Ekaterina; San Mauro, Luca
1
2020
Computational fuzzy extractors. Zbl 07285759
Fuller, Benjamin; Meng, Xianrui; Reyzin, Leonid
1
2020
Revisiting Deutsch-jozsa algorithm. Zbl 07285762
Qiu, Daowen; Zheng, Shenggen
1
2020
PPLite: zero-overhead encoding of NNC polyhedra. Zbl 07285767
Becchi, Anna; Zaffanella, Enea
1
2020
A structured view on weighted counting with relations to counting, quantum computation and applications. Zbl 07285768
de Campos, Cassio P.; Stamoulis, Georgios; Weyland, Dennis
1
2020
Reversibility of computations in graph-walking automata. Zbl 07285770
Kunc, Michal; Okhotin, Alexander
1
2020
Complexity of the dynamics of reaction systems. Zbl 1422.68069
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Porreca, Antonio E.
8
2019
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. Zbl 1430.68162
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
5
2019
Limited automata and unary languages. Zbl 1427.68153
Pighizzini, Giovanni; Prigioniero, Luca
4
2019
A mesh of automata. Zbl 1430.68140
Broda, Sabine; Holzer, Markus; Maia, Eva; Moreira, Nelma; Reis, Rogério
4
2019
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161
Castiglioni, Valentina; Tini, Simone
4
2019
Expressiveness of probabilistic modal logics: a gradual approach. Zbl 1422.68167
Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash
3
2019
Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Zbl 1436.03120
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
3
2019
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
3
2019
Weighted automata with storage. Zbl 1435.68164
Herrmann, Luisa; Vogler, Heiko; Droste, Manfred
3
2019
Hardest languages for conjunctive and Boolean grammars. Zbl 1426.68152
Okhotin, Alexander
2
2019
Finding maximal 2-dimensional palindromes. Zbl 1476.68316
Geizhals, Sara H.; Sokol, Dina
2
2019
On the relative expressiveness of higher-order session processes. Zbl 1430.68163
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
2019
Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav
2
2019
A tale of two diagnoses in probabilistic systems. Zbl 1435.68212
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel
2
2019
Completeness and expressiveness of pointer program verification by separation logic. Zbl 1422.68038
Tatsuta, Makoto; Chin, Wei-Ngan; Al Ameen, Mahmudul Faisal
1
2019
Some lower bounds in parameterized \(\mathrm{AC}^{0}\). Zbl 1423.68196
Chen, Yijia; Flum, Jörg
1
2019
Faster FPTASes for counting and random generation of knapsack solutions. Zbl 1423.68600
Rizzi, Romeo; Tomescu, Alexandru I.
1
2019
On-line weighted pattern matching. Zbl 1421.68254
Charalampopoulos, Panagiotis; Iliopoulos, Costas S.; Pissis, Solon P.; Radoszewski, Jakub
1
2019
On the height of towers of subsequences and prefixes. Zbl 1434.68259
Holub, Štěpán; Masopust, Tomáš; Thomazo, Michaël
1
2019
Tight upper and lower bounds for leakage-resilient, locally decodable and updatable non-malleable codes. Zbl 1455.94147
Dachman-Soled, Dana; Kulkarni, Mukul; Shahverdi, Aria
1
2019
Optimal bounds for computing \({\alpha}\)-gapped repeats. Zbl 1434.68382
Crochemore, Maxime; Kolpakov, Roman; Kucherov, Gregory
1
2019
Constraint satisfaction problems over semilattice block Mal’tsev algebras. Zbl 1434.68191
Bulatov, Andrei A.
1
2019
Design patterns in beeping algorithms: examples, emulation, and analysis. Zbl 1409.68039
Casteigts, A.; Métivier, Y.; Robson, J. M.; Zemmari, A.
1
2019
On XOR lemmas for the weight of polynomial threshold functions. Zbl 1435.68220
Amano, Kazuyuki; Tate, Shoma
1
2019
Freeness properties of weighted and probabilistic automata over bounded languages. Zbl 1435.68143
Bell, Paul C.; Chen, Shang; Jackson, Lisa
1
2019
A Kleene theorem for weighted tree automata over tree valuation monoids. Zbl 1439.68014
Götze, Doreen; Fülöp, Zoltán; Droste, Manfred
1
2019
Schützenberger automata for HNN-extensions of inverse monoids and their use in algorithmic questions. Zbl 1435.68204
Baginová Jajcayová, Tatiana
1
2019
Periodic generalized automata over the reals. Zbl 1435.68178
Meer, Klaus; Naif, Ameen
1
2019
...and 1358 more Documents
all top 5

Cited by 14,128 Authors

98 Jain, Sanjay
84 Stephan, Frank
58 Okhotin, Alexander
53 Kutrib, Martin
53 Montanari, Ugo G.
49 Ésik, Zoltán
47 Aceto, Luca
47 Larsen, Kim Guldstrand
47 Meseguer Guaita, José
46 Case, John
44 Otto, Friedrich
43 Ingólfsdóttir, Anna
43 Salomaa, Kai T.
42 Engelfriet, Joost
41 Kupferman, Orna
40 Fernau, Henning
39 Dezani-Ciancaglini, Mariangiola
39 Holzer, Markus
39 Thilikos, Dimitrios M.
38 Vardi, Moshe Ya’akov
37 Bodlaender, Hans L.
37 Courcelle, Bruno
36 Milius, Stefan
35 Eiter, Thomas
35 Makino, Kazuhisa
35 Pelc, Andrzej
35 Raynal, Michel
34 Henzinger, Thomas A.
33 Chatterjee, Krishnendu
33 Hemaspaandra, Lane A.
33 Lohrey, Markus
33 van Glabbeek, Robert Jan
32 Yoshida, Nobuko
31 Corradini, Andrea
31 Murano, Aniello
30 Droste, Manfred
30 Fokkink, Willem Jan
30 Rajsbaum, Sergio
30 Sangiorgi, Davide
29 Beyersdorff, Olaf
29 Bonchi, Filippo
29 Dal Lago, Ugo
29 Fernández, Maribel
29 Fomin, Fedor V.
29 Hennessy, Matthew C. B.
29 Jacobs, Bart
29 Legay, Axel
29 Malcher, Andreas
28 Amir, Amihood
28 Baldan, Paolo
28 Bergstra, Jan A.
28 Katoen, Joost-Pieter
27 Bruni, Roberto
27 Cai, Jin-Yi
27 Demri, Stéphane P.
27 Epstein, Leah
27 Gadducci, Fabio
27 Lucas, Salvador
27 Luttik, Bas
27 Middeldorp, Aart
27 Schröder, Lutz
27 Silva, Alexandra
26 Kinber, Efim B.
26 Power, John
26 Worrell, James B.
25 Bouyer, Patricia
25 Bozzelli, Laura
25 Fu, Yuxi
25 Gastin, Paul
25 Ibarra, Oscar H.
25 Rabinovich, Alexander
25 Raskin, Jean-François
24 Adámek, Jiří
24 Corradini, Flavio
24 Czyzowicz, Jurek
24 Gorrieri, Roberto
24 Jirásková, Galina
24 Kohlhase, Michael
24 Pighizzini, Giovanni
24 Porat, Ely
24 Rabe, Florian
24 Rytter, Wojciech
24 Saurabh, Saket
24 Vogler, Walter
24 Yakaryılmaz, Abuzer
23 Allender, Eric W.
23 Diekert, Volker
23 Halpern, Joseph Yehuda
23 Kwiatkowska, Marta Z.
22 Abdulla, Parosh Aziz
22 Abramsky, Samson
22 Baeten, Jos C. M.
22 De Nicola, Rocco
22 Finkel, Alain
22 Goldberg, Leslie Ann
22 Lutz, Jack H.
22 Markey, Nicolas
22 Panangaden, Prakash
22 Paulusma, Daniël
22 Zavattaro, Gianluigi
...and 14,028 more Authors
all top 5

Cited in 548 Journals

2,422 Theoretical Computer Science
1,098 Information and Computation
458 Journal of Computer and System Sciences
427 Information Processing Letters
310 Discrete Applied Mathematics
292 MSCS. Mathematical Structures in Computer Science
275 Algorithmica
227 Annals of Pure and Applied Logic
223 International Journal of Foundations of Computer Science
219 Logical Methods in Computer Science
215 Theory of Computing Systems
193 Acta Informatica
193 Artificial Intelligence
173 Formal Aspects of Computing
161 Journal of Automated Reasoning
161 Journal of Logical and Algebraic Methods in Programming
149 Distributed Computing
144 The Journal of Logic and Algebraic Programming
133 Formal Methods in System Design
108 SIAM Journal on Computing
106 Annals of Mathematics and Artificial Intelligence
94 Journal of Functional Programming
92 The Journal of Symbolic Logic
75 RAIRO. Theoretical Informatics and Applications
73 Machine Learning
73 Computational Complexity
72 Information Sciences
71 Journal of Symbolic Computation
69 Studia Logica
67 Journal of Combinatorial Optimization
58 Journal of Discrete Algorithms
58 Journal of Applied Logic
57 Journal of Applied Non-Classical Logics
56 International Journal of Approximate Reasoning
56 SIAM Journal on Discrete Mathematics
55 ACM Transactions on Computational Logic
51 Discrete Mathematics
51 Theory and Practice of Logic Programming
47 International Journal of Algebra and Computation
47 Designs, Codes and Cryptography
47 The Bulletin of Symbolic Logic
45 Science of Computer Programming
41 Mathematical Systems Theory
38 International Journal of Computer Mathematics
37 Synthese
36 RAIRO. Informatique Théorique et Applications
35 Journal of Philosophical Logic
35 Journal of Logic, Language and Information
35 RAIRO. Theoretical Informatics and Applications
34 Fundamenta Informaticae
33 Archive for Mathematical Logic
30 European Journal of Operational Research
29 Fuzzy Sets and Systems
28 Journal of Computer Science and Technology
28 Computational Geometry
27 Computers & Operations Research
26 Discrete Event Dynamic Systems
26 Applicable Algebra in Engineering, Communication and Computing
25 Automatica
25 Journal of Pure and Applied Algebra
25 Journal of Cryptology
25 Neural Computation
25 Higher-Order and Symbolic Computation
24 European Journal of Combinatorics
24 Journal of Complexity
24 Cryptography and Communications
23 Discrete & Computational Geometry
22 Notre Dame Journal of Formal Logic
22 Finite Fields and their Applications
21 Computer Science Review
20 Operations Research Letters
20 Mathematical Programming. Series A. Series B
19 Topology and its Applications
19 Real-Time Systems
19 Random Structures & Algorithms
19 Mathematical Logic Quarterly (MLQ)
19 Journal of Scheduling
19 Computer Languages, Systems & Structures
19 Algorithms
18 Annals of Operations Research
18 Pattern Recognition
18 Applied Categorical Structures
18 Soft Computing
18 Journal of the ACM
17 The Annals of Statistics
17 Journal of Algebra
17 Games and Economic Behavior
17 Natural Computing
16 Mathematics of Computation
16 Mathematics of Operations Research
16 Linear Algebra and its Applications
16 The Electronic Journal of Combinatorics
16 Discrete Optimization
16 Discrete Mathematics, Algorithms and Applications
16 The Review of Symbolic Logic
16 Journal of Membrane Computing
15 Algebra Universalis
15 Combinatorica
15 New Generation Computing
15 Combinatorics, Probability and Computing
...and 448 more Journals
all top 5

Cited in 58 Fields

12,237 Computer science (68-XX)
3,339 Mathematical logic and foundations (03-XX)
1,352 Combinatorics (05-XX)
676 Operations research, mathematical programming (90-XX)
671 Information and communication theory, circuits (94-XX)
576 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
472 Category theory; homological algebra (18-XX)
277 Order, lattices, ordered algebraic structures (06-XX)
259 Probability theory and stochastic processes (60-XX)
250 Number theory (11-XX)
226 Statistics (62-XX)
206 Group theory and generalizations (20-XX)
192 Biology and other natural sciences (92-XX)
179 Quantum theory (81-XX)
163 Systems theory; control (93-XX)
140 Numerical analysis (65-XX)
111 General algebraic systems (08-XX)
95 Dynamical systems and ergodic theory (37-XX)
78 General topology (54-XX)
75 Convex and discrete geometry (52-XX)
71 Measure and integration (28-XX)
59 Linear and multilinear algebra; matrix theory (15-XX)
58 Commutative algebra (13-XX)
52 Statistical mechanics, structure of matter (82-XX)
49 Algebraic geometry (14-XX)
45 Field theory and polynomials (12-XX)
43 Associative rings and algebras (16-XX)
34 History and biography (01-XX)
25 General and overarching topics; collections (00-XX)
25 Geometry (51-XX)
25 Manifolds and cell complexes (57-XX)
21 Real functions (26-XX)
21 Functional analysis (46-XX)
19 Algebraic topology (55-XX)
16 Operator theory (47-XX)
14 Approximations and expansions (41-XX)
8 Ordinary differential equations (34-XX)
8 Partial differential equations (35-XX)
7 Functions of a complex variable (30-XX)
7 Global analysis, analysis on manifolds (58-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
5 Difference and functional equations (39-XX)
5 Harmonic analysis on Euclidean spaces (42-XX)
4 Differential geometry (53-XX)
4 Mechanics of particles and systems (70-XX)
4 Mathematics education (97-XX)
3 \(K\)-theory (19-XX)
3 Topological groups, Lie groups (22-XX)
3 Fluid mechanics (76-XX)
3 Relativity and gravitational theory (83-XX)
3 Geophysics (86-XX)
2 Nonassociative rings and algebras (17-XX)
2 Integral transforms, operational calculus (44-XX)
2 Integral equations (45-XX)
1 Potential theory (31-XX)
1 Abstract harmonic analysis (43-XX)
1 Mechanics of deformable solids (74-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year