Anuj Dawar

Navedeno

	Vse	Od leta 2018
Navedbe	3046	1057
indeks h	31	19
indeks i10	63	39

260

130

195

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 58 29 66 36 57 27 34 28 24 36 39 39 131 109 106 121 92 138 125 117 130 123 213 124 144 171 184 178 255

Javni dostop

Prikaži vse

17 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Stephan KreutzerProfessor of Computer Science, Technical University BerlinPreverjeni e-poštni naslov na tu-berlin.de
Erich GrädelRWTH Aachen UniversityPreverjeni e-poštni naslov na logic.rwth-aachen.de
Albert AtseriasUniversitat Politècnica de Catalunya, BarcelonaPreverjeni e-poštni naslov na cs.upc.edu
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityPreverjeni e-poštni naslov na informatik.rwth-aachen.de
Paul HunterUniversity of New South WalesPreverjeni e-poštni naslov na unsw.edu.au
Bjarki HolmPostdoctoral Research Associate, University of CambridgePreverjeni e-poštni naslov na cl.cam.ac.uk
Lauri HellaMatematiikan professori, Tampereen yliopistoPreverjeni e-poštni naslov na uta.fi
Phokion KolaitisDistinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM ResearchPreverjeni e-poštni naslov na ucsc.edu
David RicherbyUniversity of EssexPreverjeni e-poštni naslov na essex.ac.uk
Dietmar BerwangerCNRS, Université Paris-Saclay, FrancePreverjeni e-poštni naslov na lsv.fr
Eryk Kopczyńskiassistant professor, University of WarsawPreverjeni e-poštni naslov na mimuw.edu.pl
Giorgio GhelliPreverjeni e-poštni naslov na di.unipi.it
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonPreverjeni e-poštni naslov na imperial.ac.uk
Laszlo BabaiUniversity of ChicagoPreverjeni e-poštni naslov na cs.uchicago.edu
Samson AbramskyProfessor of Computer Science, UCLPreverjeni e-poštni naslov na ucl.ac.uk
Nicole SchweikardtProfessor of Computer Science, Humboldt-University BerlinPreverjeni e-poštni naslov na informatik.hu-berlin.de
Andrei BulatovSimon Fraser UniversityPreverjeni e-poštni naslov na sfu.ca
Octavio ZapataUniversidad Nacional Autónoma de MéxicoPreverjeni e-poštni naslov na ciencias.unam.mx
Jannis BulianGoogle DeepMindPreverjeni e-poštni naslov na cl.cam.ac.uk
Jacobo ToranProfessor for theoretical computer science, University of UlmPreverjeni e-poštni naslov na uni-ulm.de

Spremljaj

Anuj Dawar

University of Cambridge

Preverjeni e-poštni naslov na cl.cam.ac.uk - Domača stran

Logic Complexity Theory Finite Model Theory Descriptive Complexity


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
DAG-width and parity games D Berwanger, A Dawar, P Hunter, S Kreutzer STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006	170	2006
Locally excluding a minor A Dawar, M Grohe, S Kreutzer 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 270-279, 2007	153	2007
Infinitary logic and inductive definability over finite structures A Dawar, S Lindell, S Weinstein Information and Computation 119 (2), 160-175, 1995	142	1995
Affine systems of equations and counting infinitary logic A Atserias, A Bulatov, A Dawar Theoretical Computer Science 410 (18), 1666-1683, 2009	118	2009
The dag-width of directed graphs D Berwanger, A Dawar, P Hunter, S Kreutzer, J Obdržálek Journal of Combinatorial Theory, Series B 102 (4), 900-923, 2012	113	2012
Modal characterisation theorems over special classes of frames A Dawar, M Otto Annals of Pure and Applied Logic 161 (1), 1-42, 2009	106	2009
Feasible computation through model theory A Dawar University of Pennsylvania, 1993	102	1993
On preservation under homomorphisms and unions of conjunctive queries A Atserias, A Dawar, PG Kolaitis Journal of the ACM (JACM) 53 (2), 208-237, 2006	87	2006
A restricted second order logic for finite structures A Dawar Information and Computation 143 (2), 154-174, 1998	87	1998
Generalized quantifiers and logical reducibilities A Dawar Journal of Logic and Computation 5 (2), 213-226, 1995	80	1995
Domination problems in nowhere-dense classes of graphs A Dawar, S Kreutzer arXiv preprint arXiv:0907.4283, 2009	79	2009
The pebbling comonad in finite model theory S Abramsky, A Dawar, P Wang 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	76	2017
The expressive power of finitely many generalized quantifiers A Dawar, L Hella Information and Computation 123 (2), 172-184, 1995	72	1995
Logics with rank operators A Dawar, M Grohe, B Holm, B Laubner 2009 24th Annual IEEE Symposium on Logic In Computer Science, 113-122, 2009	70	2009
Model theory makes formulas large A Dawar, M Grohe, S Kreutzer, N Schweikardt Automata, Languages and Programming: 34th International Colloquium, ICALP …, 2007	66	2007
Expressiveness and complexity of graph logic A Dawar, P Gardner, G Ghelli Information and Computation 205 (3), 263-310, 2007	61	2007
Fixed point logics A Dawar, Y Gurevich Bulletin of Symbolic Logic 8 (1), 65-88, 2002	61	2002
Inflationary fixed points in modal logic A Dawar, E Grädel, S Kreutzer ACM Transactions on Computational Logic (TOCL) 5 (2), 282-315, 2004	59	2004
Approximation schemes for first-order definable optimisation problems A Dawar, M Grohe, S Kreutzer, N Schweikardt 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 411-420, 2006	56	2006
An interpretation of negation in feature structure descriptions A Dawar, K Vijay-Shanker Computational Linguistics 16 (1), 11-21, 1990	55	1990

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji