Autor der Publikation

WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms

, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (2001)

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

Automatic Treatment Session Summaries in Psychotherapy - A Step towards Therapist-Patient Cooperation., und . EUSPN/ICTH, Volume 63 von Procedia Computer Science, Seite 276-283. Elsevier, (2015)Towards Semantic Event-Driven Systems., , , , und . NTMS, Seite 1-6. IEEE, (2009)Efficient Event Detection for the Blogosphere., , , , und . BDCloud, Seite 408-415. IEEE, (2014)Hot spot detection - An interactive cluster heat map for sentiment analysis., , , , , und . DSAA, Seite 1-9. IEEE, (2015)From Reputation Models and Systems to Reputation Ontologies., und . IFIPTM, Volume 358 von IFIP Advances in Information and Communication Technology, Seite 98-116. Springer, (2011)Dynamic scalability and contention prediction in public infrastructure using Internet application profiling., , und . CloudCom, Seite 208-216. IEEE Computer Society, (2012)openHPI - A case-study on the emergence of two learning communities., , , , , und . EDUCON, Seite 1323-1331. IEEE, (2013)Internetworking - Technische Grundlagen und Anwendungen, und . X.media.press Springer, (2012)Separating the Eraser Turing Machine Classes L_e, NL_e, co-NL_e and P_e., , und . Theor. Comput. Sci., 86 (2): 267-275 (1991)A Proposal for Trust Model: Independent Trust Intermediary Service (ITIS)., und . ICWI, Seite 785-790. IADIS, (2002)