Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

DawDreamer: Bridging the Gap Between Digital Audio Workstations and Python Interfaces.. CoRR, (2021)Puffin: a fast and efficient web service-based condor job manager., , , , and . SC-GCE, ACM, (2009)Teaching Sustainability Analysis in Electrical Engineering Lab Courses.. IEEE Trans. Educ., 53 (2): 243-247 (2010)An IP address configuration algorithm for multi-router zeroconf networks., , , and . ISCC, page 462-467. IEEE Computer Society, (2002)UP2P: a peer-to-peer overlay architecture for ubiquitous communications and networking., , , , , , , , and . IEEE Communications Magazine, 46 (12): 32-39 (2008)Google web toolkit for OGCE gadget based architecture., , and . SC-GCE, page 37-42. ACM, (2011)A Concept for Optimal Warehouse Allocation Using Contextual Multi-Arm Bandits., , , and . ICEIS (1), page 460-467. SCITEPRESS, (2023)Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective. (Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry).. University of Strasbourg, France, (2019)What is character?. J. Philosophical Logic, 24 (3): 227-240 (1995)Two cryptomorphic formalizations of projective incidence geometry., , and . Ann. Math. Artif. Intell., 85 (2-4): 193-212 (2019)