Sascha Fendrich

According to our database1, Sascha Fendrich
  • authored at least 6 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Modal Interface Theories for Specifying Component-based Systems.
PhD thesis, 2017

2016
Nondeterministic Modal Interfaces.
Theor. Comput. Sci., 2016

A Generalised Theory of Interface Automata, Component Compatibility and Error.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
Richer interface automata with optimistic and pessimistic compatibility.
Acta Inf., 2015

Nondeterministic Modal Interfaces.
Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

2012
HDU: Cross-lingual Textual Entailment with SMT Features.
Proceedings of the 6th International Workshop on Semantic Evaluation, 2012


  Loading...