From post

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.

 

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

Differential regularization and renormalization: A New method of calculation in quantum field theory, , и . Nucl. Phys., (1992)Efficient Parametric Model Checking Using Domain Knowledge., , и . IEEE Trans. Software Eng., 47 (6): 1114-1133 (2021)Continual Model-Based Analysis., , , и . Composing Model-Based Analysis Tools, Springer, (2021)Effects of Four Modes of Group Communication on the Outcomes of Software Requirements Determination., , , и . J. Manag. Inf. Syst., 15 (1): 99-118 (1998)Group Decision Support: The Effects of Designated Human Leaders and Statistical Feedback in Computerized Conferences., , и . J. Manag. Inf. Syst., 8 (2): 81-108 (1991)Efficient parametric model checking using domain-specific modelling patterns., , и . ICSE (NIER), стр. 61-64. ACM, (2018)Zero-error rule induction using a memetic algorithm., , и . SSCI, стр. 647-654. IEEE, (2020)Adaptive model learning for continual verification of non-functional properties., , , и . ICPE, стр. 87-98. ACM, (2014)Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions., , и . SEAA, стр. 521-528. IEEE, (2020)The algebraic specification of spatial data types with applications to constructive volume geometry.. Swansea University, UK, (2007)British Library, EThOS.