Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards.

S. Davtyan, S. Kentros, A. Kiayias, L. Michel, N. Nicolaou, A. Russell, A. See, N. Shashidhar, und A. Shvartsman. EVT, USENIX Association, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Laurent Helden University of Stuttgart

Johannes Michel University of Stuttgart

Michel Choudalakis University of Stuttgart

Michel Mom University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Maintaining Longest Paths Incrementally.I. Katriel, L. Michel, und P. Hentenryck. Constraints, 10 (2): 159-183 (2005)Integrating Access Control into UML for Secure Software Modeling and Analysis.T. Doan, S. Demurjian, L. Michel, und S. Berhe. IJSSE, 1 (1): 1-19 (2010)A simple tabu search for warehouse location.L. Michel, und P. Hentenryck. European Journal of Operational Research, 157 (3): 576-591 (2004)Newton - Constraint Programming over Nonlinear Constraints.P. Hentenryck, L. Michel, und F. Benhamou. Sci. Comput. Program., 30 (1-2): 83-118 (1998)Constraint-based local search.P. Hentenryck, und L. Michel. MIT Press, (2005)The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces.H. Dinh, H. Dinh, L. Michel, und A. Russell. J. Artif. Intell. Res., (2012)Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting.A. Kiayias, L. Michel, A. Russell, N. Shashidhar, A. See, A. Shvartsman, und S. Davtyan. ACSAC, Seite 30-39. IEEE Computer Society, (2007)Perception-action coupling model for human locomotor pointing.A. de Rugy, G. Taga, G. Montagne, M. Buekers, und M. Laurent. Biological Cybernetics, 87 (2): 141-150 (2002)Scheduling Abstractions for Local Search.P. Hentenryck, und L. Michel. CPAIOR, Volume 3011 von Lecture Notes in Computer Science, Seite 319-334. Springer, (2004)Model-Driven Visualizations of Constraint-Based Local Search.G. Dooms, P. Hentenryck, und L. Michel. CP, Volume 4741 von Lecture Notes in Computer Science, Seite 271-285. Springer, (2007)