Autor der Publikation

Exploiting Parallelism in Coalgebraic Logic Programming.

, , und . WACT, Volume 303 von Electronic Notes in Theoretical Computer Science, Seite 121-148. Elsevier, (2013)

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

Coevolutionary Processes for Strategic Decisions., , , und . MSRAS, Volume 28 von Advances in Soft Computing, Seite 85-98. Springer, (2004)Coalgebraic logic programming: from Semantics to Implementation., , und . J. Log. Comput., 26 (2): 745-783 (2016)Control Oriented Modeling of a Water Brake Dynamometer., , , , , , und . CCA, Seite 222-227. IEEE, (2010)A Survey on Mixed-Integer Programming Techniques in Bilevel Optimization., , , und . EURO J. Comput. Optim., (2021)A Flexible Thermoelectric Generator Worn on the Leg to Harvest Body Heat Energy and to Recognize Motor Activities: A Preliminary Study., , , , , , und . IEEE Access, (2021)Solving Real-Life Time-Tabling Problems.. ISMIS, Volume 1609 von Lecture Notes in Computer Science, Seite 648-656. Springer, (1999)A 6 V CMOS switching mode amplifier for continuous-wave signals from DC to 3 GHz., , , und . ISCAS, Seite 1-4. IEEE, (2017)Adding genetics to the standard PBIL algorithm., , und . CEC, Seite 1527-1534. IEEE, (1999)Coevolutionary TEMPO game., , , und . IEEE Congress on Evolutionary Computation, Seite 1610-1617. IEEE, (2004)DeepPerfusion: Camera-based Blood Volume Pulse Extraction Using a 3D Convolutional Neural Network., , , und . CinC, Seite 1-4. IEEE, (2020)