Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gerard_J._Holzmann> ?p ?o }
Showing triples 1 to 96 of
96
with 100 triples per page.
- Gerard_J._Holzmann abstract "Gerard J. Holzmann (born 1951) is an Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.".
- Gerard_J._Holzmann almaMater Delft_University_of_Technology.
- Gerard_J._Holzmann birthDate "1951".
- Gerard_J._Holzmann birthPlace Amsterdam.
- Gerard_J._Holzmann birthPlace Netherlands.
- Gerard_J._Holzmann birthYear "1951".
- Gerard_J._Holzmann doctoralAdvisor J.L._de_Kroes.
- Gerard_J._Holzmann doctoralAdvisor Willem_van_der_Poel.
- Gerard_J._Holzmann field Model_checking.
- Gerard_J._Holzmann knownFor SPIN_model_checker.
- Gerard_J._Holzmann thumbnail Gerard_J._Holzmann_FLoC_2006.jpg?width=300.
- Gerard_J._Holzmann viafId "5080653".
- Gerard_J._Holzmann wikiPageExternalLink gerard.holzmann.usesthis.com.
- Gerard_J._Holzmann wikiPageExternalLink gerard.
- Gerard_J._Holzmann wikiPageExternalLink pico.
- Gerard_J._Holzmann wikiPageID "2795843".
- Gerard_J._Holzmann wikiPageRevisionID "604578022".
- Gerard_J._Holzmann almaMater Delft_University_of_Technology.
- Gerard_J._Holzmann birthPlace Amsterdam.
- Gerard_J._Holzmann birthPlace Netherlands.
- Gerard_J._Holzmann caption "Gerard J. Holzmann 2006".
- Gerard_J._Holzmann dateOfBirth "1951".
- Gerard_J._Holzmann doctoralAdvisor "Willem van der Poel and J.L. de Kroes".
- Gerard_J._Holzmann fields Model_checking.
- Gerard_J._Holzmann hasPhotoCollection Gerard_J._Holzmann.
- Gerard_J._Holzmann knownFor "Developing the SPIN model checker".
- Gerard_J._Holzmann name "Gerard J. Holzmann".
- Gerard_J._Holzmann name "Holzmann, Gerard J".
- Gerard_J._Holzmann nationality "American".
- Gerard_J._Holzmann placeOfBirth "Amsterdam".
- Gerard_J._Holzmann shortDescription "Dutch computer scientist".
- Gerard_J._Holzmann workplaces Bell_Labs.
- Gerard_J._Holzmann description "Dutch computer scientist".
- Gerard_J._Holzmann description "Dutch computer scientist".
- Gerard_J._Holzmann subject Category:1951_births.
- Gerard_J._Holzmann subject Category:American_computer_scientists.
- Gerard_J._Holzmann subject Category:Delft_University_of_Technology_alumni.
- Gerard_J._Holzmann subject Category:Dutch_computer_scientists.
- Gerard_J._Holzmann subject Category:Dutch_emigrants_to_the_United_States.
- Gerard_J._Holzmann subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Gerard_J._Holzmann subject Category:Formal_methods_people.
- Gerard_J._Holzmann subject Category:Living_people.
- Gerard_J._Holzmann subject Category:Members_of_the_United_States_National_Academy_of_Engineering.
- Gerard_J._Holzmann subject Category:NASA_personnel.
- Gerard_J._Holzmann subject Category:People_from_Amsterdam.
- Gerard_J._Holzmann subject Category:Scientists_at_Bell_Labs.
- Gerard_J._Holzmann type AmericanComputerScientists.
- Gerard_J._Holzmann type AmericanPeopleOfDutchDescent.
- Gerard_J._Holzmann type Associate109816771.
- Gerard_J._Holzmann type CausalAgent100007347.
- Gerard_J._Holzmann type Colleague109935990.
- Gerard_J._Holzmann type ComputerScientist109951070.
- Gerard_J._Holzmann type ComputerUser109951274.
- Gerard_J._Holzmann type DutchComputerScientists.
- Gerard_J._Holzmann type FellowsOfTheAssociationForComputingMachinery.
- Gerard_J._Holzmann type FormalMethodsPeople.
- Gerard_J._Holzmann type LivingPeople.
- Gerard_J._Holzmann type LivingThing100004258.
- Gerard_J._Holzmann type Object100002684.
- Gerard_J._Holzmann type Organism100004475.
- Gerard_J._Holzmann type Peer109626238.
- Gerard_J._Holzmann type PeopleFromAmsterdam.
- Gerard_J._Holzmann type Person100007846.
- Gerard_J._Holzmann type PhysicalEntity100001930.
- Gerard_J._Holzmann type Scientist110560637.
- Gerard_J._Holzmann type ScientistsAtBellLabs.
- Gerard_J._Holzmann type Whole100003553.
- Gerard_J._Holzmann type YagoLegalActor.
- Gerard_J._Holzmann type YagoLegalActorGeo.
- Gerard_J._Holzmann type Agent.
- Gerard_J._Holzmann type Person.
- Gerard_J._Holzmann type Scientist.
- Gerard_J._Holzmann type Person.
- Gerard_J._Holzmann type Q215627.
- Gerard_J._Holzmann type Q5.
- Gerard_J._Holzmann type Agent.
- Gerard_J._Holzmann type NaturalPerson.
- Gerard_J._Holzmann type Thing.
- Gerard_J._Holzmann type Person.
- Gerard_J._Holzmann comment "Gerard J. Holzmann (born 1951) is an Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.".
- Gerard_J._Holzmann label "Gerard Holzmann".
- Gerard_J._Holzmann label "Gerard J. Holzmann".
- Gerard_J._Holzmann sameAs Gerard_Holzmann.
- Gerard_J._Holzmann sameAs m.0835zb.
- Gerard_J._Holzmann sameAs Q4588721.
- Gerard_J._Holzmann sameAs Q4588721.
- Gerard_J._Holzmann sameAs 110970.
- Gerard_J._Holzmann sameAs Gerard_J._Holzmann.
- Gerard_J._Holzmann wasDerivedFrom Gerard_J._Holzmann?oldid=604578022.
- Gerard_J._Holzmann depiction Gerard_J._Holzmann_FLoC_2006.jpg.
- Gerard_J._Holzmann givenName "Gerard J".
- Gerard_J._Holzmann isPrimaryTopicOf Gerard_J._Holzmann.
- Gerard_J._Holzmann name "Gerard J Holzmann".
- Gerard_J._Holzmann name "Gerard J. Holzmann".
- Gerard_J._Holzmann name "Holzmann, Gerard J".
- Gerard_J._Holzmann surname "Holzmann".