Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5132649> ?p ?o }
Showing triples 1 to 83 of
83
with 100 triples per page.
- Q5132649 subject Q15274001.
- Q5132649 subject Q5312304.
- Q5132649 subject Q6390499.
- Q5132649 subject Q6637307.
- Q5132649 subject Q7205175.
- Q5132649 subject Q7584464.
- Q5132649 subject Q8218862.
- Q5132649 subject Q8237235.
- Q5132649 subject Q8416149.
- Q5132649 subject Q8445861.
- Q5132649 subject Q8445870.
- Q5132649 subject Q8445886.
- Q5132649 subject Q8445894.
- Q5132649 subject Q8466127.
- Q5132649 subject Q8975038.
- Q5132649 abstract "This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation).Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna.He was a professor at the University of Manchester, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He is Editor-in-Chief of the Formal Aspects of Computing journal.As well as formal methods, he also has interests in interdisciplinary aspects of computer science and the history of computer science.".
- Q5132649 almaMater Q34433.
- Q5132649 birthDate "1944-06-01".
- Q5132649 doctoralAdvisor Q92602.
- Q5132649 nationality Q145.
- Q5132649 wikiPageExternalLink cliff.jones.
- Q5132649 wikiPageExternalLink cliff.jones.
- Q5132649 wikiPageExternalLink home.formal.
- Q5132649 wikiPageExternalLink byType.php?id=59.
- Q5132649 wikiPageWikiLink Q1049183.
- Q5132649 wikiPageWikiLink Q1189238.
- Q5132649 wikiPageWikiLink Q121594.
- Q5132649 wikiPageWikiLink Q145.
- Q5132649 wikiPageWikiLink Q1478998.
- Q5132649 wikiPageWikiLink Q15274001.
- Q5132649 wikiPageWikiLink Q1741.
- Q5132649 wikiPageWikiLink Q176916.
- Q5132649 wikiPageWikiLink Q230899.
- Q5132649 wikiPageWikiLink Q34433.
- Q5132649 wikiPageWikiLink Q37156.
- Q5132649 wikiPageWikiLink Q443253.
- Q5132649 wikiPageWikiLink Q4910708.
- Q5132649 wikiPageWikiLink Q5132645.
- Q5132649 wikiPageWikiLink Q5260200.
- Q5132649 wikiPageWikiLink Q5278058.
- Q5132649 wikiPageWikiLink Q5312304.
- Q5132649 wikiPageWikiLink Q5469945.
- Q5132649 wikiPageWikiLink Q589298.
- Q5132649 wikiPageWikiLink Q6390499.
- Q5132649 wikiPageWikiLink Q6637307.
- Q5132649 wikiPageWikiLink Q7205175.
- Q5132649 wikiPageWikiLink Q752297.
- Q5132649 wikiPageWikiLink Q7584464.
- Q5132649 wikiPageWikiLink Q8218862.
- Q5132649 wikiPageWikiLink Q8237235.
- Q5132649 wikiPageWikiLink Q82594.
- Q5132649 wikiPageWikiLink Q837164.
- Q5132649 wikiPageWikiLink Q8416149.
- Q5132649 wikiPageWikiLink Q8445861.
- Q5132649 wikiPageWikiLink Q8445870.
- Q5132649 wikiPageWikiLink Q8445886.
- Q5132649 wikiPageWikiLink Q8445894.
- Q5132649 wikiPageWikiLink Q8466127.
- Q5132649 wikiPageWikiLink Q849359.
- Q5132649 wikiPageWikiLink Q8975038.
- Q5132649 wikiPageWikiLink Q90.
- Q5132649 wikiPageWikiLink Q924044.
- Q5132649 wikiPageWikiLink Q92602.
- Q5132649 almaMater Q34433.
- Q5132649 birthDate "1944-06-01".
- Q5132649 doctoralAdvisor Q92602.
- Q5132649 name "Cliff Jones".
- Q5132649 nationality Q145.
- Q5132649 type Person.
- Q5132649 type Agent.
- Q5132649 type Person.
- Q5132649 type Scientist.
- Q5132649 type Agent.
- Q5132649 type NaturalPerson.
- Q5132649 type Thing.
- Q5132649 type Q215627.
- Q5132649 type Q5.
- Q5132649 type Q901.
- Q5132649 type Person.
- Q5132649 comment "This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation).Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981.".
- Q5132649 label "Cliff Jones (computer scientist)".
- Q5132649 homepage cliff.jones.
- Q5132649 name "Cliff Jones".