( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking.

, и . GIFT@ICMI, стр. 5:1-5:7. ACM, (2018)

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.

Oana Andrei

Oana Schüszler

Oana Stan

Oana Lorintiu

Oana Goga

 

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

A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata.. UKICER, стр. 20:1. ACM, (2022)Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein., и . Trans. Computational Systems Biology, (2012)Strategy-Based Proof Calculus for Membrane Systems., и . WRLA, том 238 из Electronic Notes in Theoretical Computer Science, стр. 23-43. Elsevier, (2008)Balancing Turn-Based Games With Chained Strategy Generation., , , и . IEEE Trans. Games, 13 (2): 113-122 (2021)Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles., , , и . CoRR, (2023)The Development of Students' Professional Competencies on a Work-Based Software Engineering Program., , , и . SIGCSE (1), стр. 81-87. ACM, (2024)Runtime Verification for Biochemical Programs., и . Hybrid Autonomous Systems@ETAPS, том 297 из Electronic Notes in Theoretical Computer Science, стр. 27-46. Elsevier, (2011)Patterns for Maude Metalanguage Applications., , , , и . WRLA, том 238 из Electronic Notes in Theoretical Computer Science, стр. 121-138. Elsevier, (2008)Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking., и . GIFT@ICMI, стр. 5:1-5:7. ACM, (2018)Operational Semantics and Rewriting Logic in Membrane Computing., , и . SOS@ICALP, том 156 из Electronic Notes in Theoretical Computer Science, стр. 57-78. Elsevier, (2005)