Daniel Powell

Orcid: 0000-0003-4995-6057

According to our database1, Daniel Powell authored at least 8 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
"A Switch Went off in my Whole Body": Lived Experiences of Fatigue and Post-Exertional Malaise in Long Covid.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2017
Towards a Seamful Design of Networked Knowledge: Practical Pedagogies in Collaborative Teams.
Digit. Humanit. Q., 2017

2014
Seeing Dialogue: Network Visualization of Dramatic Texts.
Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014

2011
Infandango: automated grading for student programming.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010
Behavior Engineering - A Scalable Modeling and Analysis Method.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2004
Tool Support for Verification-Based Software Inspection.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Automatic Derivation of Loop Termination Conditions to Support Verification.
Proceedings of the Computer Science 2004, 2004

2002
Deriving Verification Conditions and Program Assertions to Support Software Inspection.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002


  Loading...