Search for persons
X
?
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) ,
5
Towards Refinement Semantics of Real-Time Trigger-Response ..:
, In:
?
2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) ,
6
Model Checking Human-Agent Collectives for Responsible AI:
, In:
?
7
Coalgebraic Methods in Computer Science
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocat...
Theoretical Computer Science and General Issues ; 11202;SpringerLink, Bücher
?
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
9
Lattice-theoretic progress measures and coalgebraic model c..:
, In:
?
11
Algebra and coalgebra in computer science
4th international conference, CALCO 2011, Winchester, UK, A...
Lecture notes in computer science ; 6859