( en | de | ru )

 

Disambiguation of "Gibson, J. Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs.

, and . SIGCSE, page 495-499. ACM, (2005)

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.

Josefine Gibson

Joel Gibson

Christoph Gibson

Karin Gibson

Paul J Müller

 

Other publications of authors with the same name

Towards a Feature Interaction Algebra.. FIW, page 217-231. IOS Press, (1998)Lower bounds on the computational power of an optical model of computation., and . Nat. Comput., 7 (1): 95-108 (2008)Teaching graph algorithms to children of all ages.. ITiCSE, page 34-39. ACM, (2012)Software engineering as a model of understanding for learning and problem solving., and . ICER, page 87-97. ACM, (2005)Applying a Dependency Mechanism for Voting Protocol Models Using Event-B., , and . FORTE, volume 10321 of Lecture Notes in Computer Science, page 124-138. Springer, (2017)Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements., , and . ISARCS, volume 6150 of Lecture Notes in Computer Science, page 89-108. Springer, (2010)Formal object oriented development of software systems using LOTOS.. University of Stirling, UK, (1993)British Library, EThOS.A Critical Analysis of the Council of Europe Recommendations on E-Voting., and . EVT, USENIX Association, (2006)Formal Requirements Engineering: Learning from the Students.. Australian Software Engineering Conference, page 171-180. IEEE Computer Society, (2000)Explicit Modelling of Physical Measures: From Event-B to Java., and . IMPEX/FM&MDD, volume 271 of EPTCS, page 64-79. (2017)