Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bernhard_Steffen_(computer_scientist)> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- Bernhard_Steffen_(computer_scientist) abstract "Bernhard Steffen (born May 31, 1958 in Kiel, Germany) is a Germancomputer scientist and professor at the TU Dortmund University,Germany. His research focuses on various facets of formal methods rangingfrom 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 heco-developed the Edinburgh Concurrency Workbench and authored one of the earliestpapers 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 theUniversity of Passau. Since 1997 he holds the chair of programming systems at TU Dortmund University where he was Dean of Computer Science between 2002and 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 Steffen:Bernhard.html.
- Bernhard_Steffen_(computer_scientist) wikiPageExternalLink Bernhard_Steffen.html.
- Bernhard_Steffen_(computer_scientist) wikiPageExternalLink citations?user=YFGsf1YAAAAJ.
- Bernhard_Steffen_(computer_scientist) wikiPageID "41750884".
- Bernhard_Steffen_(computer_scientist) wikiPageRevisionID "604805395".
- 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:University_of_Kiel_alumni.
- Bernhard_Steffen_(computer_scientist) subject Category:TU_Dortmund_University_faculty.
- Bernhard_Steffen_(computer_scientist) comment "Bernhard Steffen (born May 31, 1958 in Kiel, Germany) is a Germancomputer scientist and professor at the TU Dortmund University,Germany.".
- Bernhard_Steffen_(computer_scientist) label "Bernhard Steffen (Informatiker)".
- Bernhard_Steffen_(computer_scientist) label "Bernhard Steffen (computer scientist)".
- 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) sameAs Q15699902.
- Bernhard_Steffen_(computer_scientist) wasDerivedFrom Bernhard_Steffen_(computer_scientist)?oldid=604805395.
- Bernhard_Steffen_(computer_scientist) isPrimaryTopicOf Bernhard_Steffen_(computer_scientist).