Tim Nelson
Orcid: 0000-0002-9377-9943Affiliations:
- Brown University, RI, USA
- Worcester Polytechnic Institute, USA (former)
According to our database1,
Tim Nelson
authored at least 25 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.brown.edu
On csauthors.net:
Bibliography
2024
Art Sci. Eng. Program., 2024
Proc. ACM Program. Lang., 2024
2023
Art Sci. Eng. Program., 2023
Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023
2022
Art Sci. Eng. Program., 2022
Applying cognitive principles to model-finding output: the positive value of negative information.
Proc. ACM Program. Lang., 2022
Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022
2021
Art Sci. Eng. Program., 2021
Proceedings of the Protocols, Strands, and Logic, 2021
2020
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020
2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
2016
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016
2015
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014
2013
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2010
Proceedings of the Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, 2010