Somsak Vanit-Anunchai
Orcid: 0000-0003-4972-7713
According to our database1,
Somsak Vanit-Anunchai
authored at least 17 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
1
2
1
1
1
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Workshop Petri Net Games, 2024
2023
Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023
2018
Int. J. Softw. Tools Technol. Transf., 2018
2017
IEICE Trans. Inf. Syst., 2017
2016
Trans. Petri Nets Other Model. Concurr., 2016
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
2014
Proceedings of the Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, 2014
2013
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures.
Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
2010
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010
2009
Trans. Petri Nets Other Model. Concurr., 2009
2008
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
Int. J. Softw. Tools Technol. Transf., 2008
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.
Fundam. Informaticae, 2008
2007
Int. J. Softw. Tools Technol. Transf., 2007
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Proceedings of the 14th International Symposium on Modeling, 2006
2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005