Julián Samborski-Forlese
According to our database1,
Julián Samborski-Forlese
authored at least 3 papers
between 2008 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008