×
Author ID: angluin.dana Recent zbMATH articles by "Angluin, Dana"
Published as: Angluin, Dana; Angluin, D.
all top 5

Co-Authors

16 single-authored
22 Aspnes, James
11 Fisman, Dana
10 Chen, Jiang
10 Eisenstat, David
9 Reyzin, Lev
4 Antonopoulos, Timos
3 Becerra-Bonache, Leonor
3 Fischer, Michael J.
3 Kontorovich, Leonid Aryeh
2 Barbosa Vargas, Raonne
2 Boker, Udi
2 Diamadi, Zoë
2 Dohrn, Tyler
2 Kriķis, Mārtiņš
2 Westbrook, Jeffery R.
2 Wu, Yinghua
2 Zhu, Wenhong
1 Bazzi, Rida A.
1 Bloniarz, Peter A.
1 Borodin, Allan B.
1 Brent, Richard Peirce
1 Brown, Donna J.
1 Budd, Timothy Alan
1 Carlson, David A.
1 Chazelle, Bernard
1 Chen, Dongqu
1 Cook, Stephen Arthur
1 Cypher, A.
1 Dediu, Adrian Horia
1 DeMillo, Richard Allan
1 Dobkin, David P.
1 Ehrig, Hartmut
1 Eisenstat, Sarah
1 Fagin, Ronald
1 Filotti, I. S.
1 Frazier, Michael W.
1 Frederickson, Greg N.
1 Gardiner, Anthony D.
1 Gasarch, William Ian
1 George, Nevin
1 Guibas, Leonidas John
1 Heintz, Joos
1 Hellerstein, Lisa
1 Hoffmann, Christoph M.
1 Hong, Jiawei
1 Hoover, Douglas N.
1 Ibarra, Oscar H.
1 Ja’Ja’, Joseph F.
1 Johnson, Donald B.
1 Joseph, Deborah
1 Kannan, Ravindran
1 Karp, Richard Manning
1 Karpinski, Marek
1 Kharitonov, Michael
1 Konjevod, Goran
1 Kung, H. T.
1 Leininger, Brian S.
1 Lichtenstein, David
1 Lipton, Richard Jay
1 Lloyd, Errol L.
1 Lynch, Nancy Ann
1 Mahr, Bernd
1 Mayer, Jack N.
1 Meyer, Albert Ronald
1 Miller, Gary Lee
1 Miller, Raymond E.
1 Mirkowska, Grazyna
1 Overmars, Mark H.
1 Parikh, Rohit
1 Paterson, Mike S.
1 Paul, Wolfgang Jakob
1 Peralta, René C.
1 Pippenger, Nicholas J.
1 Pitt, Leonard
1 Plaisted, David Alan
1 Pratt, Vaughan R.
1 Reif, John H.
1 Reingold, Edward Martin
1 Ruppert, Eric
1 Sadri, Fereidoon
1 Savage, John E.
1 Schnorr, Claus Peter
1 Seiferas, Joel I.
1 Shoval, Yaara
1 Simon, Janos
1 Sloan, Robert H.
1 Slonim, Donna K.
1 Smith, Carl H.
1 Spirakis, Paul G.
1 Storer, James A.
1 Strong, H. Raymond
1 Supowit, Kenneth J.
1 Tarjan, Robert Endre
1 Tompa, Martin
1 Toueg, Sam
1 Turán, Gyorgy
1 Ukkonen, Esko
1 Ullman, Jeffrey David
1 Valiant, Leslie Gabriel
1 Van Leeuwen, Jan
...and 3 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 2,091 times in 1,342 Documents Cited by Year
Learning regular sets from queries and counterexamples. Zbl 0636.68112
Angluin, Dana
279
1987
Queries and concept learning. Zbl 1470.68050
Angluin, Dana
231
1988
Inductive inference of formal languages from positive data. Zbl 0459.68051
Angluin, Dana
197
1980
Computation in networks of passively mobile finite-state sensors. Zbl 1266.68042
Angluin, Dana; Aspnes, James; Diamadi, Zoë; Fischer, Michael J.
153
2006
Fast probabilistic algorithms for Hamiltonian circuits and matchings. Zbl 0437.05040
Angluin, D.; Valiant, L. G.
146
1979
Finding patterns common to a set of strings. Zbl 0454.68108
Angluin, Dana
141
1980
Inference of reversible languages. Zbl 0485.68066
Angluin, Dana
108
1982
The computational power of population protocols. Zbl 1266.68043
Angluin, Dana; Aspnes, James; Eisenstat, David; Ruppert, Eric
89
2007
Learning conjunctions of Horn clauses. Zbl 0766.68107
Angluin, Dana; Frazier, Michael; Pitt, Leonard
54
1992
Learning read-once formulas with queries. Zbl 0764.68139
Angluin, Dana; Hellerstein, Lisa; Karpinski, Marek
52
1993
Fast computation by population protocols with a leader. Zbl 1267.68306
Angluin, Dana; Aspnes, James; Eisenstat, David
52
2008
Learning from different teachers. Zbl 1027.68106
Angluin, Dana; Kriķis, Mārtiņš
51
2003
Stably computable predicates are semilinear. Zbl 1314.68054
Angluin, Dana; Aspnes, James; Eisenstat, David
48
2006
A simple population protocol for fast robust approximate majority. Zbl 1267.68055
Angluin, Dana; Aspnes, James; Eisenstat, David
47
2008
Computation in networks of passively mobile finite-state sensors. Zbl 1321.68058
Angluin, Dana; Aspnes, James; Diamadi, Zoë; Fischer, Michael J.; Peralta, René
43
2004
When won’t membership queries help? Zbl 0827.68039
Angluin, Dana; Kharitonov, Michael
42
1995
On the complexity of minimum inference of regular sets. Zbl 0393.68066
Angluin, Dana
34
1978
Finite common coverings of pairs of regular graphs. Zbl 0426.05044
Angluin, Dana; Gardiner, A.
24
1981
A note on the number of queries needed to identify regular languages. Zbl 0504.68050
Angluin, Dana
23
1981
Queries revisited. Zbl 1069.68086
Angluin, Dana
22
2004
On counting problems and the polynomial-time hierarchy. Zbl 0499.68020
Angluin, Dana
21
1980
Learning a hidden graph using \(O(\log n)\)queries per edge. Zbl 1147.68033
Angluin, Dana; Chen, Jiang
19
2008
Learning regular omega languages. Zbl 1362.68118
Angluin, Dana; Fisman, Dana
19
2016
Fast computation by population protocols with a leader. Zbl 1155.68389
Angluin, Dana; Aspnes, James; Eisenstat, David
17
2007
Learning a hidden hypergraph. Zbl 1222.68091
Angluin, Dana; Chen, Jiang
15
2006
Learning regular omega languages. Zbl 1353.68149
Angluin, Dana; Fisman, Dana
13
2014
Randomly fallible teachers: Learning monotone DNF with an incomplete membership oracle. Zbl 0942.68666
Angluin, Dana; Slonim, Donna K.
11
1994
Malicious omissions and errors in answers to membership queries. Zbl 0881.68094
Angluin, Dana; Kriķis, Mārtiņš; Sloan, Robert H.; Turán, György
10
1997
Inferring social networks from outbreaks. Zbl 1306.68125
Angluin, Dana; Aspnes, James; Reyzin, Lev
9
2010
Queries revisited. Zbl 1050.68570
Angluin, Dana
8
2001
On relativizing auxiliary pushdown machines. Zbl 0426.68023
Angluin, Dana
7
1980
Training sequences. Zbl 0734.68080
Angluin, Dana; Gasarch, William I.; Smith, Carl H.
7
1989
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68291
Angluin, Dana; Boker, Udi; Fisman, Dana
7
2018
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68292
Angluin, Dana; Boker, Udi; Fisman, Dana
7
2016
Equivalence queries and approximate fingerprints. Zbl 0760.68058
Angluin, Dana
6
1989
The VC dimension of \(k\)-fold union. Zbl 1185.68373
Eisenstat, David; Angluin, Dana
6
2007
Learning a hidden graph using \(O(\log n)\) queries per edge. Zbl 1078.68643
Angluin, Dana; Chen, Jiang
5
2004
A simple population protocol for fast robust approximate majority. Zbl 1145.68341
Angluin, Dana; Aspnes, James; Eisenstat, David
5
2007
Strongly unambiguous Büchi automata are polynomially predictable with membership queries. Zbl 07650821
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
5
2020
Lower bounds on learning random structures with statistical queries. Zbl 1306.68047
Angluin, Dana; Eisenstat, David; Kontorovich, Leonid (Aryeh); Reyzin, Lev
5
2010
Learning meaning before syntax. Zbl 1177.68105
Angluin, Dana; Becerra-Bonache, Leonor
4
2008
Network construction with subgraph connectivity constraints. Zbl 1316.90055
Angluin, Dana; Aspnes, James; Reyzin, Lev
4
2015
Regular prefix relations. Zbl 0627.68066
Angluin, Dana; Hoover, Douglas N.
4
1984
Robot navigation with range queries. Zbl 0925.93673
Angluin, Dana; Westbrook, Jeffery; Zhu, Wenhong
3
1996
Robot localization in a grid. Zbl 0996.68242
Wongngamnit, C.; Angluin, D.
3
2001
Regular \(\omega\)-languages with an informative right congruence. Zbl 1497.68247
Angluin, Dana; Fisman, Dana
3
2021
Learning a circuit by injecting values. Zbl 1301.68213
Angluin, Dana; Aspnes, James; Chen, Jiang; Wu, Yinghua
3
2006
A note on a construction of Margulis. Zbl 0398.94041
Angluin, Dana
2
1979
Optimally learning social networks with activations and suppressions. Zbl 1156.68408
Angluin, Dana; Aspnes, James; Reyzin, Lev
2
2008
Learning large-alphabet and analog circuits with value injection queries. Zbl 1470.68051
Angluin, Dana; Aspnes, James; Chen, Jiang; Reyzin, Lev
2
2008
Learning large-alphabet and analog circuits with value injection queries. Zbl 1203.68060
Angluin, Dana; Aspnes, James; Chen, Jiang; Reyzin, Lev
2
2007
Polynomial identification of \(\omega \)-automata. Zbl 1483.68153
Angluin, Dana; Fisman, Dana; Shoval, Yaara
2
2020
Learning acyclic probabilistic circuits using test paths. Zbl 1235.68126
Angluin, Dana; Aspnes, James; Chen, Jiang; Eisenstat, David; Reyzin, Lev
2
2009
Learning a random DFA from uniform strings and state information. Zbl 1471.68099
Angluin, Dana; Chen, Dongqu
2
2015
How to prove it. Zbl 0504.00051
Angluin, Dana
2
1983
Learning finite automata using label queries. Zbl 1262.68058
Angluin, Dana; Becerra-Bonache, Leonor; Dediu, Adrian Horia; Reyzin, Lev
2
2009
Learning a hidden hypergraph. Zbl 1137.68515
Angluin, Dana; Chen, Jiang
1
2005
Robot navigation with distance queries. Zbl 0959.68119
Angluin, Dana; Westbrook, Jeffery; Zhu, Wenhong
1
2000
Learning a circuit by injecting values. Zbl 1158.68439
Angluin, Dana; Aspnes, James; Chen, Jiang; Wu, Yinghua
1
2009
Regular \(\omega\)-languages with an informative right congruence. Zbl 1528.68169
Angluin, Dana; Fisman, Dana
1
2018
Query learning of derived \(\omega\)-tree languages in polynomial time. Zbl 1434.68211
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
1
2017
On the learnability of shuffle ideals. Zbl 1317.68083
Angluin, Dana; Aspnes, James; Eisenstat, Sarah; Kontorovich, Aryeh
1
2013
The power of random counterexamples. Zbl 1403.68090
Angluin, Dana; Dohrn, Tyler
1
2017
Mutation systems. Zbl 1330.68064
Angluin, Dana; Aspnes, James; Barbosa Vargas, Raonne
1
2011
Two notions of correctness and their relation to testing. Zbl 0478.68014
Budd, Timothy A.; Angluin, Dana
1
1982
Optimally learning social networks with activations and suppressions. Zbl 1190.91130
Angluin, Dana; Aspnes, James; Reyzin, Lev
1
2010
Query learning of derived \(\omega\)-tree languages in polynomial time. Zbl 1434.68210
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
1
2019
Regular \(\omega\)-languages with an informative right congruence. Zbl 1497.68247
Angluin, Dana; Fisman, Dana
3
2021
Strongly unambiguous Büchi automata are polynomially predictable with membership queries. Zbl 07650821
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
5
2020
Polynomial identification of \(\omega \)-automata. Zbl 1483.68153
Angluin, Dana; Fisman, Dana; Shoval, Yaara
2
2020
Query learning of derived \(\omega\)-tree languages in polynomial time. Zbl 1434.68210
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
1
2019
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68291
Angluin, Dana; Boker, Udi; Fisman, Dana
7
2018
Regular \(\omega\)-languages with an informative right congruence. Zbl 1528.68169
Angluin, Dana; Fisman, Dana
1
2018
Query learning of derived \(\omega\)-tree languages in polynomial time. Zbl 1434.68211
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
1
2017
The power of random counterexamples. Zbl 1403.68090
Angluin, Dana; Dohrn, Tyler
1
2017
Learning regular omega languages. Zbl 1362.68118
Angluin, Dana; Fisman, Dana
19
2016
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68292
Angluin, Dana; Boker, Udi; Fisman, Dana
7
2016
Network construction with subgraph connectivity constraints. Zbl 1316.90055
Angluin, Dana; Aspnes, James; Reyzin, Lev
4
2015
Learning a random DFA from uniform strings and state information. Zbl 1471.68099
Angluin, Dana; Chen, Dongqu
2
2015
Learning regular omega languages. Zbl 1353.68149
Angluin, Dana; Fisman, Dana
13
2014
On the learnability of shuffle ideals. Zbl 1317.68083
Angluin, Dana; Aspnes, James; Eisenstat, Sarah; Kontorovich, Aryeh
1
2013
Mutation systems. Zbl 1330.68064
Angluin, Dana; Aspnes, James; Barbosa Vargas, Raonne
1
2011
Inferring social networks from outbreaks. Zbl 1306.68125
Angluin, Dana; Aspnes, James; Reyzin, Lev
9
2010
Lower bounds on learning random structures with statistical queries. Zbl 1306.68047
Angluin, Dana; Eisenstat, David; Kontorovich, Leonid (Aryeh); Reyzin, Lev
5
2010
Optimally learning social networks with activations and suppressions. Zbl 1190.91130
Angluin, Dana; Aspnes, James; Reyzin, Lev
1
2010
Learning acyclic probabilistic circuits using test paths. Zbl 1235.68126
Angluin, Dana; Aspnes, James; Chen, Jiang; Eisenstat, David; Reyzin, Lev
2
2009
Learning finite automata using label queries. Zbl 1262.68058
Angluin, Dana; Becerra-Bonache, Leonor; Dediu, Adrian Horia; Reyzin, Lev
2
2009
Learning a circuit by injecting values. Zbl 1158.68439
Angluin, Dana; Aspnes, James; Chen, Jiang; Wu, Yinghua
1
2009
Fast computation by population protocols with a leader. Zbl 1267.68306
Angluin, Dana; Aspnes, James; Eisenstat, David
52
2008
A simple population protocol for fast robust approximate majority. Zbl 1267.68055
Angluin, Dana; Aspnes, James; Eisenstat, David
47
2008
Learning a hidden graph using \(O(\log n)\)queries per edge. Zbl 1147.68033
Angluin, Dana; Chen, Jiang
19
2008
Learning meaning before syntax. Zbl 1177.68105
Angluin, Dana; Becerra-Bonache, Leonor
4
2008
Optimally learning social networks with activations and suppressions. Zbl 1156.68408
Angluin, Dana; Aspnes, James; Reyzin, Lev
2
2008
Learning large-alphabet and analog circuits with value injection queries. Zbl 1470.68051
Angluin, Dana; Aspnes, James; Chen, Jiang; Reyzin, Lev
2
2008
The computational power of population protocols. Zbl 1266.68043
Angluin, Dana; Aspnes, James; Eisenstat, David; Ruppert, Eric
89
2007
Fast computation by population protocols with a leader. Zbl 1155.68389
Angluin, Dana; Aspnes, James; Eisenstat, David
17
2007
The VC dimension of \(k\)-fold union. Zbl 1185.68373
Eisenstat, David; Angluin, Dana
6
2007
A simple population protocol for fast robust approximate majority. Zbl 1145.68341
Angluin, Dana; Aspnes, James; Eisenstat, David
5
2007
Learning large-alphabet and analog circuits with value injection queries. Zbl 1203.68060
Angluin, Dana; Aspnes, James; Chen, Jiang; Reyzin, Lev
2
2007
Computation in networks of passively mobile finite-state sensors. Zbl 1266.68042
Angluin, Dana; Aspnes, James; Diamadi, Zoë; Fischer, Michael J.
153
2006
Stably computable predicates are semilinear. Zbl 1314.68054
Angluin, Dana; Aspnes, James; Eisenstat, David
48
2006
Learning a hidden hypergraph. Zbl 1222.68091
Angluin, Dana; Chen, Jiang
15
2006
Learning a circuit by injecting values. Zbl 1301.68213
Angluin, Dana; Aspnes, James; Chen, Jiang; Wu, Yinghua
3
2006
Learning a hidden hypergraph. Zbl 1137.68515
Angluin, Dana; Chen, Jiang
1
2005
Computation in networks of passively mobile finite-state sensors. Zbl 1321.68058
Angluin, Dana; Aspnes, James; Diamadi, Zoë; Fischer, Michael J.; Peralta, René
43
2004
Queries revisited. Zbl 1069.68086
Angluin, Dana
22
2004
Learning a hidden graph using \(O(\log n)\) queries per edge. Zbl 1078.68643
Angluin, Dana; Chen, Jiang
5
2004
Learning from different teachers. Zbl 1027.68106
Angluin, Dana; Kriķis, Mārtiņš
51
2003
Queries revisited. Zbl 1050.68570
Angluin, Dana
8
2001
Robot localization in a grid. Zbl 0996.68242
Wongngamnit, C.; Angluin, D.
3
2001
Robot navigation with distance queries. Zbl 0959.68119
Angluin, Dana; Westbrook, Jeffery; Zhu, Wenhong
1
2000
Malicious omissions and errors in answers to membership queries. Zbl 0881.68094
Angluin, Dana; Kriķis, Mārtiņš; Sloan, Robert H.; Turán, György
10
1997
Robot navigation with range queries. Zbl 0925.93673
Angluin, Dana; Westbrook, Jeffery; Zhu, Wenhong
3
1996
When won’t membership queries help? Zbl 0827.68039
Angluin, Dana; Kharitonov, Michael
42
1995
Randomly fallible teachers: Learning monotone DNF with an incomplete membership oracle. Zbl 0942.68666
Angluin, Dana; Slonim, Donna K.
11
1994
Learning read-once formulas with queries. Zbl 0764.68139
Angluin, Dana; Hellerstein, Lisa; Karpinski, Marek
52
1993
Learning conjunctions of Horn clauses. Zbl 0766.68107
Angluin, Dana; Frazier, Michael; Pitt, Leonard
54
1992
Training sequences. Zbl 0734.68080
Angluin, Dana; Gasarch, William I.; Smith, Carl H.
7
1989
Equivalence queries and approximate fingerprints. Zbl 0760.68058
Angluin, Dana
6
1989
Queries and concept learning. Zbl 1470.68050
Angluin, Dana
231
1988
Learning regular sets from queries and counterexamples. Zbl 0636.68112
Angluin, Dana
279
1987
Regular prefix relations. Zbl 0627.68066
Angluin, Dana; Hoover, Douglas N.
4
1984
How to prove it. Zbl 0504.00051
Angluin, Dana
2
1983
Inference of reversible languages. Zbl 0485.68066
Angluin, Dana
108
1982
Two notions of correctness and their relation to testing. Zbl 0478.68014
Budd, Timothy A.; Angluin, Dana
1
1982
Finite common coverings of pairs of regular graphs. Zbl 0426.05044
Angluin, Dana; Gardiner, A.
24
1981
A note on the number of queries needed to identify regular languages. Zbl 0504.68050
Angluin, Dana
23
1981
Inductive inference of formal languages from positive data. Zbl 0459.68051
Angluin, Dana
197
1980
Finding patterns common to a set of strings. Zbl 0454.68108
Angluin, Dana
141
1980
On counting problems and the polynomial-time hierarchy. Zbl 0499.68020
Angluin, Dana
21
1980
On relativizing auxiliary pushdown machines. Zbl 0426.68023
Angluin, Dana
7
1980
Fast probabilistic algorithms for Hamiltonian circuits and matchings. Zbl 0437.05040
Angluin, D.; Valiant, L. G.
146
1979
A note on a construction of Margulis. Zbl 0398.94041
Angluin, Dana
2
1979
On the complexity of minimum inference of regular sets. Zbl 0393.68066
Angluin, Dana
34
1978
all top 5

