( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Aserbaidschan – Ressourcen, Konflikt(e), Transformationen

, и . Materialen und Diskussionsgrundlagen des Faches Wirtschaftsgeographie Katholische Universität Eichstätt-Ingolstadt, (2014)

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.

Michael Huth

Michael Huth

Michael Huth

Michael Huth

Michael Huth

 

Другие публикации лиц с тем же именем

Mathematics for the exploration of requirements.. ACM SIGCSE Bull., 36 (2): 34-39 (2004)The Interval Domain: A Matchmaker for aCTL and aPCTL.. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, том 14 из Electronic Notes in Theoretical Computer Science, стр. 134-148. Elsevier, (1997)Reasoning about Smart City., , , , , и . SMARTCOMP, стр. 381-386. IEEE Computer Society, (2018)Owner-Centric Sharing of Physical Resources, Data, and Data-Driven Insights in Digital Ecosystems., , , , , и . SACMAT, стр. 73-81. ACM, (2019)Interaction Orders as Games.. Theory and Formal Methods, стр. 21-40. Imperial College Press, (1994)Secure Multi-party Computation: Information Flow of Outputs and Game Theory., и . POST, том 10204 из Lecture Notes in Computer Science, стр. 71-92. Springer, (2017)Abstraction-Based Model Checking Using Modal Transition Systems., , и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 426-440. Springer, (2001)Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent., , , и . HCI (27), том 8030 из Lecture Notes in Computer Science, стр. 246-255. Springer, (2013)Abstraction and Probabilities for Hybrid Logics.. QAPL, том 112 из Electronic Notes in Theoretical Computer Science, стр. 61-76. Elsevier, (2004)Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning., , и . PAAR@IJCAR, том 21 из EPiC Series in Computing, стр. 29-42. EasyChair, (2012)