×

zbMATH — the first resource for mathematics

McAllester, David Allen

Compute Distance To:
Author ID: mcallester.david-allen Recent zbMATH articles by "McAllester, David Allen"
Published as: McAllester, D.; McAllester, David; McAllester, David A.; McAllester, David Allen; Mcallester, D.; Mcallester, David
Documents Indexed: 41 Publications since 1988, including 3 Books

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 196 times in 179 Documents Cited by Year
Solving polynomial systems using a branch and prune approach. Zbl 0874.65039
Van Hentenryck, Pascal; McAllester, David; Kapur, Deepak
24
1997
Automatic recognition of tractability in inference relations. Zbl 0770.68106
McAllester, David A.
22
1993
Some PAC-Bayesian theorems. Zbl 0945.68157
McAllester, David A.
19
1999
The communication complexity of correlation. Zbl 1366.94020
Harsha, Prahladh; Jain, Rahul; McAllester, David; Radhakrishnan, Jaikumar
15
2010
Conspiracy numbers for min-max search. Zbl 0643.90109
McAllester, David Allen
15
1988
PAC-Bayesian stochastic model selection. Zbl 1056.68122
McAllester, David A.
10
2003
Natural language syntax and first-order inference. Zbl 0761.68084
McAllester, David A.; Givan, Robert
8
1992
Tarskian set constraints. Zbl 1009.03019
Givan, Robert; McAllester, David; Witty, Carl; Kozen, Dexter
7
2002
Polynomial-time computation via local inference relations. Zbl 1365.68202
Givan, Robert; Mcallester, David
6
2002
A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond. Zbl 0833.68075
McAllester, D.; Kučan, J.; Otth, D. F.
6
1995
Simplified PAC-Bayesian margin bounds. Zbl 1274.68337
McAllester, David
5
2003
Boosting using branching programs. Zbl 1006.68110
Mansour, Yishay; McAllester, David
5
2002
Case-factor diagrams for structured probabilistic modeling. Zbl 1161.68784
McAllester, David; Collins, Michael; Pereira, Fernando
4
2008
The generalized A* architecture. Zbl 1183.68228
Felzenszwalb, P. F.; Mcallester, D.
4
2007
Sound and complete models of contracts. Zbl 1122.68019
Blume, Matthias; McAllester, David
4
2006
Concentration inequalities for the missing mass and for histogram rule error. Zbl 1083.68095
McAllester, David; Ortiz, Luis
4
2004
Decision-theoretic bidding based on learned density models in simultaneous, interacting auctions. Zbl 1038.91036
Stone, P.; Schapire, R. E.; Littman, M. L.; Csirik, J. A.; McAllester, D.
4
2003
The Horn mu-calculus. Zbl 0945.03541
Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor
4
1998
On the complexity of set-based analysis. Zbl 1369.68102
Heintze, Nevin; McAllester, David
4
1997
Taxonomic syntax for first order inference. Zbl 0770.68105
McAllester, David; Givan, Robert
4
1993
Grammar rewriting. Zbl 0925.68264
McAllester, David
4
1992
On the complexity analysis of static analyses. Zbl 1326.68102
McAllester, David
3
2002
Logical algorithms. Zbl 1045.68061
Ganzinger, Harald; McAllester, David
3
2002
Taxonomic syntax for first order inference. Zbl 0709.68090
McAllester, David; Givan, Bob; Fatima, Tanveer
3
1989
Ontic. A knowledge representation system for mathematics. Zbl 0715.68078
McAllester, David A.
3
1989
A sound (and complete) model of contracts. Zbl 1323.68353
Blume, Matthias; McAllester, David
2
2004
PAC-Bayesian theory. Zbl 1325.62100
McAllester, David; Akinbiyi, Takintayo
1
2013
Computable shell decomposition bounds. Zbl 1222.68244
Langford, John; Mcallester, David
1
2004
A logical algorithm for ML type inference. Zbl 1038.68543
McAllester, David
1
2003
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1
1993
PAC-Bayesian theory. Zbl 1325.62100
McAllester, David; Akinbiyi, Takintayo
1
2013
The communication complexity of correlation. Zbl 1366.94020
Harsha, Prahladh; Jain, Rahul; McAllester, David; Radhakrishnan, Jaikumar
15
2010
Case-factor diagrams for structured probabilistic modeling. Zbl 1161.68784
McAllester, David; Collins, Michael; Pereira, Fernando
4
2008
The generalized A* architecture. Zbl 1183.68228
Felzenszwalb, P. F.; Mcallester, D.
4
2007
Sound and complete models of contracts. Zbl 1122.68019
Blume, Matthias; McAllester, David
4
2006
Concentration inequalities for the missing mass and for histogram rule error. Zbl 1083.68095
McAllester, David; Ortiz, Luis
4
2004
A sound (and complete) model of contracts. Zbl 1323.68353
Blume, Matthias; McAllester, David
2
2004
Computable shell decomposition bounds. Zbl 1222.68244
Langford, John; Mcallester, David
1
2004
PAC-Bayesian stochastic model selection. Zbl 1056.68122
McAllester, David A.
10
2003
Simplified PAC-Bayesian margin bounds. Zbl 1274.68337
McAllester, David
5
2003
Decision-theoretic bidding based on learned density models in simultaneous, interacting auctions. Zbl 1038.91036
Stone, P.; Schapire, R. E.; Littman, M. L.; Csirik, J. A.; McAllester, D.
4
2003
A logical algorithm for ML type inference. Zbl 1038.68543
McAllester, David
1
2003
Tarskian set constraints. Zbl 1009.03019
Givan, Robert; McAllester, David; Witty, Carl; Kozen, Dexter
7
2002
Polynomial-time computation via local inference relations. Zbl 1365.68202
Givan, Robert; Mcallester, David
6
2002
Boosting using branching programs. Zbl 1006.68110
Mansour, Yishay; McAllester, David
5
2002
On the complexity analysis of static analyses. Zbl 1326.68102
McAllester, David
3
2002
Logical algorithms. Zbl 1045.68061
Ganzinger, Harald; McAllester, David
3
2002
Some PAC-Bayesian theorems. Zbl 0945.68157
McAllester, David A.
19
1999
The Horn mu-calculus. Zbl 0945.03541
Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor
4
1998
Solving polynomial systems using a branch and prune approach. Zbl 0874.65039
Van Hentenryck, Pascal; McAllester, David; Kapur, Deepak
24
1997
On the complexity of set-based analysis. Zbl 1369.68102
Heintze, Nevin; McAllester, David
4
1997
A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond. Zbl 0833.68075
McAllester, D.; Kučan, J.; Otth, D. F.
6
1995
Automatic recognition of tractability in inference relations. Zbl 0770.68106
McAllester, David A.
22
1993
Taxonomic syntax for first order inference. Zbl 0770.68105
McAllester, David; Givan, Robert
4
1993
Nonexpressibility of fairness and signaling. Zbl 0801.68112
McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant
1
1993
Natural language syntax and first-order inference. Zbl 0761.68084
McAllester, David A.; Givan, Robert
8
1992
Grammar rewriting. Zbl 0925.68264
McAllester, David
4
1992
Taxonomic syntax for first order inference. Zbl 0709.68090
McAllester, David; Givan, Bob; Fatima, Tanveer
3
1989
Ontic. A knowledge representation system for mathematics. Zbl 0715.68078
McAllester, David A.
3
1989
Conspiracy numbers for min-max search. Zbl 0643.90109
McAllester, David Allen
15
1988
all top 5

