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

Safe functional systems through integrity types and verified assembly., , , , , and . Theor. Comput. Sci., (2021)Programming Language Techniques for Improving ISA and HDL Design.. University of California, Santa Barbara, USA, (2021)Exploring Gamification Elements to Enhance User Motivation in a Cyber Security Learning Platform Through Focus Group Interviews., , and . EuroS&P Workshops, page 470-476. IEEE, (2022)Vax-Culture: A Dataset for Studying Vaccine Discourse on Twitter., , , and . IJCNN, page 1-8. IEEE, (2023)Bottom-up, Top-down? Connecting Software Architecture Design with Use., , , , and . Configuring User-Designer Relations, Springer, (2009)Automatic classification of software artifacts in open-source applications., , , , , and . MSR, page 414-425. ACM, (2018)PyLSE: a pulse-transfer level language for superconductor electronics., , , , , and . PLDI, page 671-686. ACM, (2022)Reestablishing '' the Social'' in Research on Democratic Processes: Mid-Century Voter Studies and Paul F. Lazarsfeld's Alternative Vision. Journal of the History of the Behavioral Sciences, 51 (3): 308--332 (2015)Credibility of Policy Announcements Under Asymmetric Information. Journal of Policy Modeling, 21 (6): 747--751 (November 1999)The Tangled Nature Model for organizational ecology., , , and . Comput. Math. Organ. Theory, 23 (1): 1-31 (2017)