( en | de | ru )

 

Disambiguierung von "French, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Knowledge, awareness, and bisimulation.

, , , und . TARK, (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.

Ramona French

Ramona French

Cecily French

Martin French

Katrin Kerl-French

 

Weitere Publikationen von Autoren mit dem selben Namen

Idempotent Transductions for Modal Logics.. FroCoS, Volume 4720 von Lecture Notes in Computer Science, Seite 178-192. Springer, (2007)PCA for improving the performance of XCSF in classification of high-dimensional problems., , , und . GECCO (Companion), Seite 361-368. ACM, (2011)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)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)Finding minimum and maximum termination time of timed automata models with cyclic behaviour., , und . Theor. Comput. Sci., (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)Natural Language Query for Technical Knowledge Graph Navigation., , , , und . AusDM, Volume 1741 von Communications in Computer and Information Science, Seite 176-191. Springer, (2022)A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams., , und . IV, Seite 183-188. IEEE Computer Society, (2003)