Cited by 363 Authors

7 Sofronie-Stokkermans, Viorica
4 Alquier, Pierre
4 Delaune, Stéphanie
4 van den Herik, H. Jaap
3 Braverman, Mark
3 Dalalyan, Arnak S.
3 Guedj, Benjamin
3 Jain, Rahul
3 Nock, Richard
3 Schaffer, Jonathan
3 Uiterwijk, Jos W. H. M.
3 Van Hentenryck, Pascal
2 Catoni, Olivier
2 Chevalier, Yannick
2 Degen, Markus
2 Dong, Bo
2 Emmes, Fabian
2 Engwerda, Jacob Christiaan
2 Gallier, Jean H.
2 Ghelli, Giorgio
2 Giesl, Jürgen
2 Givan, Robert L.
2 Goldsztejn, Alexandre
2 Kerenidis, Iordanis
2 Lafourcade, Pascal
2 Laplante, Sophie
2 Lorenz, Ulf
2 Lugiez, Denis
2 Lynch, Christopher A.
2 McAllester, David Allen
2 Meier, Arne
2 Montes, Antonio
2 Montina, Alberto
2 Moss, Lawrence S.
2 Noschinski, Lars
2 Pratt-Hartmann, Ian
2 Roland, Jérémie
2 Rusinowitch, Michaël
2 Schneider, Thomas
2 Seki, Hirohisa
2 Simmons, Robert jun.
2 Sudan, Madhu
2 Thiemann, Peter J.
2 Treinen, Ralf
2 Tsybakov, Alexandre B.
2 Waldmann, Uwe
2 Wehr, Stefan
2 Weidenbach, Christoph
2 Yu, Bo
2 Zhang, Shengyu
1 Alkoby, Shani
1 Allis, L. Victor
1 Alpuente, María
1 Andreopoulos, Alexander
1 Anguita, Davide
1 Arbel, Julyan
1 Avanesov, Tigran
1 Ayala-Rincón, Mauricio
1 Bahmani, Sohail
1 Baldan, Paolo
1 Ballis, Demis
1 Banerjee, Anindya
1 Barton, Paul I.
1 Baum, Eric B.
1 Bauvin, Baptiste
1 Bellala, Gowtham
1 Bellet, Aurélien
1 Ben Rajeb, Narjes
1 Berend, Daniel
1 Berrima, Mouhebeddine
1 Bertolotti, Ivan Cibrario
1 Bonacina, Maria Paola
1 Borradaile, Glencora
1 Boucheron, Stéphane Vincent
1 Bousquet, Olivier
1 Bouzy, Bruno
1 Braghin, Chiara
1 Brody, Joshua E.
1 Burghardt, Jochen
1 Buro, Michael
1 Bursuc, Sergiu
1 Capponi, Cécile
1 Caro, Stéphane
1 Cazenave, Tristan
1 Chabert, Gilles
1 Chablat, Damien
1 Chakrabarti, Amit
1 Charatonik, Witold
1 Chattopadhyay, Arkadev
1 Cheng, Li
1 Cleaveland, Rance
1 Coban, Mustafa Turhan
1 Cohen, Shay B.
1 Comon-Lundh, Hubert
1 Cools, Ronald
1 Cortesi, Agostino
1 Cortier, Véronique
1 Cowell, Robert G.
1 Crammer, Koby
1 Cyrluk, David A.
...and 263 more Authors
all top 5

