( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Implicit QBF Encodings for Positional Games.

, , , и . ACG, том 14528 из Lecture Notes in Computer Science, стр. 133-145. Springer, (2023)

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.

Silvia De Pol

Jaco Vangronsveld

Hartmut Jaco

Klaus Jaco

Johanna Pol

 

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

Distributed Branching Bisimulation Minimization by Inductive Signatures, и . PDMC, том 14 из EPTCS, стр. 32-46. (2009)Simulated Time for Testing Railway Interlockings with TTCN-3., , , , и . FATES, том 3997 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2005)Accelerated Modal Abstractions of Labelled Transition Systems., и . AMAST, том 4019 из Lecture Notes in Computer Science, стр. 338-352. Springer, (2006)A Bounded Retransmission Protocol for Large Data Packets., и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 536-550. Springer, (1996)Computing Weakest Strategies for Safety Games of Imperfect Information., и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 92-106. Springer, (2009)Compositional Control Synthesis for Partially Observable Systems., и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 431-447. Springer, (2009)Formal Specification of JavaSpaces Architecture Using µCRL., и . COORDINATION, том 2315 из Lecture Notes in Computer Science, стр. 274-290. Springer, (2002)Concurrent Chaining Hash Maps for Software Model Checking., и . FMCAD, стр. 46-54. IEEE, (2019)Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin., и . Models, Mindsets, Meta, том 11200 из Lecture Notes in Computer Science, стр. 417-430. Springer, (2018)Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems., , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 516-543 (октября 2023)