Automated Software Testing as a Service George Candea, Stefan Bucur, Cristian Zamfir School of Computer and Communication Sciences École Polytechnique Fédérale de Lausanne (EPFL), Switzerland ABSTRACT

Source URL: dslab.epfl.ch

A framework for secure electronic voting Stefan Popoveniuc and Poorvi L. Vora The George Washington University Department of Computer Science poste,

Source URL: www.chaum.com

• Voting
• Politics
• Elections
• Electoral systems
• Electronic voting
• Vote counting
• Punchscan
• Scantegrity
• Optical scan voting system
• End-to-end auditable voting systems
• Voting system
• Ballot

Intersection Graphs of L-Shapes and Segments in the Plane? Stefan Felsner1 , Kolja Knauer2 , George B. Mertzios3 , and Torsten Ueckerdt4 1 Institut f¨

Source URL: community.dur.ac.uk

• Graph theory
• Planar graphs
• Graph coloring
• Intersection graph
• Line graph
• Graph
• Ear decomposition
• Treewidth
• Interval graph
• Pathwidth
• Graph minor

On the Recognition of Four-Directional Orthogonal Ray Graphs∗ Stefan Felsner1 , George B. Mertzios2 , and Irina Mustat, ˘a1 1 2

Source URL: community.dur.ac.uk

• Graph
• Graph theory
• Ear decomposition
• Clique
• Intersection graph
• Comparability graph
• Orientation
• Line graph
• Interval graph

Intersection Graphs of L-Shapes and Segments in the Plane? Stefan Felsner1 , Kolja Knauer2 , George B. Mertzios3 , and Torsten Ueckerdt4 1 Institut f¨

Source URL: community.dur.ac.uk

• Planar graphs
• Intersection graph
• Line graph
• Graph
• Planar separator theorem
• String graph

2014 ANNUAL REPORT 2014 ANNUAL REPORT Polish-American Freedom Foundation

Source URL: www.en.pafw.pl

• Education for Democracy Foundation
• Bill & Melinda Gates Foundation
• George Soros
• Stefan Batory Foundation
• Social economy
• Health
• Structure
• Rural Development Foundation
• Poland

2014 ANNUAL REPORT 2014 ANNUAL REPORT Polish-American Freedom Foundation

Source URL: www.pafw.pl

• Education for Democracy Foundation
• Bill & Melinda Gates Foundation
• George Soros
• Stefan Batory Foundation
• Social economy
• Health
• Structure
• Rural Development Foundation
• Poland

The Art of Fugue: Heidegger on Rhythm David Nowell-Smith During his short lecture on Stefan George’s “Das Wort,” Heidegger turns to another of George’s “songs,” “In stillste ruh.” After reading the poem a

Source URL: heideggercircle.org

Intersection Graphs of L-Shapes and Segments in the Plane? Stefan Felsner1 , Kolja Knauer2 , George B. Mertzios3 , and Torsten Ueckerdt4 1 Institut f¨

Source URL: page.math.tu-berlin.de

Efficient Symbolic Execution for Software Testing Johannes Kinder Royal Holloway, University of London Joint work with: Stefan Bucur, George Candea, Volodymyr Kuznetsov @ EPFL

Source URL: www.cs.rhul.ac.uk