Cited in 66 Serials

19 Artificial Intelligence
14 Theoretical Computer Science
14 Information and Computation
8 Electronic Journal of Statistics
5 Machine Learning
4 Computers & Mathematics with Applications
4 Information Processing Letters
4 Journal of Symbolic Computation
4 Algorithmica
4 Journal of Automated Reasoning
4 International Journal of Computer Vision
4 Higher-Order and Symbolic Computation
3 The Annals of Statistics
3 SIAM Journal on Computing
3 Computational Complexity
3 Bernoulli
2 Applied Mathematics and Computation
2 Journal of Computer and System Sciences
2 Formal Aspects of Computing
2 Journal of Logic, Language and Information
2 Journal of Functional Programming
2 Annals of Mathematics and Artificial Intelligence
2 European Series in Applied and Industrial Mathematics (ESAIM): Probability and Statistics
1 Modern Physics Letters A
1 International Journal of Control
1 Mathematical Methods in the Applied Sciences
1 Mathematics of Computation
1 Chaos, Solitons and Fractals
1 BIT
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Statistical Planning and Inference
1 The Journal of Symbolic Logic
1 Studia Logica
1 Statistics & Probability Letters
1 Annals of Pure and Applied Logic
1 International Journal of Approximate Reasoning
1 Neural Networks
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Journal of Global Optimization
1 Games and Economic Behavior
1 Communications in Statistics. Simulation and Computation
1 European Journal of Operational Research
1 Pattern Recognition
1 SIAM Review
1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques
1 Mathematical Programming. Series A. Series B
1 Computational Optimization and Applications
1 Computational Economics
1 Constraints
1 Mathematical Methods of Operations Research
1 New Journal of Physics
1 International Journal of Applied Mathematics and Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Optimization and Engineering
1 The Journal of Logic and Algebraic Programming
1 Journal of Systems Science and Complexity
1 Journal of Machine Learning Research (JMLR)
1 Computer Languages, Systems & Structures
1 Computational Management Science
1 Logical Methods in Computer Science
1 International Journal of Semantic Computing
1 The Review of Symbolic Logic
1 RAIRO. Theoretical Informatics and Applications
1 Information and Inference
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year