Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Matthew_Hennessy> ?p ?o }
- Matthew_Hennessy abstract "Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.".
- Matthew_Hennessy wikiPageExternalLink Matthew.Hennessy.
- Matthew_Hennessy wikiPageID "3818648".
- Matthew_Hennessy wikiPageLength "3546".
- Matthew_Hennessy wikiPageOutDegree "42".
- Matthew_Hennessy wikiPageRevisionID "660271628".
- Matthew_Hennessy wikiPageWikiLink Aarhus_University.
- Matthew_Hennessy wikiPageWikiLink Academia_Europaea.
- Matthew_Hennessy wikiPageWikiLink Academy_of_Europe.
- Matthew_Hennessy wikiPageWikiLink Brazil.
- Matthew_Hennessy wikiPageWikiLink Cambridge_University_Press.
- Matthew_Hennessy wikiPageWikiLink Canada.
- Matthew_Hennessy wikiPageWikiLink Category:Academics_of_the_University_of_Edinburgh.
- Matthew_Hennessy wikiPageWikiLink Category:Academics_of_the_University_of_Sussex.
- Matthew_Hennessy wikiPageWikiLink Category:Computer_science_writers.
- Matthew_Hennessy wikiPageWikiLink Category:Fellows_of_Trinity_College,_Dublin.
- Matthew_Hennessy wikiPageWikiLink Category:Formal_methods_people.
- Matthew_Hennessy wikiPageWikiLink Category:Irish_computer_scientists.
- Matthew_Hennessy wikiPageWikiLink Category:Living_people.
- Matthew_Hennessy wikiPageWikiLink Category:University_of_Waterloo_faculty.
- Matthew_Hennessy wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Matthew_Hennessy wikiPageWikiLink Computer_Science.
- Matthew_Hennessy wikiPageWikiLink Computer_science.
- Matthew_Hennessy wikiPageWikiLink Computer_scientist.
- Matthew_Hennessy wikiPageWikiLink Concurrency_(computer_science).
- Matthew_Hennessy wikiPageWikiLink Denmark.
- Matthew_Hennessy wikiPageWikiLink Distributed_computing.
- Matthew_Hennessy wikiPageWikiLink England.
- Matthew_Hennessy wikiPageWikiLink Federal_University_of_Pernambuco.
- Matthew_Hennessy wikiPageWikiLink Gordon_Plotkin.
- Matthew_Hennessy wikiPageWikiLink Hennessy-Milner_logic.
- Matthew_Hennessy wikiPageWikiLink Hennessy–Milner_logic.
- Matthew_Hennessy wikiPageWikiLink John_Wiley_&_Sons.
- Matthew_Hennessy wikiPageWikiLink John_Wiley_and_Sons.
- Matthew_Hennessy wikiPageWikiLink Leverhulme_Trust.
- Matthew_Hennessy wikiPageWikiLink MIT_Press.
- Matthew_Hennessy wikiPageWikiLink Mobile_computing.
- Matthew_Hennessy wikiPageWikiLink Process_calculi.
- Matthew_Hennessy wikiPageWikiLink Process_calculus.
- Matthew_Hennessy wikiPageWikiLink Programming_language.
- Matthew_Hennessy wikiPageWikiLink Robin_Milner.
- Matthew_Hennessy wikiPageWikiLink Royal_Society.
- Matthew_Hennessy wikiPageWikiLink Science_Foundation_Ireland.
- Matthew_Hennessy wikiPageWikiLink Scotland.
- Matthew_Hennessy wikiPageWikiLink Semantics.
- Matthew_Hennessy wikiPageWikiLink Software_verification_and_validation.
- Matthew_Hennessy wikiPageWikiLink Specification_language.
- Matthew_Hennessy wikiPageWikiLink The_MIT_Press.
- Matthew_Hennessy wikiPageWikiLink Trinity_College,_Dublin.
- Matthew_Hennessy wikiPageWikiLink Universidade_Federal_de_Pernambuco.
- Matthew_Hennessy wikiPageWikiLink University_of_Aarhus.
- Matthew_Hennessy wikiPageWikiLink University_of_Edinburgh.
- Matthew_Hennessy wikiPageWikiLink University_of_Sussex.
- Matthew_Hennessy wikiPageWikiLink University_of_Waterloo.
- Matthew_Hennessy wikiPageWikiLink Verification_and_Validation_(software).
- Matthew_Hennessy wikiPageWikiLink Ó_hAonghusa.
- Matthew_Hennessy wikiPageWikiLinkText "Matthew Hennessy".
- Matthew_Hennessy hasPhotoCollection Matthew_Hennessy.
- Matthew_Hennessy name "Hennessy, Matthew".
- Matthew_Hennessy shortDescription "Irish computer scientist".
- Matthew_Hennessy wikiPageUsesTemplate Template:Authority_control.
- Matthew_Hennessy wikiPageUsesTemplate Template:Compu-bio-stub.
- Matthew_Hennessy wikiPageUsesTemplate Template:GoogleScholar.
- Matthew_Hennessy wikiPageUsesTemplate Template:Ireland-scientist-stub.
- Matthew_Hennessy wikiPageUsesTemplate Template:Persondata.
- Matthew_Hennessy wikiPageUsesTemplate Template:Reflist.
- Matthew_Hennessy description "Irish computer scientist".
- Matthew_Hennessy description "Irish computer scientist".
- Matthew_Hennessy subject Category:Academics_of_the_University_of_Edinburgh.
- Matthew_Hennessy subject Category:Academics_of_the_University_of_Sussex.
- Matthew_Hennessy subject Category:Computer_science_writers.
- Matthew_Hennessy subject Category:Fellows_of_Trinity_College,_Dublin.
- Matthew_Hennessy subject Category:Formal_methods_people.
- Matthew_Hennessy subject Category:Irish_computer_scientists.
- Matthew_Hennessy subject Category:Living_people.
- Matthew_Hennessy subject Category:University_of_Waterloo_faculty.
- Matthew_Hennessy subject Category:Year_of_birth_missing_(living_people).
- Matthew_Hennessy hypernym Scientist.
- Matthew_Hennessy type Agent.
- Matthew_Hennessy type Article.
- Matthew_Hennessy type List.
- Matthew_Hennessy type Person.
- Matthew_Hennessy type Scientist.
- Matthew_Hennessy type Writer.
- Matthew_Hennessy type Article.
- Matthew_Hennessy type List.
- Matthew_Hennessy type Method.
- Matthew_Hennessy type Scientist.
- Matthew_Hennessy type Writer.
- Matthew_Hennessy type Person.
- Matthew_Hennessy type Agent.
- Matthew_Hennessy type NaturalPerson.
- Matthew_Hennessy type Thing.
- Matthew_Hennessy type Q215627.
- Matthew_Hennessy type Q5.
- Matthew_Hennessy type Person.
- Matthew_Hennessy comment "Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.".
- Matthew_Hennessy label "Matthew Hennessy".
- Matthew_Hennessy sameAs m.0b1l0w.
- Matthew_Hennessy sameAs Q6790660.