Autor der Publikation

A Case Study in JML-Assisted Software Development.

, , , , und . SBMF, Volume 240 von Electronic Notes in Theoretical Computer Science, Seite 5-21. Elsevier, (2008)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Using ecological and field survey data to establish a national list of the wild bee pollinators of crops, , , , , , , , , und 27 andere Autor(en). Agriculture, Ecosystems & Environment, (August 2021)A Middleware for the Deployment of Ambient Intelligent Spaces., , , , , , und . Ambient Intelligence in Everyday, (2006)Micropolar Fluids Using B-spline Divergence Conforming Spaces., , , , und . ICCS, Volume 29 von Procedia Computer Science, Seite 991-1001. Elsevier, (2014)On the implementation of HEVC decoders with high parallelization degree with OpenMP., , , und . ICCE, Seite 1-2. IEEE, (2019)Digital processing of ultrasound images on dilated blood vessels from diabetic patients., , , , , , und . J. Intell. Fuzzy Syst., 39 (2): 2559-2564 (2020)AIsoy 1: A Robot that Perceives, Feels and Makes Decisions., , , , und . ERCIM News, 2011 (84): 19 (2011)Convex Perceptrons., , und . IDEAL, Volume 4224 von Lecture Notes in Computer Science, Seite 578-585. Springer, (2006)Coefficient Structure of Kernel Perceptrons and Support Vector Reduction., , und . IWINAC (1), Volume 4527 von Lecture Notes in Computer Science, Seite 337-345. Springer, (2007)Massive database generation for 2.5D borehole electromagnetic measurements using refined isogeometric analysis., , , und . Comput. Geosci., (2021)A Functional Simplification of the BCS/FCS Image Segmentation., , , und . IbPRIA (1), Volume 3522 von Lecture Notes in Computer Science, Seite 110-118. Springer, (2005)