Search - Université de Rennes Access content directly

Filter your results

79 Results
Structure: Internal structure identifier : 266547
Image document

Foreword

Eric Badouel , Moussa Lo , Mokhtar Sellami
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2015, Volume 21 - 2015 - Special issue - CARI 2014, pp.1-2. ⟨10.46298/arima.2002⟩
Journal articles hal-01304736v1
Image document

Petri Nets with Structured Data

Eric Badouel , Christophe Morvan , Loïc Hélouët
Fundamenta Informaticae, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 146 (1), pp.35-82. ⟨10.3233/FI-2016-1375⟩
Journal articles hal-01379245v1
Image document

Databases and Artificial Intelligence

Nicole Bidoit , Patrick Bosc , Laurence Cholvy , Olivier Pivert , Marie-Christine Rousset et al.
A Guided Tour of Artificial Intelligence Research, 3, 2020, Interfaces and Applications of AI
Book sections hal-03183399v1

Understanding evolution in systems of systems

Isabelle Borne , Mohamed Hichem Fendali , Djamel Meslati
2017 IEEE International Systems Engineering Symposium (ISSE), Oct 2017, Vienna, Austria. ⟨10.1109/SysEng.2017.8088283⟩
Conference papers hal-01705414v1

A Genetic Algorithm for Automated Refactoring of Component-Based Softwre

Salim Kebir , Isabelle Borne , Djamel Meslati
EAI Endorsed Transactions on Creative Technologies, 2016, 3 (9), ⟨10.4108/eai.3-12-2015.2262353⟩
Journal articles hal-01456763v1
Image document

Combining leak–resistant arithmetic for elliptic curves defined over Fp and RNS representation

Jean-Claude Bajard , Sylvain Duquesne , Milos Ercegovac
Publications Mathématiques de Besançon : Algèbre et Théorie des Nombres, 2013, pp.67-87
Journal articles hal-01098795v1

An Improvement of Optimal Ate Pairing on KSS curve with Pseudo 12-sparse Multiplication

Sylvain Duquesne , A. Khandaker , Yasuyuki Nogami , H. Ono , Masaaki Shirase et al.
Information Security and Cryptology - ICISC 2016, 2016, Séoul, South Korea. pp.1--12
Conference papers hal-01542582v1

Characterisation of in-situ doped polycrystalline silicon using Schottky diodes

L. Mahdjoubi , Tayeb Mohammed-Brahim , France Le Bihan
E-MRS (European Materials Research Society), 2002, Strasbourg, France
Conference papers hal-00085684v1

Optical and devitrification kinetic studies of chloro-antimonate glasses

M. Iezid , F. Goumeidane , A. Abidi , M. Poulain , M. Legouera et al.
Optical Materials, 2020, 105, pp.109934. ⟨10.1016/j.optmat.2020.109934⟩
Journal articles hal-02864478v1
Image document

Treatment of dairy wastewater by electrocoagulation using A-U4G (2017-Al) alloy and pure aluminum as electrode material

Adel Aitbara , Assia Khelalfa , Marwa Bendaia , Rahma Abrane , Abdeltif Amrane et al.
Euro-Mediterranean Journal for Environmental Integration, 2021, 6 (1), pp.19. ⟨10.1007/s41207-020-00227-2⟩
Journal articles hal-03127426v1

Choosing parameters

Sylvain Duquesne , Nadia El Mrabet , Safia Haloui , Damien Robert , Franck Rondepierre et al.
Nadia El Mrabet; Marc Joye. Guide to pairing based cryptography, CRC Press, 2016, Chapman & Hall/CRC Cryptography and Network Security, 9781498729505
Book sections hal-01579710v1

Elliptic periods and primality proving (extented version)

Jean-Marc Couveignes , Tony Ezome , Reynald Lercier
2009
Preprints, Working Papers, ... hal-01102000v1
Image document

Mechanical and durability properties of concrete based on recycled coarse and fine aggregates produced from demolished concrete

Layachi Berredjem , Nourredine Arabi , Laurent Molez
Construction and Building Materials, 2020, 246, pp.118421. ⟨10.1016/j.conbuildmat.2020.118421⟩
Journal articles hal-02490854v1
Image document

Influence de la nature des granulats recyclés sur les propriétés des bétons

Berredjem Layachi , Laurent Molez , Arabi Nourredine
37e rencontres Universitaires de Génie Civil - Vers des ouvrages intelligents, 2019, Nice - Sophia Antipolis, France
Conference papers hal-02351768v1
Image document

Durabilité des mortiers de ciment à base du sable recyclé

Layachi Berredjem , Nourredine Arabi , Laurent Molez , Jean-Yves Brossault , Nguyen Van-Minh et al.
Academic Journal of Civil Engineering, 2017, 35 (1), ⟨10.26168/ajce.35.1.4⟩
Journal articles hal-03627274v1
Image document

A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment

