About: Rajeev Alur

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Rajeev Alur Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Rajeev Alur (fr) Rajeev Alur (en)
rdfs:comment	Rajeev Alur, né le 5 mars 1966, est un informaticien théoricien de citoyenneté américaine d'origine indienne. Il est professeur au département d'informatique et des sciences d'information à l'université de Pennsylvanie, aux États-Unis, sur la chaire Zisman Family. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_1045_1014 https://commons.wikimedia.org/wiki/Category:Rajeev_Alur https://dl.acm.org/author_page.cfm?id=81100359539 https://scholar.google.com/citations?user=kWnv_YkAAAAJ http://aut.nkp.cz/mub2015884449 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=718877
sameAs	Rajeev Alur Rajeev Alur Rajeev Alur Rajeev Alur Rajeev Alur Rajeev Alur Rajeev Alur Rajeev Alur Rajeev Alur
Wikipage page ID	10661273 (xsd:integer)
Wikipage revision ID	182126814 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Personnalité_en_méthodes_formelles Association for Computing Machinery dbpedia-fr:Automate_temporisé dbpedia-fr:Automate_à_pile_visible California category-fr:Personnalité_américaine_en_informatique category-fr:Professeur_à_l'université_de_Pennsylvanie category-fr:Scientifique_des_laboratoires_Bell category-fr:Étudiant_de_l'université_Stanford DBLP dbpedia-fr:Doctorat dbpedia-fr:European_Association_for_Theoretical_Computer_Science National Science Foundation dbpedia-fr:Google_Scholar dbpedia-fr:Inde Theoretical computer science Indian Institutes of Technology Institute of Electrical and Electronics Engineers dbpedia-fr:Kanpur dbpedia-fr:Laboratoires_Bell dbpedia-fr:Prix_Alonzo-Church dbpedia-fr:Professeur_(titre) Stanford University University of Pennsylvania dbpedia-fr:Vérification_de_modèles United States
Link from a Wikipage to an external page	http://dblp.uni-trier.de/pers/hd/a/Alur:Rajeev http://lics.rwth-aachen.de/archive/test-of-time-award.html http://www.cis.upenn.edu/~alur/ https://scholar.google.com/citations%3Fuser=kWnv_YkAAAAJ
page length (characters) of wiki page	5666 (xsd:nonNegativeInteger)
dct:subject	category-fr:Personnalité_en_méthodes_formelles category-fr:Personnalité_américaine_en_informatique category-fr:Professeur_à_l'université_de_Pennsylvanie category-fr:Scientifique_des_laboratoires_Bell category-fr:Étudiant_de_l'université_Stanford
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Autres_projets dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Date_de_naissance- dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence
prov:wasDerivedFrom	wikipedia-fr:Rajeev_Alur?oldid=182126814&ns=0
foaf:depiction
prop-fr:année	1900 (xsd:integer) 1994 (xsd:integer)
prop-fr:doi	10 (xsd:double) 10 (xsd:double)
prop-fr:journal	Theoretical computer science (fr) Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (fr)
prop-fr:nom	Alur (fr) Dill (fr) Courcoubetis (fr)
prop-fr:numéro	2 (xsd:integer)
prop-fr:pages	183 (xsd:integer) 414 (xsd:integer)
prop-fr:prénom	David L. (fr) Rajeev (fr) Costas (fr)
prop-fr:titre	A theory of timed automata (fr) Model-Checking for Real-Time Systems (fr)
prop-fr:volume	126 (xsd:integer)
thumbnail	wiki-commons:Special:FilePath/Rajeev_Alur_FLoC_2006.jpg?width=300

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software