Old Web
English
Sign In
Acemap
>
authorDetail
>
Tiphaine Turpin
Tiphaine Turpin
French Institute for Research in Computer Science and Automation
Programming language
Computer science
Java bytecode
Java
strictfp
5
Papers
36
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Certified result checking for polyhedral analysis of bytecode programs
2010
TGC | Trustworthy Global Computing
Frédéric Besson
Thomas P. Jensen
David Pichardie
Tiphaine Turpin
Show All
Source
Cite
Save
Citations (11)
Sawja: Static Analysis Workshop for Java
2010
arXiv: Programming Languages
Laurent Hubert
Nicolas Barré
Frédéric Besson
Delphine Demange
Thomas Jensen
Vincent Monfort
David Pichardie
Tiphaine Turpin
Show All
Source
Cite
Save
Citations (1)
Sawja: Static Analysis Workshop for Java
2010
arXiv: Programming Languages
Laurent Hubert
Nicolas Barré
Frédéric Besson
Delphine Demange
Thomas Jensen
Vincent Monfort
David Pichardie
Tiphaine Turpin
Show All
Source
Cite
Save
Citations (1)
Sawja: static analysis workshop for java
2010
arXiv: Programming Languages
Laurent Hubert
Nicolas Barré
Frédéric Besson
Delphine Demange
Thomas P. Jensen
Vincent Monfort
David Pichardie
Tiphaine Turpin
Show All
Source
Cite
Save
Citations (23)
Software - JavaLib: parsing Java class files into OCaml
2008
Laurent Hubert
Tiphaine Turpin
Show All
Source
Cite
Save
Citations (0)
1