.:. Lists > By document type > Research report .:.

296 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Localization of Single Link-Level Network Anomalies: Problem Formulation and Heuristic Salhi E., Lahoud S., Cousin B. Rapport de recherche (2013) [hal-00770596 - version 2]

Scenario realizability with constraint optimization Abdallah R., Gotlieb A., Hélouët L., Jard C. Rapport de recherche (2013) [hal-00769656 - version 1]

A Secure Key Management Interface with Asymmetric Cryptography Daubignard M., Lubicz D., Steel G. Rapport de recherche (2013) [hal-00805987 - version 2]

Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains Privat Y., Trélat E., Zuazua E. Rapport de recherche [hal-00755281 - version 2]

DStore: An in-memory document-oriented store Tran V.-T., Narayanan D., Antoniu G., Bougé L. Rapport de recherche (2012) 24 [hal-00766219 - version 1]

Primal and Shadow functions, Dual and Dual-Shadow functions for a circular crack and a circular 90o V-notch with Neumann boundary conditions Shannon S., Yosibash Z., Dauge M., Costabel M. Rapport de recherche [hal-00765619 - version 4]

On the Complexity of Dynamic Epistemic Logic (Extended Version) Aucher G., Schwarzentruber F. Rapport de recherche (2012) [hal-00759544 - version 1]

Consistency in the Cloud:When Money Does Matter! Chihoub H.-E., Ibrahim S., Antoniu G., Pérez M. Rapport de recherche (2012) [hal-00756314 - version 2]

Adding Pebbles to Weighted Automata. Easy Specification and Efficient Evaluation Gastin P., Monmege B. Rapport de recherche [hal-00753513 - version 1]

Stochastic Games with Parity Mean-payoff Objective Chatterjee K., Doyen L., Gimbert H., Oualhadj Y. Rapport de recherche [hal-00766251 - version 1]