×

zbMATH — the first resource for mathematics

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,542 Publications (since 1987)
References Indexed: 2,045 Publications with 59,126 References.
all top 5

Authors

29 Jain, Sanjay
24 Stephan, Frank
19 Rabinovich, Alexander
12 Case, John
12 Chatterjee, Krishnendu
12 Hennessy, Matthew C. B.
12 Lynch, Nancy Ann
12 Vardi, Moshe Y.
11 Amir, Amihood
11 Fokkink, Willem Jan
11 Ibarra, Oscar H.
11 Kinber, Efim B.
11 Murano, Aniello
11 Okhotin, Alexander
11 Pighizzini, Giovanni
11 Sangiorgi, Davide
11 Sharma, Arun K.
10 Droste, Manfred
10 Engelfriet, Joost
10 Hemaspaandra, Lane A.
10 Henzinger, Thomas A.
10 Kupferman, Orna
10 Métivier, Yves
10 Peleg, David
9 Aceto, Luca
9 Geffert, Viliam
9 Ghelli, Giorgio
9 Hromkovič, Juraj
9 Martín-Vide, Carlos
9 Pnueli, Amir
9 Porat, Ely
9 Warmuth, Manfred K.
8 Bodlaender, Hans L.
8 Boreale, Michele
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 Lutz, Jack H.
8 Meseguer Guaita, José
8 Middeldorp, Aart
8 Panangaden, Prakash
8 Rutten, Jan J. M. M.
8 Thérien, Denis
8 van Glabbeek, Robert Jan
8 Zemmari, Akka
7 Cardelli, Luca
7 De Nicola, Rocco
7 Diekert, Volker
7 Finkel, Alain
7 Gorrieri, Roberto
7 Ingólfsdóttir, Anna
7 Jančar, Petr
7 Katoen, Joost-Pieter
7 Kutrib, Martin
7 Mogavero, Fabio
7 Montanari, Angelo
7 Montanari, Ugo G.
7 Pierce, Benjamin C.
7 Raskin, Jean-François
7 Ronchi Della Rocca, Simona
7 Schnitger, Georg
7 Smith, Carl H.
7 Tiuryn, Jerzy
7 Vogler, Walter
7 Wood, Derick
6 Abadi, Martín
6 Abdulla, Parosh Aziz
6 Abramsky, Samson
6 Adámek, Jiří
6 Alur, Rajeev
6 Arvind, Vikraman
6 Baldan, Paolo
6 Beigel, Richard
6 Bouyer, Patricia
6 Crochemore, Maxime
6 Desharnais, Josée
6 Dezani-Ciancaglini, Mariangiola
6 Edalat, Abbas
6 Ésik, Zoltán
6 Freivalds, Rūsiņš Mārtiņš
6 Gastin, Paul
6 Hagerup, Torben
6 Halpern, Joseph Yehuda
6 Hermanns, Holger
6 Holzer, Markus
6 Honkala, Juha
6 Jonsson, Bengt
6 Kolaitis, Phokion G.
6 Kozen, Dexter C.
6 Larsen, Kim Guldstrand
6 Merro, Massimo
6 Milius, Stefan
6 Otto, Friedrich
6 Palamidessi, Catuscia
6 Palsberg, Jens
6 Ranzato, Francesco
...and 3,305 more Authors

Publications by Year

Citations contained in zbMATH Open