Cited by 1,729 Authors

80 Jain, Sanjay
57 Stephan, Frank
31 Case, John
30 Michail, Othon
29 Spirakis, Paul G.
27 Angluin, Dana
25 Bshouty, Nader H.
24 Kinber, Efim B.
20 Kutrib, Martin
20 Lange, Steffen
17 Esparza, Javier
17 Sharma, Arun Kumar
16 Zeugmann, Thomas
16 Zilles, Sandra
13 Kötzing, Timo
13 Reidenbach, Daniel
12 Doty, David
11 Fisman, Dana
11 Freydenberger, Dominik D.
11 Malcher, Andreas
11 Yoshinaka, Ryo
10 Aspnes, James
10 Gao, Ziyuan
9 Balcázar, José Luis
9 Fernau, Henning
9 Makino, Kazuhisa
9 Schmid, Markus L.
9 Steffen, Bernhard
8 Chatzigiannakis, Ioannis
8 Czyzowicz, Jurek
8 Frieze, Alan Michael
8 Izumi, Taisuke
8 Martin, Éric A.
8 Servedio, Rocco A.
8 Yamamoto, Akihiro
8 Yokomori, Takashi
7 Aichernig, Bernhard K.
7 Chen, Zhixiang
7 Gavaldà, Ricard
7 Gierasimczuk, Nina
7 Guijarro, David
7 Hellerstein, Lisa
7 Kontorovich, Leonid Aryeh
7 Kranakis, Evangelos Konstantinou
7 Manea, Florin
7 Masuzawa, Toshimitsu
7 Natale, Emanuele
7 Ooshita, Fukuhito
7 Raskin, Mikhail
7 Richa, Andrea Werneck
7 Soloveichik, David
6 Cardelli, Luca
6 Castro, Jorge E.
6 Flocchini, Paola
6 Garcia, Pedro
6 Gerbessiotis, Alexandros V.
6 Howar, Falk
6 Ibaraki, Toshihide
6 Leucker, Martin
6 López , Damián
6 Mäkinen, Erkki
6 Paulusma, Daniël
6 Potapov, Igor
6 Puente, Víctor Lavín
6 Reyzin, Lev
6 Sakakibara, Yasubumi
6 Salomaa, Arto Kustaa
6 Scheideler, Christian
6 Simon, Hans-Ulrich
6 Sudo, Yuichi
6 Tappler, Martin
6 Tîrnăucă, Cristina
6 Turán, Gyorgy
6 Viglietta, Giovanni
6 Yamauchi, Yukiko
5 Arias, Marta
5 Becerra-Bonache, Leonor
5 Cesa-Bianchi, Nicolò
5 Eisenstat, David
5 Emek, Yuval
5 Fiala, Jiří
5 Ganty, Pierre
5 Gmyr, Robert
5 Goldman, Sally A.
5 Haussler, David
5 Holzer, Markus
5 Jaax, Stefan
5 Jonsson, Bengt
5 Kakugawa, Hirotsugu
5 Kearns, Michael Justin
5 Ko, Ker-I
5 Köbler, Johannes
5 Lingas, Andrzej
5 Long, Philip M.
5 Lutz, Jack H.
5 Métivier, Yves
5 Moelius, Samuel E. III
5 Neider, Daniel
5 Nikoletseas, Sotiris E.
5 Păsăreanu, Corina S.
...and 1,629 more Authors
all top 5

