| http://dbpedia.org/ontology/abstract
|
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.cs.tcd.ie/Matthew.Hennessy/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
3818648
|
| http://dbpedia.org/ontology/wikiPageLength
|
3863
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1016356774
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Irish_computer_scientists +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Fellows_of_Trinity_College_Dublin +
, http://dbpedia.org/resource/Science_Foundation_Ireland +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Hennessy%E2%80%93Milner_logic +
, http://dbpedia.org/resource/Programming_language_semantics +
, http://dbpedia.org/resource/The_MIT_Press +
, http://dbpedia.org/resource/Category:Computer_science_writers +
, http://dbpedia.org/resource/Robin_Milner +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Denmark +
, http://dbpedia.org/resource/Mobile_computing +
, http://dbpedia.org/resource/Distributed_computing +
, http://dbpedia.org/resource/Specification_language +
, http://dbpedia.org/resource/Process_calculi +
, http://dbpedia.org/resource/England +
, http://dbpedia.org/resource/Trinity_College%2C_Dublin +
, http://dbpedia.org/resource/Leverhulme_Trust +
, http://dbpedia.org/resource/Scotland +
, http://dbpedia.org/resource/Category:University_of_Waterloo_faculty +
, http://dbpedia.org/resource/Universidade_Federal_de_Pernambuco +
, http://dbpedia.org/resource/Category:20th-century_Irish_people +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/John_Wiley_and_Sons +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Brazil +
, http://dbpedia.org/resource/University_of_Aarhus +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Category:21st-century_Irish_people +
, http://dbpedia.org/resource/Academy_of_Europe +
, http://dbpedia.org/resource/University_of_Sussex +
, http://dbpedia.org/resource/Gordon_Plotkin +
, http://dbpedia.org/resource/Royal_Society +
, http://dbpedia.org/resource/Canada +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Sussex +
, http://dbpedia.org/resource/University_of_Waterloo +
, http://dbpedia.org/resource/Irish_people +
, http://dbpedia.org/resource/Verification_and_Validation_%28software%29 +
, http://dbpedia.org/resource/%C3%93_hAonghusa +
, http://dbpedia.org/resource/Cambridge_University_Press +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Compu-bio-stub +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:GoogleScholar +
, http://dbpedia.org/resource/Template:Use_Irish_English +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Ireland-scientist-stub +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Fellows_of_Trinity_College_Dublin +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Computer_science_writers +
, http://dbpedia.org/resource/Category:20th-century_Irish_people +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Sussex +
, http://dbpedia.org/resource/Category:University_of_Waterloo_faculty +
, http://dbpedia.org/resource/Category:21st-century_Irish_people +
, http://dbpedia.org/resource/Category:Irish_computer_scientists +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/32326006 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Matthew_Hennessy?oldid=1016356774&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Matthew_Hennessy +
|
| owl:sameAs |
http://data.bibliotheken.nl/id/thes/p073754331 +
, http://www4.wiwiss.fu-berlin.de/dblp/resource/person/154635 +
, https://dblp.org/pid/h/MatthewHennessy +
, http://dbpedia.org/resource/Matthew_Hennessy +
, http://viaf.org/viaf/32326006 +
, http://yago-knowledge.org/resource/Matthew_Hennessy +
, https://global.dbpedia.org/id/4rUbA +
, http://rdf.freebase.com/ns/m.0b1l0w +
, http://www.wikidata.org/entity/Q6790660 +
|
| rdf:type |
http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatComputerScienceWriters +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/WikicatIrishComputerScientists +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Communicator109610660 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatFellowsOfTrinityCollege%2CDublin +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfSussex +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/Writer110794014 +
|
| rdfs:comment |
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.
|
| rdfs:label |
Matthew Hennessy
|
