1. Recherche
1344 résultats  enregistrer la recherche
...
hal-00787126v2  Communication dans un congrès
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur. Reasoning About Higher-Order Relational Specifications
Tom Schrijvers. International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, 2013, <10.1145/2505879.2505889>
...
inria-00200912v1  Communication dans un congrès
Yuxin Deng, Catuscia Palamidessi, Jun Pang. Weak Probabilistic Anonymity
Michael Backes and Andre Scedrov. 3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. Elsevier Science B.V., 180 (1), pp.55-76, 2007, Electronic Notes in Theoretical Computer Science; Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo). <10.1016/j.entcs.2005.05.043>
...
inria-00200957v1  Communication dans un congrès
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Probability of Error in Information-Hiding Protocols
20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. IEEE Computer Society, pp.341-354, 2007, Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20). <10.1109/CSF.2007.13>
...
inria-00200967v1  Communication dans un congrès
Konstantinos Chatzikokolakis, Catuscia Palamidessi. Making Random Choices Invisible to the Scheduler
Luís Caires and Vasco Thudichum Vasconcelos. CONCUR'07, Sep 2007, Lisboa, Portugal. Springer, 4703, 2007, Lecture Notes in Computer Science; Proceedings of CONCUR'07. <10.1007/978-3-540-74407-8_4>
...
inria-00200937v1  Communication dans un congrès
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Fair Pi
Iain Phillips and Roberto Amadio. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), Aug 2006, Bonn, Germany. Elsevier Science B.V., 175 (3), pp.3-26, 2007, Electronic Notes in Theoretical Computer Science; Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06). <10.1016/j.entcs.2007.04.010>
...
hal-01300727v1  Communication dans un congrès
Joost Renes, Peter Schwabe, Benjamin Smith, Lejla Batina. $\mu$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers
Cryptographic Hardware and Embedded Systems – CHES 2016, Aug 2016, Santa Barbara, United States. Springer-Verlag, Lecture Notes in Computer Science, 9813, pp.20, 2016, Cryptographic Hardware and Embedded Systems – CHES 2016. <10.1007/978-3-662-53140-2_15>
...
hal-00987594v3  Communication dans un congrès
Thomas Given-Wilson. An Intensional Concurrent Faithful Encoding of Turing Machines
Ivan Lanese and Alberto Lluch-Lafuente and Ana Sokolova and Hugo Torres Vieira. 7th Interaction and Concurrency Experience (ICE 2014), Jun 2014, Berlin, Germany. Open Publishing Association, 166, pp.21-37, 2014, EPTCS. <10.4204/EPTCS.166.4>
...
tel-00650399v1  Thèse
Mahsa Behzadi. A Mathematical Model of Phospholipid Biosynthesis
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English
...
inria-00250078v2  Rapport
Nikolaus Hansen, Raymond Ros, Nikolas Mauny, Marc Schoenauer, Anne Auger. PSO Facing Non-Separable and Ill-Conditioned Problems
[Research Report] RR-6447, INRIA. 2008
...
hal-00673938v2  Communication dans un congrès
Guillaume Quintin. A Lifting Decoding Scheme and its Application to Interleaved Linear Codes
Guiseppe Caire and Michelle Effros and Hans-Andrea Loeliger and Alexander Vardy. International Symposium on Information Theory, Jul 2012, Cambridge, United States. IEEE, pp.96-100, 2012, Information Theory Proceedings (ISIT), 2012 IEEE International Symposium on. <10.1109/ISIT.2012.6284707>
hal-00950479v1  Communication dans un congrès
Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Optimal Geo-Indistinguishable Mechanisms for Location Privacy
Gail-Joon Ahn and Moti Yung and Ninghui Li. CCS - 21st ACM Conference on Computer and Communications Security, Nov 2014, Scottsdale, Arizona, United States. ACM, pp.251-262, 2014, Proceedings of the 21st ACM Conference on Computer and Communications Security. <10.1145/2660267.2660345>
...
inria-00600690v1  Rapport
Thomas Heide Clausen, Ulrich Herberg, Jiazi Yi. Vulnerability Analysis of the Simple Multicast Forwarding (SMF) Protocol for Mobile Ad Hoc Networks
[Research Report] RR-7638, INRIA. 2011, pp.21
...
inria-00201096v1  Communication dans un congrès
Catuscia Palamidessi, Vijay Saraswat, Frank Valencia, Bjorn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. IEEE Computer Society, pp.59-68, 2006, <10.1109/LICS.2006.39>
...
inria-00201085v1  Communication dans un congrès
Axelle Ziegler, Dale Miller, Catuscia Palamidessi. A Congruence Format for Name-passing Calculi
Peter Mosses and Irek Ulidowski. 2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. Elsevier, 156 (1), pp.169-189, 2006, Electronic Notes in Theoretical Computer Science; Proceedings of the 2nd Workshop on Structural Operational Semantics. <10.1016/j.entcs.2005.09.032>
...
inria-00201088v1  Communication dans un congrès
Sylvain Pradalier, Catuscia Palamidessi. Expressiveness of probabilistic \pi-calculi
Alessandra Di Pierro and Herbert Wiklicky. 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL), Apr 2006, Vienna, Austria. Elsevier, 164 (3), 2006, Electronic Notes in Theoretical Computer Science; Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages. <10.1016/j.entcs.2006.07.015>
...
inria-00201090v1  Communication dans un congrès
Andreas Enge. Discrete logarithms in curves over finite fields
Gary L. Mullen and Daniel Panario and Igor E. Shparlinski. Eighth International Conference on Finite Fields and Applications - Fq8, Jul 2007, Melbourne, Australia. American Mathematical Society, 461, pp.119-139, 2008, Contemporary Mathematics; Finite Fields and Applications
...
inria-00201101v1  Communication dans un congrès
Mohit Bhargava, Catuscia Palamidessi. Probabilistic Anonymity
Martin Abadi and Luca de Alfaro. CONCUR'05, Aug 2005, San Francisco, United States. Springer, 3653, pp.171-185, 2005, Lecture Notes in Computer Science; Proceedings of CONCUR'05. <10.1007/11539452_16>
...
inria-00201066v1  Communication dans un congrès
Carlos Olarte, Catuscia Palamidessi, Frank Valencia. Universal Timed Concurrent Constraint Programming
Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, 4670, pp.464-465, 2007, Lecture Notes in Computer Science; Proceedings of the 23rd International Conference in Logic Programming. <10.1007/978-3-540-74610-2_47>
...
inria-00201087v1  Communication dans un congrès
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang. Metrics for Action-labelled Quantitative Transition Systems
Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, 153 (2), pp.79-96, 2006, Electronic Notes in Theoretical Computer Science; Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages. <10.1016/j.entcs.2005.10.033>
...
inria-00201100v1  Chapitre d'ouvrage
Yuxin Deng, Catuscia Palamidessi, Jun Pang. Compositional Reasoning for Probabilistic Finite-State Behaviors
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, <10.1007/11601548_17>
...
inria-00201069v1  Communication dans un congrès
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu. Model checking the probabilistic pi-calculus
4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. IEEE Computer Society, pp.169-178, 2007, <10.1109/QEST.2007.27>
...
inria-00201065v1  Communication dans un congrès
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs
Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, 4670, pp.271--285, 2007, <10.1007/978-3-540-74610-2_19>
...
inria-00201068v1  Communication dans un congrès
Peng Wu, Catuscia Palamidessi, Huimin Lin. Symbolic Bisimulation for Probabilistic Systems
4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. IEEE Computer Society, pp.179-188, 2007, Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems. <10.1109/QEST.2007.46>
...
inria-00201070v1  Communication dans un congrès
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina. A Probabilistic Applied Pi-Calculus
5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, 4807, pp.175-190, 2007, Lecture Notes in Computer Science; Proceedings of the 5th Asian Symposium on Programming Languages and Systems. <10.1007/978-3-540-76637-7_12>
hal-00505795v1  Communication dans un congrès
Luca De Feo, Éric Schost. Fast Arithmetics in Artin-Schreier Towers over Finite Fields
International Conference on Symbolic and Algebraic Computation, Jul 2009, South Korea. pp.127-134, 2009, <10.1145/1576702.1576722>

Contact


archive-ouverte@inria.fr