Boris Yakobowski

Statistics

Publications

Citations

456

H-Index

Active since

2007

Affiliations

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

Laboratoire d'Intégration des Systèmes et des Technologies

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Boris Yakobowski is an author at Institut national de recherche en sciences et technologies du numérique specializing in programming languages, computer science, and computing.

ORCID

Publications per year

2007–2015

Publications

Frama-C: A software analysis perspective

Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 388 citations · Full text

Computing, Computer Engineering, Computer Science +12

Experience report

Vincent Balat, Jérôme Vouillon, Boris Yakobowski · 2009 · 25 citations

Computing, Computer Science, Compilers +11

Behind the scenes in SANTE: a combination of static and dynamic analyses

Omar Chebaro, Pascal Cuoq, Nikolaï Kosmatov et al. · Automated Software Engineering · 2013 · 19 citations

Engineering, Systems Engineering, System Dynamics +1

A graphical presentation of ML <sup>F</sup> types with a linear-time unification algorithm

Didier Rémy, Boris Yakobowski · 2007 · 14 citations

Computing, Computer Science, Algorithms +10

From ML to ML <sup>F</sup>

Didier Rémy, Boris Yakobowski · 2008 · 10 citations

Computing, Computer Science, Algorithms +16

1–5 of 5