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

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)Wavelets based on orthogonal polynomials.B. Fischer, and J. Prestin. Math. Comput., 66 (220): 1593-1618 (1997)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)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)AutoBayes: a system for generating data analysis programs from statistical models.B. Fischer, and J. Schumann. J. Funct. Program., 13 (3): 483-508 (2003)Deduction-based software component retrieval.B. Fischer. University of Passau, Germany, (2002)