1,972 Publications have been cited 19,912 times in 13,373 Documents Cited by Year
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
363
1990
Notions of computation and monads. Zbl 0723.68073
Moggi, Eugenio
262
1991
Bisimulation through probabilistic testing. Zbl 0756.68035
Larsen, Kim G.; Skou, Arne
253
1991
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
196
1992
Learning regular sets from queries and counterexamples. Zbl 0636.68112
Angluin, Dana
174
1987
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
166
1992
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.
148
1992
On full abstraction for PCF: I, II and III. Zbl 1006.68027
Hyland, J. M. E.; Ong, C.-H. L.
147
2000
A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082
Kozen, Dexter
145
1994
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
141
1988
Approximate counting, uniform generation and rapidly mixing Markov chains. Zbl 0668.05060
Sinclair, Alistair; Jerrum, Mark
129
1989
Reasoning about infinite computations. Zbl 0827.03009
Vardi, Moshe Y.; Wolper, Pierre
121
1994
The weighted majority algorithm. Zbl 0804.68121
Littlestone, Nick; Warmuth, Manfred K.
120
1994
Decision theoretic generalizations of the PAC model for neural net and other learning applications. Zbl 0762.68050
Haussler, David
117
1992
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
116
1994
A logic for reasoning about probabilities. Zbl 0811.03014
Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod
111
1990
A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073
Abadi, Martín; Gordon, Andrew D.
110
1999
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
104
2000
The dimensions of individual strings and sequences. Zbl 1090.68053
Lutz, Jack H.
104
2003
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
103
1993
CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063
Kanellakis, Paris C.; Smolka, Scott A.
96
1990
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
96
2006
The complexity of stochastic games. Zbl 0756.90103
Condon, Anne
87
1992
Bisimulation for labelled Markov processes. Zbl 1096.68103
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
85
2002
Boosting a weak learning algorithm by majority. Zbl 0833.68109
Freund, Yoav
84
1995
Searching in the plane. Zbl 0781.68044
Baeza-Yates, Ricardo A.; Culberson, Joseph C.; Rawlins, Gregory J. E.
82
1993
Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042
van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard
82
1995
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
80
1992
Nominal logic, a first order theory of names and binding. Zbl 1056.03014
Pitts, Andrew M.
78
2003
A syntactic approach to type soundness. Zbl 0938.68559
Wright, Andrew K.; Felleisen, Matthias
75
1994
The vertex separation and search number of a graph. Zbl 0942.68641
Ellis, J. A.; Sudborough, I. H.; Turner, J. S.
74
1994
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
69
1995
Resolution for quantified Boolean formulas. Zbl 0828.68045
Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas
64
1995
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
63
1988
Knowledge and common knowledge in a Byzantine environment: Crash failures. Zbl 0705.68019
Dwork, Cynthia; Moses, Yoram
63
1990
Bisimulation from open maps. Zbl 0856.68067
Joyal, André; Nielsen, Mogens; Winskel, Glynn
61
1996
A general lower bound on the number of examples needed for learning. Zbl 0679.68158
Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie
61
1989
Complexity of generalized satisfiability counting problems. Zbl 0853.68110
Creignou, Nadia; Hermann, Miki
60
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
60
2005
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
60
1990
Almost perfect nonlinear power functions on \(\mathrm{GF}(2^n)\): the Niho case. Zbl 1072.94513
Dobbertin, Hans
59
1999
A process algebra for timed systems. Zbl 0826.68068
Hennessy, Matthew; Regan, Tim
58
1995
Light linear logic. Zbl 0912.03025
Girard, Jean-Yves
57
1998
Full abstraction in the lazy lambda calculus. Zbl 0779.03003
Abramsky, Samson; Ong, C.-H. Luke
57
1993
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
56
1993
Dynamical systems, measures, and fractals via domain theory. Zbl 0834.58029
Edalat, Abbas
56
1995
The multi-tree approach to reliability in distributed networks. Zbl 0655.68029
Itai, Alon; Rodeh, Michael
56
1988
Verifying programs with unreliable channels. Zbl 0856.68096
Abdulla, Parosh Aziz; Jonsson, Bengt
55
1996
More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems. Zbl 0776.68016
Chaudhuri, Soma
54
1993
Pushdown processes: Games and model-checking. Zbl 1003.68072
Walukiewicz, Igor
53
2001
Prudence and other conditions on formal language learning. Zbl 0698.68072
Fulk, Mark A.
53
1990
Probabilistic logic programming. Zbl 0781.68038
Ng, Raymond; Subrahmanian, V. S.
53
1992
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
52
1989
A 1.488 approximation algorithm for the uncapacitated facility location problem. Zbl 1281.68236
Li, Shi
52
2013
A domain equation for bisimulation. Zbl 0718.68057
Abramsky, Samson
50
1991
Structural induction and coinduction in a fibrational setting. Zbl 0941.18006
Hermida, Claudio; Jacobs, Bart
49
1998
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
47
1989
Simple consequence relations. Zbl 0733.03007
Avron, Arnon
47
1991
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
46
1994
Approximation hardness of dominating set problems in bounded degree graphs. Zbl 1169.68037
Chlebík, M.; Chlebíková, J.
46
2008
Categories of partial maps. Zbl 0656.18001
Robinson, E.; Rosolini, G.
46
1988
Logic programming in a fragment of intuitionistic linear logic. Zbl 0807.68016
Hodas, Joshua S.; Miller, Dale
45
1994
Proving congruence of bisimulation in functional programming languages. Zbl 0853.68073
Howe, Douglas J.
45
1996
Predicting \(\{ 0,1\}\)-functions on randomly drawn points. Zbl 0938.68785
Haussler, D.; Littlestone, N.; Warmuth, M. K.
44
1994
Visual cryptography for general access structures. Zbl 1096.94522
Ateniese, Giuseppe; Blundo, Carlo; De Santis, Alfredo; Stinson, Douglas R.
44
1996
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
43
1992
Kolmogorov complexity and Hausdorff dimension. Zbl 0789.68076
Staiger, Ludwig
43
1993
Inference of finite automata using homing sequences. Zbl 0786.68082
Rivest, Ronald L.; Schapire, Robert E.
43
1993
Treewidth computations. I: Upper bounds. Zbl 1186.68328
Bodlaender, Hans L.; Koster, Arie M. C. A.
43
2010
Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060
Takahashi, Masako
42
1995
Bisimulation for higher-order process calculi. Zbl 0876.68042
Sangiorgi, Davide
42
1996
Follow automata. Zbl 1059.68063
Ilie, Lucian; Yu, Sheng
42
2003
Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. Zbl 1046.68628
Walukiewicz, Igor
41
2000
Resource access control in systems of mobile agents. Zbl 1009.68081
Hennessy, Matthew; Riely, James
41
2002
Exponentiated gradient versus gradient descent for linear predictors. Zbl 0872.68158
Kivinen, Jyrki; Warmuth, Manfred K.
41
1997
Complexity of identification and dualization of positive Boolean functions. Zbl 1096.68633
Bioch, Jan C.; Ibaraki, Toshihide
41
1995
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth. Zbl 1327.68126
Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper
40
2015
An essay in combinatory dynamic logic. Zbl 0732.03021
Passy, Solomon; Tinchev, Tinko
40
1991
Descriptional and computational complexity of finite automata – a survey. Zbl 1217.68130
Holzer, Markus; Kutrib, Martin
39
2011
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
39
2003
Boolean grammars. Zbl 1073.68037
Okhotin, Alexander
39
2004
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
39
2010
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
38
1995
Computability of probability measures and Martin-Löf randomness over metric spaces. Zbl 1167.68023
Hoyrup, Mathieu; Rojas, Cristóbal
38
2009
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
37
1994
Process rewrite systems. Zbl 1046.68566
Mayr, Richard
37
2000
Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567
Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen
37
2000
Contextual insertions/deletions and computability. Zbl 0872.68038
Kari, Lila; Thierrin, Gabriel
37
1996
On chromatic sums and distributed resource allocation. Zbl 0895.68022
Bar-Noy, Amotz; Bellare, Mihir; Halldórsson, Magnús M.; Shachnai, Hadas; Tamir, Tami
37
1998
Relational properties of domains. Zbl 0868.68037
Pitts, Andrew M.
37
1996
A semantics of multiple inheritance. Zbl 0651.68017
Cardelli, Luca
37
1988
Faster optimal parallel prefix sums and list ranking. Zbl 0684.68048
Cole, Richard; Vishkin, Uzi
37
1989
On the role of procrastination in machine learning. Zbl 0794.68127
Freivalds, Rūsiņš; Smith, Carl H.
36
1993
Incremental concept learning for bounded data mining. Zbl 1045.68572
Case, John; Jain, Sanjay; Lange, Steffen; Zeugmann, Thomas
36
1999
Growing context-sensitive languages and Church-Rosser languages. Zbl 0894.68093
Buntrock, Gerhard; Otto, Friedrich
36
1998
Polymorphic type inference and containment. Zbl 0656.68023
Mitchell, John C.
36
1988
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.
35
1996
Distinguishing string selection problems. Zbl 1069.68116
Lanctot, J. Kevin; Li, Ming; Ma, Bin; Wang, Shaojiu; Zhang, Louxin
35
2003
A spatial logic for concurrency. I. Zbl 1068.03022
Caires, Luís; Cardelli, Luca
35
2003
Unbounded-error quantum computation with small space bounds. Zbl 1221.68092
Yakaryılmaz, Abuzer; Say, A. C. Cem
35
2011
The emptiness problem for valence automata over graph monoids. Zbl 07332810
Zetzsche, Georg
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
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.
3
2020
The link-calculus for open multiparty interactions. Zbl 07285753
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
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
2
2020
Dynamic programming optimization in line of sight networks. Zbl 1436.68258
Sangha, Pavan; Wong, Prudence W. H.; Zito, Michele
1
2020
Indexing weighted sequences: neat and efficient. Zbl 1436.68082
Barton, Carl; Kociumaka, Tomasz; Liu, Chang; Pissis, Solon P.; Radoszewski, Jakub
1
2020
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
1
2020
Presynthesis of bounded choice-free or fork-attribution nets. Zbl 1455.68130
Wimmel, Harro
1
2020
Polylog depth, highness and lowness for E. Zbl 1441.68112
Moser, Philippe
1
2020
Streaming \(k\)-mismatch with error correcting and applications. Zbl 1435.68402
Radoszewski, Jakub; Starikovskaya, Tatiana
1
2020
Minimum fill-in: inapproximability and almost tight lower bounds. Zbl 1435.68111
Cao, Yixin; Sandeep, R. B.
1
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
1
2020
Arrow update synthesis. Zbl 07285750
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B.
1
2020
Computational fuzzy extractors. Zbl 07285759
Fuller, Benjamin; Meng, Xianrui; Reyzin, Leonid
1
2020
Online recognition of dictionary with one gap. Zbl 07285772
Amir, Amihood; Levy, Avivit; Porat, Ely; Riva Shalom, B.
1
2020
A parametric framework for reversible \(\pi\)-calculi. Zbl 07285774
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
1
2020
Model checking interval temporal logics with regular expressions. Zbl 1443.68102
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2020
Robust worst cases for parity games algorithms. Zbl 1443.68067
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
1
2020
Constant delay traversal of grammar-compressed graphs with bounded rank. Zbl 1446.68044
Maneth, Sebastian; Peternek, Fabian
1
2020
Complexity of the dynamics of reaction systems. Zbl 1422.68069
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Porreca, Antonio E.
6
2019
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161
Castiglioni, Valentina; Tini, Simone
3
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
3
2019
Limited automata and unary languages. Zbl 1427.68153
Pighizzini, Giovanni; Prigioniero, Luca
2
2019
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
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
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
Weighted automata with storage. Zbl 1435.68164
Herrmann, Luisa; Vogler, Heiko; Droste, Manfred
1
2019
On-line weighted pattern matching. Zbl 1421.68254
Charalampopoulos, Panagiotis; Iliopoulos, Costas S.; Pissis, Solon P.; Radoszewski, Jakub
1
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.
1
2019
Finding maximal 2-dimensional palindromes. Zbl 07050009
Geizhals, Sara H.; Sokol, Dina
1
2019
Some lower bounds in parameterized \(\mathrm{AC}^{0}\). Zbl 1423.68196
Chen, Yijia; Flum, Jörg
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
A mesh of automata. Zbl 1430.68140
Broda, Sabine; Holzer, Markus; Maia, Eva; Moreira, Nelma; Reis, Rogério
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
Graded modalities in strategy logic. Zbl 1395.68254
Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
8
2018
Reasoning about graded strategy quantifiers. Zbl 1390.68612
Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
4
2018
Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255
Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello
4
2018
A semantic theory of the Internet of things. Zbl 1388.68013
Lanotte, Ruggero; Merro, Massimo
3
2018
Descriptional complexity of limited automata. Zbl 1390.68404
Kutrib, Martin; Pighizzini, Giovanni; Wendlandt, Matthias
3
2018
Alignment-free sequence comparison using absent words. Zbl 1400.68264
Charalampopoulos, Panagiotis; Crochemore, Maxime; Fici, Gabriele; Mercaş, Robert; Pissis, Solon P.
3
2018
Handling infinitely branching well-structured transition systems. Zbl 1383.68054
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
3
2018
On the compressibility of finite languages and formal proofs. Zbl 1390.68389
Eberhard, Sebastian; Hetzl, Stefan
2
2018
On the complexity and decidability of some problems involving shuffle. Zbl 1390.68392
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
2
2018
On the descriptional complexity of stateless deterministic ordered restarting automata. Zbl 1390.68412
Otto, Friedrich; Kwee, Kent
2
2018
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus. Zbl 1390.68462
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio
2
2018
Model checking for fragments of Halpern and Shoham’s interval temporal logic based on track representatives. Zbl 1390.68436
Molinari, Alberto; Montanari, Angelo; Peron, Adriano
2
2018
CTL\(^\ast\) with graded path modalities. Zbl 1407.03028
Aminof, Benjamin; Murano, Aniello; Rubin, Sasha
2
2018
Understanding cutting planes for QBFs. Zbl 06944937
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil
2
2018
Characterizing the computational power of mobile robots on graphs and implications for the Euclidean plane. Zbl 1407.68531
D’Emidio, Mattia; Di Stefano, Gabriele; Frigioni, Daniele; Navarra, Alfredo
2
2018
On \(k\)-abelian palindromes. Zbl 1393.68138
Cassaigne, Julien; Karhumäki, Juhani; Puzynina, Svetlana
2
2018
From Jinja bytecode to term rewriting: a complexity reflecting transformation. Zbl 1395.68160
Moser, Georg; Schaper, Michael
2
2018
Linear-time list recovery of high-rate expander codes. Zbl 1403.94106
Hemenway, Brett; Wootters, Mary
2
2018
2-vertex connectivity in directed graphs. Zbl 1395.68209
Georgiadis, Loukas; Italiano, Giuseppe F.; Laura, Luigi; Parotsidis, Nikos
2
2018
Imperfect information in reactive modules games. Zbl 1395.68188
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
2
2018
Extending finite-memory determinacy to multi-player games. Zbl 1396.91045
Le Roux, Stéphane; Pauly, Arno
2
2018
Distinguishing between communicating transactions. Zbl 1388.68198
Koutavas, Vasileios; Gazda, Maciej; Hennessy, Matthew
1
2018
Improved bounds for randomized preemptive online matching. Zbl 1388.68314
Epstein, Leah; Levin, Asaf; Segev, Danny; Weimann, Oren
1
2018
Holographic algorithms beyond matchgates. Zbl 1390.68338
Cai, Jin-Yi; Guo, Heng; Williams, Tyson
1
2018
Complexity classification of the six-vertex model. Zbl 1388.68107
Cai, Jin-Yi; Fu, Zhiguo; Xia, Mingji
1
2018
Abstract model repair for probabilistic systems. Zbl 1388.68185
Chatzieleftheriou, G.; Katsaros, P.
1
2018
Automata for regular expressions with shuffle. Zbl 1390.68378
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério
1
2018
Inapproximability results for constrained approximate Nash equilibria. Zbl 1400.68086
Deligkas, Argyrios; Fearnley, John; Savani, Rahul
1
2018
Best of two local models: centralized local and distributed local algorithms. Zbl 1401.68356
Even, Guy; Medina, Moti; Ron, Dana
1
2018
Equivalences between learning of data and probability distributions, and their applications. Zbl 1401.68130
Barmpalias, George; Fang, Nan; Stephan, Frank
1
2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Zbl 1400.68121
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2018
Improved time bounds for linearizable implementations of abstract data types. Zbl 1407.68313
Wang, Jiaqi; Talmage, Edward; Lee, Hyunyoung; Welch, Jennifer L.
1
2018
The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104
Fujita, Ken-etsu
1
2018
Accepting runs in a two-way finite automaton. Zbl 1390.68397
Ibarra, Oscar H.; Dang, Zhe; Li, Qin
1
2018
Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses. Zbl 1390.68371
Alzetta, Giacomo; Marin, Andrea; Piazza, Carla; Rossi, Sabina
1
2018
A partial solution to an open problem of Amadio and Curien. Zbl 1391.68074
Xi, Xiaoyong; Yang, Jinbo; Kou, Hui
1
2018
Comparator circuits over finite bounded posets. Zbl 1394.68155
Komarath, Balagopal; Sarma, Jayalal; Sunil, K. S.
1
2018
Proofs of proximity for context-free languages and read-once branching programs. Zbl 1395.68169
Goldreich, Oded; Gur, Tom; Rothblum, Ron D.
1
2018
Dynamic algorithms via the primal-dual method. Zbl 1395.90209
Bhattacharya, Sayan; Henzinger, Monika; Italiano, Giuseppe
1
2018
Block interpolation: a framework for tight exponential-time counting complexity. Zbl 1394.68158
Curticapean, Radu
1
2018
Local reduction. Zbl 1394.68184
Jahanjou, Hamidreza; Miles, Eric; Viola, Emanuele
1
2018
Short proofs of the Kneser-Lovász coloring principle. Zbl 1443.03040
Aisenberg, James; Bonet, Maria Luisa; Buss, Sam; Crăciun, Adrian; Istrate, Gabriel
1
2018
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
1
2018
Simulating cardinal preferences in Boolean games: a proof technique. Zbl 1395.68256
Ianovski, Egor; Ong, Luke
1
2018
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
1
2018
Session types revisited. Zbl 1376.68099
Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide
10
2017
Gathering of oblivious robots on infinite grids with minimum traveled distance. Zbl 1370.68286
Di Stefano, Gabriele; Navarra, Alfredo
9
2017
Exact algorithms for maximum independent set. Zbl 1371.68126
Xiao, Mingyu; Nagamochi, Hiroshi
9
2017
Undecidability of asynchronous session subtyping. Zbl 1376.68098
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
8
2017
Unit interval editing is fixed-parameter tractable. Zbl 1359.68230
Cao, Yixin
7
2017
Parametric linear dynamic logic. Zbl 1362.68169
Faymonville, Peter; Zimmermann, Martin
7
2017
Online algorithms with advice: the tape model. Zbl 1370.68334
Böckenhauer, Hans-Joachim; Komm, Dennis; Královič, Rastislav; Královič, Richard; Mömke, Tobias
7
2017
A decomposition theorem and two algorithms for reticulation-visible networks. Zbl 1361.92053
Gunawan, Andreas D. M.; DasGupta, Bhaskar; Zhang, Louxin
7
2017
An efficient time-free solution to QSAT problem using P systems with proteins on membranes. Zbl 1376.68041
Song, Bosheng; Pérez-Jiménez, Mario J.; Pan, Linqiang
7
2017
Space proof complexity for random 3-CNFs. Zbl 1423.03242
Bennett, Patrick; Bonacina, Ilario; Galesi, Nicola; Huynh, Tony; Molloy, Mike; Wollan, Paul
7
2017
Complexity of validity for propositional dependence logics. Zbl 1362.68114
Virtema, Jonni
6
2017
Characterisation of the state spaces of marked graph Petri nets. Zbl 1409.68183
Best, Eike; Devillers, Raymond
6
2017
First-cycle games. Zbl 1371.91019
Aminof, Benjamin; Rubin, Sasha
6
2017
Deeper local search for parameterized and approximation algorithms for maximum internal spanning tree. Zbl 1357.68296
Li, Wenjun; Cao, Yixin; Chen, Jianer; Wang, Jianxin
6
2017
Diagonally non-computable functions and fireworks. Zbl 1423.03141
Bienvenu, Laurent; Patey, Ludovic
5
2017
Mutual visibility by luminous robots without collisions. Zbl 1370.68285
Di Luna, G. A.; Flocchini, P.; Chaudhuri, S. Gan; Poloni, F.; Santoro, N.; Viglietta, G.
5
2017
Zero knowledge and circuit minimization. Zbl 1376.68056
Allender, Eric; Das, Bireswar
5
2017
Reaching approximate Byzantine consensus with multi-hop communication. Zbl 1371.68029
Su, Lili; Vaidya, Nitin H.
5
2017
Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
4
2017
Picture codes and deciphering delay. Zbl 1368.68229
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria
4
2017
...and 1395 more Documents
all top 5