Eric Badouel , Loïc Hélouët , Georges-Edouard Kouamou , Christophe Morvan
[Research Report] RR-8528, INRIA. 2014, pp.32
Reports hal-00990007v1
Image document

Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars

Eric Badouel , Loïc Hélouët , Georges-Edouard Kouamou , Christophe Morvan , Robert Fondze Jr Nsaibirni et al.
ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2015, 15 (3), pp.6-34. ⟨10.1145/2835260.2835261⟩
Journal articles hal-01237131v1

Arithmetic of the level four theta model of elliptic curves

Oumar Diao , Emmanuel Fouotsa
Afrika Matematika, 2015, 26 (3-4), pp.283-301. ⟨10.1007/s13370-013-0203-1⟩
Journal articles hal-01119076v1
Image document

Durability of Alkali-Resistant Glass Fibers Reinforced Cement Composite: Microstructural Observations of Degradation

Nourredine Arabi , Laurent Molez , Damien Rangeard
Periodica Polytechnica Civil Engineering, In press, pp.10631. ⟨10.3311/PPci.10631⟩
Journal articles hal-01712823v1

1,2-bis(4-chlorobenzylidene)Azine as new and effective corrosion inhibitor for copper in 0.1 N HCl A combined experimental and theoretical approach

K. Abderrahim , I. Selatnia , A. Sid , Paul Mosset
Chemical Physics Letters, 2018, 707, pp.117-128. ⟨10.1016/j.cplett.2018.07.046⟩
Journal articles hal-01874724v1
Image document

Photocatalytic degradation of binary and ternary mixtures of antibiotics reactive species investigation in pilot scale

H. Zeghioud , M. Kamagaté , L.S. Coulibaly , S. Rtimi , A.A. Assadi et al.
Chemical Engineering Research and Design, 2019, 144, pp.300-309. ⟨10.1016/j.cherd.2019.02.015⟩
Journal articles hal-02090009v1

N-chlorosulfonyloxazolidin-2-ones : synthesis, structure and reactivity toward aminoesters

Malika Berredjem , Jean-Yves Winum , Loic Toupet , Ouafae Masmoudi , Nour-Eddine Aouf et al.
Synthetic Communications, 2004, 34, pp.1653-1662
Journal articles hal-00128126v1
Image document

Towards an MDE Methodology to Develop Multi-Agents Systems Including Mobile Agents

Tahar Gherbi , Isabelle Borne , Djamel Meslati
8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Jul 2013, Angers, France. pp.45-55
Conference papers hal-00908558v1
Image document

Préface/Foreword

Eric Badouel , Maurice Tchuenté
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2015, Volume 19 - 2015 - Special issue - CRI'13, pp.1-2. ⟨10.46298/arima.1985⟩
Journal articles hal-01300101v1
Image document

Effets des conditions environnementales et cycles séchage-imbibition sur les propriétés physiques et mécaniques des mortiers de ciment recyclés

Berredjem Layachi , Laurent Molez , Ali Boucetta Tahar , Arabi Nourredine
Academic Journal of Civil Engineering, 2020, RUGC 2020 MARRAKECH, 38 (1), pp.105-108. ⟨10.26168/ajce.38.1.25⟩
Journal articles hal-03330644v1

Traces of the group law on the Kummer surface of a curve of genus 2 in characteristic 2

Sylvain Duquesne
Mathematics in Computer Science, 2010, 3 (2), pp.173-183. ⟨10.1007/s11786-009-0013-x⟩
Journal articles hal-00521513v1
Image document

Efficient computation of pairings on Jacobi quartic elliptic curves

Sylvain Duquesne , Nadia El Mrabet , Emmanuel Fouotsa
Journal of Mathematical Cryptology, 2014, 8 (4), pp.331-362. ⟨10.1515/jmc-2013-0033⟩
Journal articles hal-01095359v1

Tate Pairing Computation on Jacobi's Elliptic Curves

Sylvain Duquesne , Emmanuel Fouotsa
Pairing-Based Cryptography-Pairing 2012, May 2012, Cologne, Germany. pp.254-269, ⟨10.1007/978-3-642-36334-4_17⟩
Conference papers istex hal-00832363v1
Image document

Mate Limitation in Fungal Plant Parasites Can Lead to Cyclic Epidemics in Perennial Host Populations

Virginie Ravigné , Valérie Lemesle , Alicia A Walter , Ludovic Mailleret , Frédéric Marie Hamelin et al.
Bulletin of Mathematical Biology, 2017, 73 (3), pp.1 - 447. ⟨10.1007/s11538-016-0240-7⟩
Journal articles hal-01569465v1
Image document

Spectroscopic analysis of up conversion luminescence in doped halogeno-antimonite glass

M. Iezid , F. Goumeidane , A. Abidi , N. Gherraf , M. Legouera et al.
Ceramics International, 2018, 44 (15), pp.18060-18066. ⟨10.1016/j.ceramint.2018.07.009⟩
Journal articles hal-01905105v1