( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.

, и . ICFEM, том 10610 из Lecture Notes in Computer Science, стр. 209-225. Springer, (2017)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts., и . ICFEM, том 10610 из Lecture Notes in Computer Science, стр. 209-225. Springer, (2017)Basic first-order model theory in Mizar.. J. Formaliz. Reason., 3 (1): 49-77 (2010)A framework for automated conflict detection and resolution in medical guidelines., , , и . Sci. Comput. Program., (2019)A Formally Verified SMT Approach to True Concurrency., и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 357-371. CEUR-WS.org, (2020)Reasoning about Auctions, , , и . Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT), (2014)Representation Theorems Obtained by Mining across Web Sources for Hints., и . ICICT, стр. 203-210. IEEE, (2023)Isabelle Formalisation of Original Representation Theorems.. CICM, том 14101 из Lecture Notes in Computer Science, стр. 98-112. Springer, (2023)Preliminaries to Classical First Order Model Theory.. Formalized Mathematics, 19 (3): 155-167 (2011)Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods., и . APSEC, стр. 313-320. IEEE Computer Society, (2016)An Integrated Approach to a Combinatorial Optimisation Problem., и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 284-302. Springer, (2019)