( en | de | ru )

 

Disambiguierung von "Fehnker, Ansgar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tinkering in Informatics as Teaching Method.

, , und . CSEDU (1), Seite 450-457. SCITEPRESS, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ansgar Tigges

Ansgar Blömer

Ansgar Knobling

Ansgar Erpenbeck

Ansgar Hermes

 

Weitere Publikationen von Autoren mit dem selben Namen

Temporal Logic Model Checking, , , und . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines., , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 332-350. Springer, (2021)Efficient Guiding Towards Cost-Optimality in UPPAAL., , , , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 174-188. Springer, (2001)An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis., , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 164-178. Springer, (2018)Double-Spending Analysis of Bitcoin., , und . PACIS, Seite 210. (2020)A sports day for programming.. CSERC, Seite 11:1-11:6. ACM, (2020)Managing Verification Activities Using SVM., , , , , , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 61-75. Springer, (2004)Tinkering in Informatics as Teaching Method., , und . CSEDU (1), Seite 450-457. SCITEPRESS, (2020)Keeping Humans in the Loop: LLM Supported Oral Examinations., und . ITS (1), Volume 14798 von Lecture Notes in Computer Science, Seite 312-319. Springer, (2024)Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets.. HSCC, Volume 1386 von Lecture Notes in Computer Science, Seite 110-125. Springer, (1998)