Brian Larson
Orcid: 0000-0001-9806-726X
According to our database1,
Brian Larson
authored at least 9 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR, 2024
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024
2017
Proceedings of the First ACL Workshop on Ethics in Natural Language Processing, 2017
2016
Use What You Choose: Applying Computational Methods to Genre Studies in Technical Communication.
Proceedings of the 34th ACM International Conference on the Design of Communication, 2016
2014
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014
2012
Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012
2002
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002
1993
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993