Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).

O. Inverso, E. Tomasco, B. Fischer, S. Torre, and G. Parlato. TACAS, volume 8413 of Lecture Notes in Computer Science, page 398-401. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernd Bertsche

Dr. rer. nat. Bernd Schulz University of Stuttgart

Bernd Peters University of Stuttgart

apl. Prof. Dr. Bernd Flemisch University of Stuttgart

S. Fischer

Other publications of authors with the same name

Wavelets based on orthogonal polynomials.B. Fischer, and J. Prestin. Math. Comput., 66 (220): 1593-1618 (1997)ALADIN: A Scanner Generator for Incremental Programming Environments.B. Fischer, C. Hammer, and W. Struckmann. Softw., Pract. Exper., 22 (11): 1011-1025 (1992)The 2002 AAAI Spring Symposium Series.J. Karlgren, P. Kanerva, B. Gambäck, K. Forbus, K. Tumer, P. Stone, K. Goebel, G. Sukhatme, T. Balch, B. Fischer and 8 other author(s). AI Magazine, 23 (4): 101-106 (2002)Verbesserung der Symmetrie von Hirnaufnahmen entlang der Sagittalebene.K. Ens, F. Wenzel, and B. Fischer. Bildverarbeitung für die Medizin, page 187-191. Springer, (2009)Ein PASCAL-Compiler für das DIETZ-System 621x2.L. Dreschler-Fischer, B. Fischer, M. Mittelstein, and H. Nagel. PASCAL, volume 1 of Berichte des German Chapter of the ACM, page 84-94. Teubner, (1979)An ensemble approach to building Mercer Kernels with prior information.A. Srivastava, J. Schumann, and B. Fischer. SMC, page 2352-2359. IEEE, (2005)Bagging for Path-Based Clustering.B. Fischer, and J. Buhmann. IEEE Trans. Pattern Anal. Mach. Intell., 25 (11): 1411-1415 (2003)Highly accurate fast lung CT registration.J. Rühaak, S. Heldmann, T. Kipshagen, and B. Fischer. Medical Imaging: Image Processing, volume 8669 of SPIE Proceedings, page 86690Y. SPIE, (2013)Interpreting Abstract Interpretations in Membership Equational Logic.B. Fischer, and G. Rosu. Electr. Notes Theor. Comput. Sci., 59 (4): 271-285 (2001)Empirically Successful Automated Reasoning: Systems Issue.B. Fischer, G. Sutcliffe, and S. Schulz. J. Autom. Reasoning, 36 (4): 287 (2006)