Search results for "theoretician"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Ton Sales	From Pure to Approximate Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	approximate logic, theoretician, abstract methods, Helena Rasiowa, artificial intelligence, computer science, formal logic, bibliographies, biographies
34	Omer Reingold	Through the lens of a passionate theoretician.	Commun. ACM	2020	DBLP DOI BibTeX RDF
34	Marianne Winslett, Vanessa Braganholo	Ron Fagin Speaks Out on His Trajectory as a Database Theoretician.	SIGMOD Rec.	2017	DBLP DOI BibTeX RDF
34	Paul Hyman	An influential theoretician.	Commun. ACM	2012	DBLP DOI BibTeX RDF
34	Rudolf Seising	The Experimenter and the Theoretician - Linguistic Synthesis to Tell Machines What to Do.	Combining Experimentation and Theory	2012	DBLP DOI BibTeX RDF
34	Ebrahim H. Mamdani, Enric Trillas	Correspondence between an Experimentalist and a Theoretician.	Combining Experimentation and Theory	2012	DBLP DOI BibTeX RDF
34	Michael A. Bender	From Streaming B-Trees to Tokutek: How a Theoretician Learned to be VP of Engineering.	SEA	2009	DBLP DOI BibTeX RDF
34	Leonid Libkin	The finite model theory toolbox of a database theoretician.	PODS	2009	DBLP DOI BibTeX RDF	complexity, games, query languages, logics, types, order, expressive power, finite models
34	David S. Johnson	A theoretician's guide to the experimental analysis of algorithms.	Data Structures, Near Neighbor Searches, and Methodology	1999	DBLP DOI BibTeX RDF
34	Michael J. Fischer	A Theoretician's View of Fault Tolerant Distributed Computing.	Fault-Tolerant Distributed Computing	1986	DBLP DOI BibTeX RDF
25	Joseph M. Hellerstein	Datalog redux: experience and conjecture.	PODS	2010	DBLP DOI BibTeX RDF	bloom, boom, dedalus, overlog, distributed systems, parallelism, cloud computing, datalog
25	Robert L. Glass	On Modeling and Discomfort.	IEEE Softw.	2004	DBLP DOI BibTeX RDF
25	Flaviu Adrian Marginean	Computational Science and Data Mining.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
25	Flaviu Adrian Marginean	Computational Aspects of Data Mining.	ICCSA (1)	2003	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )