Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Bernhard_Steffen_(computer_scientist)> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Bernhard_Steffen_(computer_scientist) abstract "Bernhard Steffen (born May 31, 1958 in Kiel, West Germany) is a Germancomputer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.After his PhD at the University of Kiel he spent two years as a research fellow at the LFCS (Edinburgh, Scotland) where he co-developed the Edinburgh Concurrency Workbench and authored one of the earliest papers on how to adequately model probabilistic processes, before joining the University of Aarhus in 1989 as a postdoc.From 1990 to 1992 he was associate professor at the RWTH Aachen, before he became full professor at the University of Passau. Since 1997 he holds the chair of programming systems at TU Dortmund University where he was Dean of Computer Science between 2002 and 2006 as well as a member of the Senate in 2006 and 2007.Furthermore, Steffen is member of the editorial board of LNCS.".
- Bernhard_Steffen_(computer_scientist) wikiPageExternalLink Bernhard_Steffen.html.
- Bernhard_Steffen_(computer_scientist) wikiPageID "41750884".
- Bernhard_Steffen_(computer_scientist) wikiPageLength "3216".
- Bernhard_Steffen_(computer_scientist) wikiPageOutDegree "25".
- Bernhard_Steffen_(computer_scientist) wikiPageRevisionID "706335127".
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Aarhus_University.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:1958_births.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:German_computer_scientists.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:Technical_University_of_Dortmund_faculty.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:University_of_Kiel_alumni.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Category:University_of_Passau_faculty.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Computer_scientist.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Dean_(education).
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Doctor_of_Philosophy.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Editorial_board.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink European_Joint_Conferences_on_Theory_and_Practice_of_Software.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Formal_methods.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink International_Journal_on_Software_Tools_for_Technology_Transfer.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink International_Symposium_On_Leveraging_Applications_of_Formal_Methods,_Verification_and_Validation.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Kiel.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Laboratory_for_Foundations_of_Computer_Science.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink RWTH_Aachen_University.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink Technical_University_of_Dortmund.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink University_of_Kiel.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink University_of_Passau.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLink West_Germany.
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLinkText "Bernhard Steffen (computer scientist)".
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLinkText "Bernhard Steffen".
- Bernhard_Steffen_(computer_scientist) wikiPageWikiLinkText "Steffen, B.".
- Bernhard_Steffen_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
- Bernhard_Steffen_(computer_scientist) wikiPageUsesTemplate Template:DBLP.
- Bernhard_Steffen_(computer_scientist) wikiPageUsesTemplate Template:GoogleScholar.
- Bernhard_Steffen_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
- Bernhard_Steffen_(computer_scientist) subject Category:1958_births.
- Bernhard_Steffen_(computer_scientist) subject Category:Formal_methods_people.
- Bernhard_Steffen_(computer_scientist) subject Category:German_computer_scientists.
- Bernhard_Steffen_(computer_scientist) subject Category:Living_people.
- Bernhard_Steffen_(computer_scientist) subject Category:Technical_University_of_Dortmund_faculty.
- Bernhard_Steffen_(computer_scientist) subject Category:University_of_Kiel_alumni.
- Bernhard_Steffen_(computer_scientist) subject Category:University_of_Passau_faculty.
- Bernhard_Steffen_(computer_scientist) hypernym Scientist.
- Bernhard_Steffen_(computer_scientist) type Person.
- Bernhard_Steffen_(computer_scientist) type Thing.
- Bernhard_Steffen_(computer_scientist) comment "Bernhard Steffen (born May 31, 1958 in Kiel, West Germany) is a Germancomputer scientist and professor at the TU Dortmund University, Germany.".
- Bernhard_Steffen_(computer_scientist) label "Bernhard Steffen (computer scientist)".
- Bernhard_Steffen_(computer_scientist) sameAs Q15699902.
- Bernhard_Steffen_(computer_scientist) sameAs Bernhard_Steffen_(Informatiker).
- Bernhard_Steffen_(computer_scientist) sameAs m.0_g_37h.
- Bernhard_Steffen_(computer_scientist) sameAs Q15699902.
- Bernhard_Steffen_(computer_scientist) wasDerivedFrom Bernhard_Steffen_(computer_scientist)?oldid=706335127.
- Bernhard_Steffen_(computer_scientist) isPrimaryTopicOf Bernhard_Steffen_(computer_scientist).