Matko Botincan
According to our database1,
Matko Botincan
authored at least 12 papers
between 2005 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2015
2013
ACM Trans. Program. Lang. Syst., 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the Parallel Processing and Applied Mathematics, 2009
2008
J. Comput. Inf. Technol., 2008
2005
AsmL Specification and Verification of Lamport's Bakery Algorithm.
J. Comput. Inf. Technol., 2005