Alex Gerdes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2008–2026
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITiCSE | Using the Potential of GenAI Tools for Accessibility. | Natalie Kiesler, Bedour Alshaigy, Yasmine N. Elglaly, Ilenia Fronza, Alex Gerdes, Earl W. Huff, Sven Jacobs, Dominic Lohr, Raymond Pettit, Andreas Scholl, Sandra Schulz, David H. Smith |
| 2015 | ICST | Graphical editing support for QuickCheck models. | Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes |
| 2014 | SAFECOMP | Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. | Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes |
| 2013 | FedCSIS | Requirements on automatically generated random test cases. | Thomas Arts, Alex Gerdes, Magnus Kronqvist |
| 2013 | SAFECOMP | Don't Judge Software by Its (Code) Coverage. | Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth stberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund |
| 2012 | ITiCSE | An interactive functional programming tutor. | Alex Gerdes, Johan Jeuring, Bastiaan Heeren |
| 2010 | SIGCSE | Using strategies for assessment of programming exercises. | Alex Gerdes, Johan Jeuring, Bastiaan Heeren |
| 2009 | CSEDU | Constructing Strategies for Programming. | Alex Gerdes, Bastiaan Heeren, Johan Jeuring |
| 2008 | AISC | Specifying Strategies for Exercises. | Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes |
| 2008 | HASKELL | Comparing libraries for generic programming in haskell. | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |