Skip to Main content Skip to Navigation


...
tel-00010910v1  Theses
Alicia Diaz. Support à la Divergence dans les Communautés de Partage de Connaissance
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2005. English
...
tel-00011037v1  Theses
Clara Bertolissi. The graph rewriting calculus: properties and expressive capabilities
Other [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2005. English
...
tel-00109597v1  Theses
Oriol Ramos Terrades. Linear Combination of multiresolution descriptors: Application to Graphics Recognition
Human-Computer Interaction [cs.HC]. Université Nancy II, 2006. English
...
tel-01752773v2  Theses
Liping Lu. Performances and quality of service of PLC networks for MV and LV distribution systemsS
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2006. English. ⟨NNT : 2006INPL080N⟩
...
tel-01754284v2  Theses
Laszlo Szathmary. Symbolic Data Mining Methods with the Coron Platform
Software Engineering [cs.SE]. Université Henri Poincaré - Nancy 1, 2006. English. ⟨NNT : 2006NAN10159⟩
...
tel-01746531v3  Theses
Weiming Dong. Rendering Algorithms for Natural Scenes
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English
...
tel-00195096v1  Theses
Eunyoung Kang. Tool supported real-time system verification with combination of abstraction/deduction and model checking
Software Engineering [cs.SE]. Université Henri Poincaré - Nancy I, 2007. English
...
tel-01748248v2  Theses
Pavel Kral. Automatic Recognition of Dialogue Acts
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English. ⟨NNT : 2007NAN10114⟩
...
tel-00192773v1  Theses
Eric Kow. Surface realisation: ambiguity and determinism
Other [cs.OH]. Université Henri Poincaré - Nancy I, 2007. English
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01748341v1  Theses
Daniele Zucchelli. Combination methods for software verification
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10006⟩
...
tel-01748342v1  Theses
Anderson Santana de Oliveira. Rewriting and modularity for security policies
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10007⟩
...
tel-01748452v1  Theses
Dong Cheng. Capability Management and Discovery in Heterogeneous Environments
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10059⟩
...
tel-01748545v1  Theses
Raghav Aras. Mathematical programming methods for decentralized POMDPs
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10092⟩
...
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
...
tel-01748429v2  Theses
Szilárd Vajda. Cursive Bengali Script Recognition for Indian Postal Automation
Engineering Sciences [physics]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10083⟩
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-01748510v2  Theses
Humberto Abdelnur. Voice over IP Vulnerability Assessment
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10005⟩
...
tel-01748491v2  Theses
Mohamed Nassar. VoIP Networks Monitoring and Intrusion Detection
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10021⟩
...
tel-00431464v1  Theses
Linqiao Zhang. On the three-dimensional visibility skeleton: implementation and analysis
Computer Science [cs]. Université McGill, 2009. English
...
tel-00441540v3  Theses
Tom Gundersen. A General View of Normalisation through Atomic Flows
Mathematics [math]. The University of Bath, 2009. English
...
tel-01748219v1  Theses
Sergio Fernando Mera. Modal memory logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10130⟩
...
tel-01748220v1  Theses
Daniel Alejandro Gorín. Automated reasoning techniques for hybrid logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩
...
tel-01748217v2  Theses
Luciana Benotti. Implicature as an Interactive Process
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10003⟩
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English