François Rouaix

Publications

172

Citations

H-Index

1990

Active since

Affiliations

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

François Rouaix is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystem SoftwareProgram AnalysisHardware SecuritySoftware AnalysisSecurity

Publications per year

1990–1998

Publications

Security properties of typed applets

Xavier Leroy, François Rouaix · 1998 · 79 citations · Full text

Engineering, Usable Security, Information Security +22

Extensional polymorphism

Catherine Dubois, François Rouaix, Pierre Weis · 1995 · 35 citations

Engineering, Generic Programming, Type Theory +10

A Web navigator with applets in Caml

François Rouaix · Computer Networks and ISDN Systems · 1996 · 34 citations

Gateway (Telecommunications), Engineering, Web Navigator +6

Safe run-time overloading

François Rouaix · 1990 · 24 citations

Engineering, Computer Architecture, Software Engineering +23

Rows per page

1–4 of 4