Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Victor_Vianu> ?p ?o }
Showing triples 1 to 79 of
79
with 100 triples per page.
- Victor_Vianu abstract "Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego and since 2009 the editor-in-chief of the Journal of the ACM.Vianu did his graduate studies at the University of Southern California, earning his Ph.D. in 1983 under the supervision of Seymour Ginsburg; he joined the UCSD faculty in 1984.Vianu's book Foundations of Databases (with Serge Abiteboul and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in database theory. In finite model theory and computational complexity theory, the Abiteboul–Vianu theorem (also published with Abiteboul, at the 1991 Symposium on Theory of Computing) states that polynomial time equals PSPACE if and only if fixed point logic equals partial fixed point logic. At the 2010 Symposium on Principles of Database Systems, Vianu and his co-authors Dan Suciu and Tova Milo won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on type checking for XML transformation languages.In 2006, Vianu was elected as a Fellow of the ACM for his \"contributions to database management systems\".In his first paper recorded by DBLP (presented at MFCS, 1977), Vianu acknowledges Solomon Marcus for guidance.".
- Victor_Vianu wikiPageExternalLink ~vianu.
- Victor_Vianu wikiPageID "31256904".
- Victor_Vianu wikiPageLength "3689".
- Victor_Vianu wikiPageOutDegree "29".
- Victor_Vianu wikiPageRevisionID "678457364".
- Victor_Vianu wikiPageWikiLink Abiteboul–Vianu_theorem.
- Victor_Vianu wikiPageWikiLink Category:Computer_scientists.
- Victor_Vianu wikiPageWikiLink Category:Database_researchers.
- Victor_Vianu wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Victor_Vianu wikiPageWikiLink Category:Living_people.
- Victor_Vianu wikiPageWikiLink Category:University_of_California,_San_Diego_faculty.
- Victor_Vianu wikiPageWikiLink Category:University_of_Southern_California_alumni.
- Victor_Vianu wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Victor_Vianu wikiPageWikiLink Computational_complexity_theory.
- Victor_Vianu wikiPageWikiLink DBLP.
- Victor_Vianu wikiPageWikiLink Dan_Suciu.
- Victor_Vianu wikiPageWikiLink Database.
- Victor_Vianu wikiPageWikiLink Database_theory.
- Victor_Vianu wikiPageWikiLink Finite_model_theory.
- Victor_Vianu wikiPageWikiLink Journal_of_the_ACM.
- Victor_Vianu wikiPageWikiLink Least_fixed_point.
- Victor_Vianu wikiPageWikiLink Mathematical_Foundations_of_Computer_Science.
- Victor_Vianu wikiPageWikiLink PSPACE.
- Victor_Vianu wikiPageWikiLink Serge_Abiteboul.
- Victor_Vianu wikiPageWikiLink Seymour_Ginsburg.
- Victor_Vianu wikiPageWikiLink Solomon_Marcus.
- Victor_Vianu wikiPageWikiLink Symposium_on_Principles_of_Database_Systems.
- Victor_Vianu wikiPageWikiLink Symposium_on_Theory_of_Computing.
- Victor_Vianu wikiPageWikiLink Time_complexity.
- Victor_Vianu wikiPageWikiLink Tova_Milo.
- Victor_Vianu wikiPageWikiLink Type_system.
- Victor_Vianu wikiPageWikiLink University_of_California,_San_Diego.
- Victor_Vianu wikiPageWikiLink University_of_Southern_California.
- Victor_Vianu wikiPageWikiLink XML_transformation_language.
- Victor_Vianu wikiPageWikiLinkText "Vianu".
- Victor_Vianu wikiPageWikiLinkText "Victor Vianu".
- Victor_Vianu name "Vianu, Victor".
- Victor_Vianu shortDescription "Computer Scientist".
- Victor_Vianu wikiPageUsesTemplate Template:MathGenealogy.
- Victor_Vianu wikiPageUsesTemplate Template:Persondata.
- Victor_Vianu wikiPageUsesTemplate Template:Reflist.
- Victor_Vianu description "Computer Scientist".
- Victor_Vianu description "Computer Scientist".
- Victor_Vianu subject Category:Computer_scientists.
- Victor_Vianu subject Category:Database_researchers.
- Victor_Vianu subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Victor_Vianu subject Category:Living_people.
- Victor_Vianu subject Category:University_of_California,_San_Diego_faculty.
- Victor_Vianu subject Category:University_of_Southern_California_alumni.
- Victor_Vianu subject Category:Year_of_birth_missing_(living_people).
- Victor_Vianu hypernym Scientist.
- Victor_Vianu type Agent.
- Victor_Vianu type List.
- Victor_Vianu type Person.
- Victor_Vianu type Scientist.
- Victor_Vianu type Person.
- Victor_Vianu type List.
- Victor_Vianu type Member.
- Victor_Vianu type Occupation.
- Victor_Vianu type Scholar.
- Victor_Vianu type Scientist.
- Victor_Vianu type Agent.
- Victor_Vianu type NaturalPerson.
- Victor_Vianu type Thing.
- Victor_Vianu type Q215627.
- Victor_Vianu type Q5.
- Victor_Vianu type Person.
- Victor_Vianu comment "Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego and since 2009 the editor-in-chief of the Journal of the ACM.Vianu did his graduate studies at the University of Southern California, earning his Ph.D.".
- Victor_Vianu label "Victor Vianu".
- Victor_Vianu sameAs Q7926426.
- Victor_Vianu sameAs m.0gjdfbg.
- Victor_Vianu sameAs Q7926426.
- Victor_Vianu wasDerivedFrom Victor_Vianu?oldid=678457364.
- Victor_Vianu givenName "Victor".
- Victor_Vianu isPrimaryTopicOf Victor_Vianu.
- Victor_Vianu name "Vianu, Victor".
- Victor_Vianu name "Victor Vianu".
- Victor_Vianu surname "Vianu".