Tim Wahls
According to our database1,
Tim Wahls
authored at least 20 papers
between 1999 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2017
2016
Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements.
CoRR, 2016
MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
2013
2012
Proceedings of the ACM Symposium on Applied Computing, 2012
2011
ACM Trans. Comput. Educ., 2011
2010
Proceedings of the 41st ACM technical symposium on Computer science education, 2010
2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
2008
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008
2006
Proceedings of the Formal Methods: Applications and Technology, 2006
2005
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005
2004
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004
2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
2001
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
2000
Autom. Softw. Eng., 2000
1999
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999