Cited by 12,830 Authors

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

Cited in 509 Journals

2,351 Theoretical Computer Science
1,032 Information and Computation
448 Journal of Computer and System Sciences
411 Information Processing Letters
295 Discrete Applied Mathematics
280 MSCS. Mathematical Structures in Computer Science
251 Algorithmica
223 International Journal of Foundations of Computer Science
218 Annals of Pure and Applied Logic
206 Theory of Computing Systems
176 Acta Informatica
176 Artificial Intelligence
171 Formal Aspects of Computing
159 Logical Methods in Computer Science
154 Journal of Automated Reasoning
147 Journal of Logical and Algebraic Methods in Programming
144 The Journal of Logic and Algebraic Programming
141 Distributed Computing
126 Formal Methods in System Design
100 Annals of Mathematics and Artificial Intelligence
88 SIAM Journal on Computing
86 The Journal of Symbolic Logic
86 Journal of Functional Programming
75 RAIRO. Theoretical Informatics and Applications
71 Computational Complexity
68 Information Sciences
68 Journal of Symbolic Computation
65 Studia Logica
60 Journal of Combinatorial Optimization
58 Journal of Discrete Algorithms
58 Journal of Applied Logic
55 Journal of Applied Non-Classical Logics
55 ACM Transactions on Computational Logic
53 International Journal of Approximate Reasoning
51 Theory and Practice of Logic Programming
48 Discrete Mathematics
45 Science of Computer Programming
45 Designs, Codes and Cryptography
45 The Bulletin of Symbolic Logic
44 Machine Learning
44 International Journal of Algebra and Computation
43 SIAM Journal on Discrete Mathematics
41 Mathematical Systems Theory
38 International Journal of Computer Mathematics
36 Synthese
36 RAIRO. Informatique Théorique et Applications
34 Journal of Philosophical Logic
33 Archive for Mathematical Logic
32 RAIRO. Theoretical Informatics and Applications
30 Journal of Logic, Language and Information
29 Fuzzy Sets and Systems
28 Journal of Computer Science and Technology
28 European Journal of Operational Research
27 Computational Geometry
26 Applicable Algebra in Engineering, Communication and Computing
25 Computers & Operations Research
25 Journal of Cryptology
25 Neural Computation
25 Higher-Order and Symbolic Computation
24 European Journal of Combinatorics
24 Journal of Complexity
23 Journal of Pure and Applied Algebra
23 Discrete Event Dynamic Systems
22 Discrete & Computational Geometry
22 Finite Fields and their Applications
21 Notre Dame Journal of Formal Logic
21 Computer Science Review
20 Automatica
20 Cryptography and Communications
19 Topology and its Applications
19 Real-Time Systems
19 Random Structures & Algorithms
19 Mathematical Logic Quarterly (MLQ)
19 Computer Languages, Systems & Structures
19 Algorithms
18 Pattern Recognition
18 Mathematical Programming. Series A. Series B
18 Applied Categorical Structures
18 Journal of the ACM
17 Operations Research Letters
17 Natural Computing
16 Mathematics of Computation
16 The Annals of Statistics
16 Journal of Algebra
16 Games and Economic Behavior
15 New Generation Computing
15 Annals of Operations Research
15 Combinatorics, Probability and Computing
15 Soft Computing
15 Journal of Scheduling
14 Algebra Universalis
14 Combinatorica
14 Linear Algebra and its Applications
14 Discrete Optimization
13 BIT
13 Mathematics of Operations Research
13 Programming and Computer Software
13 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
13 International Journal of Computational Geometry & Applications
13 Discrete Mathematics, Algorithms and Applications
...and 409 more Journals
all top 5

