Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q15699902> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Q15699902 subject Q20047131.
- Q15699902 subject Q5312304.
- Q15699902 subject Q6647540.
- Q15699902 subject Q7035920.
- Q15699902 subject Q7693247.
- Q15699902 subject Q8388673.
- Q15699902 subject Q8466127.
- Q15699902 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.".
- Q15699902 wikiPageExternalLink Bernhard_Steffen.html.
- Q15699902 wikiPageWikiLink Q1049183.
- Q15699902 wikiPageWikiLink Q156737.
- Q15699902 wikiPageWikiLink Q1707.
- Q15699902 wikiPageWikiLink Q17085589.
- Q15699902 wikiPageWikiLink Q20047131.
- Q15699902 wikiPageWikiLink Q273263.
- Q15699902 wikiPageWikiLink Q2985386.
- Q15699902 wikiPageWikiLink Q5312304.
- Q15699902 wikiPageWikiLink Q6467292.
- Q15699902 wikiPageWikiLink Q6647540.
- Q15699902 wikiPageWikiLink Q685557.
- Q15699902 wikiPageWikiLink Q7035920.
- Q15699902 wikiPageWikiLink Q704468.
- Q15699902 wikiPageWikiLink Q713750.
- Q15699902 wikiPageWikiLink Q723682.
- Q15699902 wikiPageWikiLink Q752297.
- Q15699902 wikiPageWikiLink Q7693247.
- Q15699902 wikiPageWikiLink Q82594.
- Q15699902 wikiPageWikiLink Q8388673.
- Q15699902 wikiPageWikiLink Q8466127.
- Q15699902 wikiPageWikiLink Q924044.
- Q15699902 wikiPageWikiLink Q924265.
- Q15699902 type Thing.
- Q15699902 comment "Bernhard Steffen (born May 31, 1958 in Kiel, West Germany) is a Germancomputer scientist and professor at the TU Dortmund University, Germany.".
- Q15699902 label "Bernhard Steffen (computer scientist)".