Alex Gerdes
Orcid: 0000-0002-7445-211X
According to our database1,
Alex Gerdes
authored at least 20 papers
between 2008 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
0
1
2
3
4
1
1
2
3
2
2
3
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018
2017
Int. J. Artif. Intell. Educ., 2017
2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015
2014
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Computer Science Education Research Conference, 2014
2013
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013
2012
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012
Proceedings of the 21st Century Learning for 21st Century Skills, 2012
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012
2011
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011
2010
Proceedings of the Proceedings International Workshop on Strategies in Rewriting, 2010
Proceedings of the 41st ACM technical symposium on Computer science education, 2010
2009
Constructing Strategies for Programming.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009
2008
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008