Cited in 57 Fields

10,930 Computer science (68-XX)
2,959 Mathematical logic and foundations (03-XX)
1,212 Combinatorics (05-XX)
614 Information and communication theory, circuits (94-XX)
596 Operations research, mathematical programming (90-XX)
493 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
426 Category theory; homological algebra (18-XX)
262 Order, lattices, ordered algebraic structures (06-XX)
234 Probability theory and stochastic processes (60-XX)
223 Number theory (11-XX)
195 Group theory and generalizations (20-XX)
187 Statistics (62-XX)
180 Biology and other natural sciences (92-XX)
152 Quantum theory (81-XX)
150 Systems theory; control (93-XX)
135 Numerical analysis (65-XX)
100 General algebraic systems (08-XX)
85 Dynamical systems and ergodic theory (37-XX)
69 General topology (54-XX)
66 Measure and integration (28-XX)
66 Convex and discrete geometry (52-XX)
53 Commutative algebra (13-XX)
50 Linear and multilinear algebra; matrix theory (15-XX)
46 Statistical mechanics, structure of matter (82-XX)
42 Field theory and polynomials (12-XX)
42 Algebraic geometry (14-XX)
39 Associative rings and algebras (16-XX)
30 History and biography (01-XX)
22 Geometry (51-XX)
22 Manifolds and cell complexes (57-XX)
20 General and overarching topics; collections (00-XX)
19 Functional analysis (46-XX)
18 Real functions (26-XX)
16 Algebraic topology (55-XX)
15 Operator theory (47-XX)
12 Approximations and expansions (41-XX)
7 Functions of a complex variable (30-XX)
7 Global analysis, analysis on manifolds (58-XX)
6 Ordinary differential equations (34-XX)
5 Partial differential equations (35-XX)
5 Harmonic analysis on Euclidean spaces (42-XX)
4 Difference and functional equations (39-XX)
4 Calculus of variations and optimal control; optimization (49-XX)
4 Differential geometry (53-XX)
4 Mechanics of particles and systems (70-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)
3 Mathematics education (97-XX)
2 Nonassociative rings and algebras (17-XX)
2 Integral equations (45-XX)
1 Abstract harmonic analysis (43-XX)
1 Integral transforms, operational calculus (44-XX)
1 Mechanics of deformable solids (74-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year