Skip to Main content Skip to Navigation

inria-00107741v1  Reports
Salvatore TabboneLaurent AlonsoDjemel Ziou. Behavior of the Laplacian of Gaussian Extrema
[Intern report] A03-R-073 || tabbone03b, 2003, 37 p
inria-00107685v1  Reports
Fei Yin. Minimum Receiving Node Minimum Energy Broadcast in All-Wireless Networks
[Intership report] A03-R-222 || yin03a, 2003, 42 p
inria-00107751v1  Reports
Houda FekihStephan Merz. Translating B machines into UML diagrams
[Intern report] A03-R-502 || fekih03a, 2003, 13 p
inria-00107742v1  Reports
Ralph DebusmannDenys Duchier. A Meta-Grammatical Framework for Dependency Grammar
[Intern report] A03-R-278 || debusmann03a, 2003, 8 p
inria-00107753v1  Reports
Bruno Scherrer. Modular self-organization for a long-living autonomous agent
[Intern report] A03-R-053 || scherrer03b, 2003, 7 p
inria-00107750v1  Reports
Stephan MerzAli Sezgin. Emptiness of Linear Weak Alternating Automata
[Intern report] A03-R-503 || merz03c, 2003, 14 p
inria-00107809v1  Reports
Stephan Merz. TLA+ Case Study: A Resource Allocator
[Intern report] A04-R-101 || merz04a, 2004, 20 p
inria-00107740v1  Reports
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Safe Generic Data Synchronizer
[Intern report] A03-R-062 || molli03a, 2003, 8 p
hal-01256738v1  Reports
Benjamin CamusVirginie GaltierMathieu CaujolleVincent ChevrierJulien Vaubourg et al.  Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
[Research Report] Université de Lorraine, CNRS, Inria, LORIA, UMR 7503; CentraleSupélec UMI GT-CNRS 2958 Université Paris-Saclay; EDF - R&D MIRE/R44. 2016
inria-00107869v1  Reports
Yann Guermeur. Combining Discriminant Models with new Multi-Class SVMs
[Intern report] A00-R-453 || guermeur00f, 2000, 20 p
inria-00107545v1  Reports
Yannick ChevalierLaurent Vigneron. A Tool for Lazy Verification of Security Protocols
[Intern report] A01-R-140 || chevalier01b, 2001, 10 p
inria-00395837v1  Reports
Otfried CheongXavier GoaocAndreas Holmsen. Lower Bounds for Pinning Lines by Balls
[Research Report] RR-6961, INRIA. 2009, pp.12