Bibsonomy :: author  ::

bookmarks

publications

(28)

• Abschlußbericht : [Abschlußdatum Dezember 1997]
  {Swen} Pfister and {Jörg} Broll-Bickhardt (1998)
  to Abfluss Grundwasserschutz Regenwasser Schadstoffeintrag Siedlung by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
  Viorica Sofronie-Stokkermans and Carsten Ihlemann and Swen Jacobs Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Hidden sentiment association in chinese web opinion mining.
  Qi Su and Xinying Xu and Honglei Guo and Zhili Guo and Xian Wu and Xiaoxun Zhang and Bin Swen and Zhong Su WWW 959-968 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• On Local Reasoning in Verification.
  Carsten Ihlemann and Swen Jacobs and Viorica Sofronie-Stokkermans TACAS 265-281 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• A Domain Expert
  Swen Helm A Domain Expert (2006)
  to definition domain expert imported by juve on 2007-12-28 08:34:44
  | URL | BibTeX  
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.
  Werner Damm and Stefan Disch and Hardi Hungar and Swen Jacobs and Jun Pang and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz ATVA 425-440 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• A biological definition of Burkitt's Lymphoma from transcriptional and genomic profiling
  Michael Hummel and Stefan Bentink and Hilmar Berger and Wolfram Klapper and Swen Wessendorf and Thomas F.E. Barth and Heinz-Wolfram Bernd and Sergio B. Cogliatti and Judith Dierlamm and Alfred C. Feller and Martin-Leo Hansmann and Eugenia Haralambieva and Lana Harder and Dirk Hasenclever and Michael K"uhn and Dido Lenze and Peter Lichter and Jose Ignacio Martin-Subero and Peter M"oller and Hans-Konrad M"uller-Hermelink and German Ott and Reza M. Parwaresch and Christiane Pott and Andreas Rosenwald and Maciej Rosolowski and Carsten Schwaenen and Benjamin St"urzenhofecker and Monika Szczepanowski and Heiko Trautmann and Hans-Heinrich Wacker and Rainer Spang and Markus L"offler and Lorenz Tr"umper and Harald Stein and Reiner Siebert The New England Journal of Medicine 354 2419--2430 (2006)
  to imported by tkirsten on 2007-10-23 13:35:30
  | URL | BibTeX  
• Applications of Hierarchical Reasoning in the Verification of Complex Systems.
  Swen Jacobs and Viorica Sofronie-Stokkermans Electr. Notes Theor. Comput. Sci. 174 39-54 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
  Johannes Faber and Swen Jacobs and Viorica Sofronie-Stokkermans IFM 233-252 (2007)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• Comparing Instance Generation Methods for Automated Reasoning.
  Swen Jacobs and Uwe Waldmann J. Autom. Reasoning 38 57-78 (2007)
  to dblp by dblp on 2007-09-18 00:00:00
  | URL | BibTeX