( en | de | ru )

 

Disambiguierung von "Bruynooghe, Maurice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

, , , und . CoRR, (2007)

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.

Maurice Hollmann

Wissensrepräsentation zur integrierten Steuerung von Experimenten in der Echtzeit-fMRT: neuroökonomische Untersuchung sozialer Interaktion. Uni Magdeburg, (2009)

Maurice Arcq

Maurice Bonten

Maurice Horcajo

Maurice Kersten

 

Weitere Publikationen von Autoren mit dem selben Namen

Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , und . J. Electron. Test., 26 (2): 279-292 (2010)Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation., und . J. Log. Program., 13 (2&3): 205-258 (1992)Mining data from intensive care patients., , , , , , und . Adv. Eng. Informatics, 21 (3): 243-256 (2007)Polymorphic algebraic data type reconstruction., und . PPDP, Seite 85-96. ACM, (2006)Database Repair by Signed Formulae., , , und . FoIKS, Volume 2942 von Lecture Notes in Computer Science, Seite 14-30. Springer, (2004)Offline Specialisation in Prolog Using a Hand-Written Compiler Generator, , , und . CoRR, (2002)Enhancing a search algorithm to perform intelligent backtracking.. Theory Pract. Log. Program., 4 (3): 371-380 (2004)Special Issue on Program Development, Guest Editors' Introduction., und . Theory Pract. Log. Program., 2 (4-5): 423-424 (2002)Learning ( k , l )-contextual tree languages for information extraction from web pages., , und . Mach. Learn., 71 (2-3): 155-183 (2008)A MIP Backend for the IDP System., , , und . CoRR, (2016)