Levy, Paul
93  Ergebnisse:
Personensuche X
?
1

Steps and Traces:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Jacobs, Bart ; Levy, Paul ; Rot, Jurriaan - p. 122-143 , 2018
 
?
2

Optimal Sizing of Tramway Electrical Infrastructures Using ..:

, In: Lecture Notes in Electrical Engineering; ELECTRIMACS 2022,
 
?
3

The Role of Feedback Environment in Self-Development:

, In: The Oxford handbook of lifelong learning / edited by Manuel London
Link: https://doi.org/10.1093/..

Exemplar:  Zentrale:E03 a psy 252.9 m/163
 
?
4

Performance Management and Workplace Affect:

, In: The Cambridge Handbook of Workplace Affect,
Roberts, Ariel ; Levy, Paul E. ; Flores, Catalina. - p. 338-349 , 2020
 
?
6

A Syntactic View of Computational Adequacy:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
 
?
7

Performance Management: A Marriage between Practice and Sci..:

, In: Research in Personnel and Human Resources Management,
 
?
8

Effectful applicative bisimilarity : monads, relators, a..:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
9

Contextual isomorphisms:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Levy, Paul Blain - p. 400-414 , 2017
 
?
10

A monad for full ground reference cells:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
Kammar, Ohad ; Levy, Paul B. ; Moss, Sean K.. - p. 1-12 , 2017
 
?
11

The Role of Due Process in Performance Appraisal:

, In: The Oxford handbook of justice in the workplace / edited by Russell S. Cropanzano and Maureen L. Ambrose
Link: https://doi.org/10.1093/..

Exemplar:  BB WiWi: 11a bwl 123.7/758
 
?
12

Transition systems over games:

, 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),
Levy, Paul Blain ; Staton, Sam - p. 1-10 , 2014
 
?
13

Universal properties of impure programming languages:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Staton, Sam ; Levy, Paul Blain - p. 179-192 , 2013
 
?
14

Functional programs that explain their work:

, In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming,
Perera, Roly ; Acar, Umut A. ; Cheney, James. - p. 365-376 , 2012
 
?
15

Coproducts of Monads on Set:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
 
1-15