Dexter Kozen

Publication

Citation

Affiliation

Research Interests

Recommendation

Relation Based:
Thomas A Henzinger, David F Bacon, David A Schmidt, Nathaniel Nystrom, Patrick Okeefe, Vijay Saraswat, Luca De Alfaro, Matthew S Brown, Rupak Majumdar, Vivek Sarkar

Insterests Based:
Miodrag Potkonjak, Thomas A Henzinger, Yi Zhang, Martin Abadi, Hanne Riis Nielson, Krishnendu Chatterjee, Andrew W Appel, Vivek Sarkar, Rajesh Gupta, Holger Hermanns, Rupak Majumdar, Mani Srivastava, Olivier Danvy, Manuel V Hermenegildo, Matthew B Dwyer

Content Based:

A PHP Error was encountered

Severity: Notice

Message: Undefined variable: rec_friend3

Filename: views/authorpage.php

Line Number: 422

A PHP Error was encountered

Severity: Warning

Message: Invalid argument supplied for foreach()

Filename: views/authorpage.php

Line Number: 422

Link: Jens Palsberg