Hendrik Winkelmann und Herbert Kuchen - Info zur Person

(1 - 10 von 10

)

Programm - Complangwww.complang.tuwien.ac.at › gi-fgpsurk › Honnef2021 › Programm_37_...

www.complang.tuwien.ac.at

... Baltasar Trancón y Widemann) 10:15-11:45: Sitzung 1 (Sitzungsleitung: Baltasar Trancón y Widemann) - Herbert Kuchen und Hendrik Winkelmann.

Functional and Constraint Logic Programming: 28th ...

books.google.cz

... Arrays Hendrik Winkelmann( B ) , Jan C. Dageförde , and Herbert Kuchen ERCIS, Leonardo-Campus 3, Münster, Germany {hendrik.winkelmann,dagefoerde ...

Herbert Kuchen - dblpdblp.uni-trier.de › Persons

dblp.uni-trier.de

· Jan C. Dageförde, Hendrik Winkelmann , Herbert Kuchen: Free Objects in Constraint-logic Object-oriented Programming.

Herbert Kuchen - DBLP - Schloss Dagstuhl

dblp.dagstuhl.de

Hendrik Winkelmann, Herbert Kuchen: Constraint-logic object-oriented programming on the Java virtual machine. SAC 2022: text to speech. › Persons

Functional and Constraint Logic Programming - Springer Link

link.springer.com

— Constraint-Logic Object-Oriented Programming with Free Arrays. Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen. Pages › book

Genetisches Rule Mining - Globale Modellerklärungen mit MAGIE

blog.viadee.de

Eine Zusammenfassung der Ergebnisse aus der Master Thesis von Hendrik Winkelmann, in Zusammenarbeit mit Prof. Dr. Herbert Kuchen an der WWU Münster.

SAC-SVT 2021

sites.google.com

Hendrik Winkelmann and Herbert Kuchen. Solidifier: bounded model checking Solidity using lazy contract deployment and precise memory modelling. › view › sv...

Conferences Best Paper Awards

netheril.club

By Hendrik Winkelmann, Laura Troost, Herbert Kuchen ACM SAC Best Paper Award for theme: Software Design and Development at SAC '22: The 37th ACM/SIGAPP ... › conferences

SAC acm sigapp

www.sigapp.org

"Constraint-Logic Object-Oriented Programming for Test Case Generation" by Hendrik Winkelmann, Laura Troost and Herbert Kuchen from the SE track ... › sac › sac...

Alle Infos zum Namen "Hendrik Winkelmann"

Verwandte Suchanfragen zu Hendrik Winkelmann

Frank Hülsmann
Durk Visser
Alexander Bülow

Laura Troost
Martin Kass
Dennis Meis

Ramin Chams-Diba
Fabian Erlhöfer
Dominic Görke

Person "Winkelmann" (12)
Vorname "Hendrik" (10822)
Name "Winkelmann" (1428)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Hendrik Winkelmann und Herbert Kuchen Person-Info