Personensuche
X
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
1
Steps and Traces:
, In:
?
Lecture Notes in Electrical Engineering; ELECTRIMACS 2022 ,
2
Optimal Sizing of Tramway Electrical Infrastructures Using ..:
, In:
?
The Oxford handbook of lifelong learning / edited by Manuel London
3
The Role of Feedback Environment in Self-Development:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
6
A Syntactic View of Computational Adequacy:
, In:
?
Research in Personnel and Human Resources Management ,
7
Performance Management: A Marriage between Practice and Sci..:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
Effectful applicative bisimilarity : monads, relators, a..:
, In:
?
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages ,
9
Contextual isomorphisms:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
10
A monad for full ground reference cells:
, In:
?
The Oxford handbook of justice in the workplace / edited by Russell S. Cropanzano and Maureen L. Ambrose
11
The Role of Due Process in Performance Appraisal:
, In:
?
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
12
Transition systems over games:
, In:
?
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
13
Universal properties of impure programming languages:
, In:
?
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming ,
14
Functional programs that explain their work:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
15