Autor der Publikation

Enriching the Object-Oriented Paradigm via Shadows in the Context of Mathematics.

, , , , und . J. Object Technol., 5 (6): 107-126 (2006)

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

Finding minimum and maximum termination time of timed automata models with cyclic behaviour., , und . Theor. Comput. Sci., (2017)Bisimulation Quantified Logics: Undecidability.. FSTTCS, Volume 3821 von Lecture Notes in Computer Science, Seite 396-407. Springer, (2005)A card-sorting probe of e-banking trust perceptions., , und . BCS HCI (1), Seite 45-53. BCS, (2007)Idempotent Transductions for Modal Logics.. FroCoS, Volume 4720 von Lecture Notes in Computer Science, Seite 178-192. Springer, (2007)Decidability of Propositionally Quantified Logics of Knowledge.. Australian Conference on Artificial Intelligence, Volume 2903 von Lecture Notes in Computer Science, Seite 352-363. Springer, (2003)PCA for improving the performance of XCSF in classification of high-dimensional problems., , , und . GECCO (Companion), Seite 361-368. ACM, (2011)Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning., , , und . AAAI, Seite 23020-23026. AAAI Press, (2024)Applying cognitive computing to maintainer-collected data., , , und . ICSRS, Seite 543-551. IEEE, (2017)The Expressivity of Quantified Group Announcements., , , und . J. Log. Comput., 33 (6): 1122-1151 (August 2023)A process model for developing usable cross-cultural websites., , , , und . Interact. Comput., 16 (1): 63-91 (2004)