Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Group Decision Support: The Effects of Designated Human Leaders and Statistical Feedback in Computerized Conferences., , and . J. of Management Information Systems, 8 (2): 81-108 (1991)Effects of Four Modes of Group Communication on the Outcomes of Software Requirements Determination., , , and . J. of Management Information Systems, 15 (1): 99-118 (1998)Adaptive model learning for continual verification of non-functional properties., , , and . ICPE, page 87-98. ACM, (2014)Efficient parametric model checking using domain-specific modelling patterns., , and . ICSE (NIER), page 61-64. ACM, (2018)Measuring acceptance of computer-mediated communication systems., and . JASIS, 40 (6): 386-397 (1989)Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning., , , , , and . CloudCom (2), page 144-151. IEEE Computer Society, (2013)978-0-7695-5095-4.The Process of Communication in Face to Face Vs. Computerized Conferences. A Controlled Experiment Using Bales Interaction Process Analysis., , and . ACL, ACL, (1980)An incremental verification framework for component-based software systems., , and . CBSE, page 33-42. ACM, (2013)Efficient Parametric Model Checking Using Domain Knowledge., , and . CoRR, (2018)Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form., , , , , and . ECEASST, (2009)