Cited in 138 Serials

228 Theoretical Computer Science
95 Information and Computation
73 Journal of Computer and System Sciences
60 Information Processing Letters
38 Discrete Applied Mathematics
28 Artificial Intelligence
28 Distributed Computing
22 Machine Learning
19 Natural Computing
17 International Journal of Foundations of Computer Science
15 Formal Methods in System Design
14 Acta Informatica
14 Theory of Computing Systems
10 Algorithmica
9 Computational Complexity
8 Mathematical Systems Theory
8 SIAM Journal on Computing
8 Annals of Mathematics and Artificial Intelligence
8 Logical Methods in Computer Science
7 Discrete Mathematics
7 Journal of Combinatorial Theory. Series B
7 Combinatorica
7 Journal of Combinatorial Optimization
6 International Journal of Computer Mathematics
6 Pattern Recognition
6 RAIRO. Theoretical Informatics and Applications
5 Information Sciences
5 The Journal of Symbolic Logic
5 Annals of Pure and Applied Logic
5 New Generation Computing
5 RAIRO. Informatique Théorique et Applications
5 Combinatorics, Probability and Computing
4 Formal Aspects of Computing
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Neural Computation
4 Fundamenta Informaticae
4 Journal of Machine Learning Research (JMLR)
4 Journal of Logical and Algebraic Methods in Programming
3 Automatica
3 Computing
3 Journal of Graph Theory
3 Random Structures & Algorithms
3 European Journal of Operational Research
3 Mathematical Programming. Series A. Series B
3 Journal of Logic, Language and Information
3 Quantum Information Processing
3 Parallel Processing Letters
3 Discrete Mathematics, Algorithms and Applications
3 Computer Science Review
2 Applied Mathematics and Computation
2 International Journal of Computer & Information Sciences
2 Journal of Mathematical Psychology
2 Journal of Philosophical Logic
2 Journal of Soviet Mathematics
2 Studia Logica
2 Synthese
2 European Journal of Combinatorics
2 Journal of Automated Reasoning
2 International Journal of Approximate Reasoning
2 Mathematical and Computer Modelling
2 Journal of Cryptology
2 Journal of Parallel and Distributed Computing
2 Computational Geometry
2 Discrete Mathematics and Applications
2 Stochastic Processes and their Applications
2 Journal of Mathematical Sciences (New York)
2 The Electronic Journal of Combinatorics
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Optimization Letters
2 Groups, Geometry, and Dynamics
2 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 American Mathematical Monthly
1 Computers & Mathematics with Applications
1 Israel Journal of Mathematics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Moscow University Mathematics Bulletin
1 The Mathematical Intelligencer
1 Annales de l’Institut Fourier
1 BIT
1 Duke Mathematical Journal
1 Journal of the American Statistical Association
1 Journal of Applied Probability
1 The Journal of Mathematical Sociology
1 Networks
1 Revista Colombiana de Matemáticas
1 Advances in Applied Mathematics
1 Journal of Information & Optimization Sciences
1 Systems & Control Letters
1 Science of Computer Programming
1 Operations Research Letters
1 Optimization
1 Graphs and Combinatorics
1 Journal of Symbolic Computation
1 Journal of Complexity
1 Discrete & Computational Geometry
1 Computers & Operations Research
1 Applied Mathematics Letters
1 Computational Mathematics and Modeling
1 Annals of Operations Research
1 International Journal of Computational Geometry & Applications
...and 38 more Serials
all top 5

