| 1 |
Disassembly and detection of self-modifying malwares ; Désassemblage et détection de logiciels malveillants auto-modifiants
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01751411 ; Informatique et langage [cs.CL]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0011⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Branching-time model checking of one-counter processes
|
|
|
|
In: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010 ; https://hal.inria.fr/inria-00455367 ; 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.405-416 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Computing Least Fixed Points of Probabilistic Systems of Polynomials
|
|
|
|
In: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010 ; https://hal.inria.fr/inria-00455344 ; 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.359-370 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Strong Completeness of Coalgebraic Modal Logics
|
|
|
|
In: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 ; https://hal.inria.fr/inria-00360132 ; 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.673-684 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Optimal cache-aware suffix selection
|
|
|
|
In: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 ; https://hal.inria.fr/inria-00359742 ; 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.457-468 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Reverse Engineering Prefix Tables
|
|
|
|
In: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 ; https://hal.inria.fr/inria-00359304 ; 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.289-300 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
From the computer virology fudments toward a formal immunology ; Des fondements de la virologie informatique vers une immunologie formelle
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01748706 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL097N⟩ (2008)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Un modèle algorithmique de la généralisation de structures dans le processus d'acquisition du langage
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01746828 ; Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10156⟩ (2003)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES
|
|
|
|
In: http://hal.archives-ouvertes.fr/docs/00/34/23/31/PDF/BesombesMarion.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
