Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters
Clear all

Publication Year

  • 2020
  • 2019
  • 2016
  • 2014
  • 2012
  • 2011

Author

  • Ansgar Fehnker
  • 7 results
  • Export search results

Search results

  • Abstract

    Atelier for Creative Programming

    Fehnker, A. & Mader, A., 2 May 2020. 1 p.

    Research output: Contribution to conference › Abstract › Academic

    Open Access
    File
    19 Downloads (Pure)
  • Article

    High Performance Static Analysis for Industry

    Bradley, M., Cassez, F., Fehnker, A., Given-Wilson, T. & Huuck, R., 2012, In : Electronic proceedings in theoretical computer science. 289, p. 3-14 12 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    10 Downloads (Pure)
  • Conference contribution

    Detecting and Addressing Design Smells in Novice Processing Programs

    Fehnker, A. & de Man, R., 20 Jun 2019, Computer Supported Education: 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers. McLaren, B. M., Reilly, R., Zvacek, S. & Uhomoibhi, J. (eds.). Cham: Springer, p. 507-531 25 p. (Communications in Computer and Information Science; vol. 1022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Model Checking a Client-Side Micro Payment Protocol

    Chaudhary, K. & Fehnker, A., 1 Dec 2016, 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE 2016). IEEE, p. 90-97 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • SMT-Based False Positive Elimination in Static Program Analysis

    Junker, M., Huuck, R., Fehnker, A. & Knapp, A., 2012, Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Aoki, T. & Taguchi, K. (eds.). Berlin: Springer, p. 316-331 16 p. (Lecture Notes in Computer Science; vol. 7635).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    23 Citations (Scopus)
  • Paper

    A Distributed Blockchain Model of Selfish Mining

    Eijkel, D. & Fehnker, A., 11 Oct 2019, p. 48-59.

    Research output: Contribution to conference › Paper › Academic › peer-review

    Open Access
    File
    30 Downloads (Pure)

  • Tinkering in Informatics as Teaching Method

    Mader, A. H., Fehnker, A. & Dertien, E. C., 2 May 2020, p. 450-457. 8 p.

    Research output: Contribution to conference › Paper › Academic › peer-review

    Open Access
    File
    47 Downloads (Pure)