Cited in 39 Fields

1,222 Computer science (68-XX)
126 Combinatorics (05-XX)
104 Mathematical logic and foundations (03-XX)
53 Information and communication theory, circuits (94-XX)
52 Operations research, mathematical programming (90-XX)
36 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
30 Biology and other natural sciences (92-XX)
23 Probability theory and stochastic processes (60-XX)
22 Statistics (62-XX)
21 Order, lattices, ordered algebraic structures (06-XX)
16 Group theory and generalizations (20-XX)
13 Numerical analysis (65-XX)
13 Systems theory; control (93-XX)
11 Quantum theory (81-XX)
7 Number theory (11-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Manifolds and cell complexes (57-XX)
3 General and overarching topics; collections (00-XX)
3 Geometry (51-XX)
2 Field theory and polynomials (12-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Topological groups, Lie groups (22-XX)
2 Operator theory (47-XX)
2 Convex and discrete geometry (52-XX)
2 Mechanics of particles and systems (70-XX)
1 History and biography (01-XX)
1 General algebraic systems (08-XX)
1 Category theory; homological algebra (18-XX)
1 Real functions (26-XX)
1 Measure and integration (28-XX)
1 Difference and functional equations (39-XX)
1 Sequences, series, summability (40-XX)
1 Approximations and expansions (41-XX)
1 Integral equations (45-XX)
1 General topology (54-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Fluid mechanics (76-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year