CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Joseph_Sifakis
Property
Value
rdf:
type
owl:
NamedIndividual
1946 birth
American Academy of Arts and Sciences members
Computer scientist
Fellow of the Association for Computing Machinery
Living person
People by Erdős number
Person from Greece
Scientist from Heraklion
Pioneer in computer science
rdfs:
label
Joseph Sifakis
owl:
sameAs
dbr:
Joseph_Sifakis
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Scientists_from_Heraklion
http://en.wikipedia.org/wiki/Crete
http://en.wikipedia.org/wiki/Heraklion
http://en.wikipedia.org/wiki/Category:1946_births
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/Greek_diaspora
http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(2006%E2%80%932019)
http://en.wikipedia.org/wiki/List_of_computer_scientists
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number
http://en.wikipedia.org/wiki/National_Technical_University_of_Athens
http://en.wikipedia.org/wiki/List_of_people_from_Greece
http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science
http://en.wikipedia.org/wiki/List_of_people_from_Crete
http://en.wikipedia.org/wiki/Member_of_the_Academia_Europaea
http://en.wikipedia.org/wiki/Greeks_in_France
skos:
prefLabel
Joseph Sifakis
skos:
altLabel
Sifakis, Joseph
clgo:
academicDiscipline
Computer science
clgo:
almaMater
Grenoble Alpes University
National Technical University of Athens
clgo:
award
Grenoble Alpes University
National Technical University of Athens
clgo:
birthDate
1946-12-26
clgo:
birthPlace
Heraklion
Greece
Crete
clgo:
birthYear
1946
clgo:
citizenship
Greeks
clgo:
knownFor
Model checking