Concepedia

Christian Queinnec

CQ

13

Publications

458

Citations

11

H-Index

1991

Active since

Affiliations

Sorbonne Université(Current)

Institut national de recherche en sciences et technologies du numérique

University of Southampton

Laboratoire d'Informatique de l'École Polytechnique

École Polytechnique

Christian Queinnec is an author at Sorbonne Université specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware EngineeringCloud ComputingSoftware DesignSystem SoftwareSoftware Analysis

Publications per year

1991–2010

13

Publications

13

The influence of browsers on evaluators or, continuations to program web servers

Christian Queinnec · 2000 · 103 citations

Browser User Interface, Engineering, Program Web Servers +18

Garbage collecting the world

Bernard Lang, Christian Queinnec, José Piquer · 1992 · 102 citations

Cluster Computing, Distributed Garbage Collector, Engineering +18

A dynamic extent control operator for partial continuations

Christian Queinnec, Bernard Serpette · 1991 · 48 citations · Full text

Inverting back the inversion of control or, continuations versus page-centric programming

Christian Queinnec · ACM SIGPLAN Notices · 2003 · 31 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +21

Resource aware programming

Luc Moreau, Christian Queinnec · ACM Transactions on Programming Languages and Systems · 2005 · 31 citations · Full text

Engineering, System Programming, Computer Architecture +17

Rows per page

1–5 of 13