Skip to Main content Skip to Navigation

inria-00076065v1  Reports
Janet IncerpiRobert Sedgewick. Practical variations of shellsort
[Research Report] RR-0489, INRIA. 1986
hal-02094030v1  Conference papers
Ezio BartocciDirk BeyerPaul BlackGrigory FedyukovichHubert Garavel et al.  TOOLympics 2019: An Overview of Competitions in Formal Methods
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
inria-00606737v1  Journal articles
Thomas FunkhouserNicolas TsingosJean-Marc Jot. Survey of Methods for Modeling Sound Propagation in Interactive Virtual Environment Systems
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2003
hal-00674176v1  Journal articles
Andrew W. AppelRobert DockinsXavier Leroy. A list-machine benchmark for mechanized metatheory
Journal of Automated Reasoning, Springer Verlag, 2012, 49 (3), pp.453--491. ⟨10.1007/s10817-011-9226-1⟩
hal-01281031v1  Conference papers
Zhiguo DingSamir M. PerlazaIñaki EsnaolaH. Vincent Poor. Simultaneous information and power transfer in wireless cooperative networks
8th International ICST Conference on Communications and Networking in China (CHINACOM), Aug 2013, Guilin, China. ⟨10.1109/ChinaCom.2013.6694600⟩
inria-00436428v1  Journal articles
Shiann-Jong LeeDimitri KomatitschBor-Shouh HuangJeroen Tromp. Effects of topography on seismic wave propagation: An example from northern Taiwan
Bulletin of the Seismological Society of America, Seismological Society of America, 2009, 99 (1), pp.314-325. ⟨10.1785/0120080020⟩
hal-01574532v1  Conference papers
Ke SunIñaki EsnaolaSamir PerlazaH Vincent Poor. Information-Theoretic Attacks in the Smart Grid
IEEE International Conference on Smart Grid Communications, Oct 2017, Dresden, Germany
hal-01097154v1  Journal articles
Ugo BoscainFredrik GrönbergRuixing LongHerschel Rabitz. Minimal time trajectories for two-level quantum systems with two bounded controls
Journal of Mathematical Physics, American Institute of Physics (AIP), 2014, 55 (6), pp.062106. ⟨10.1063/1.4882158⟩
hal-00822011v1  Books
Peter ConstantinArnaud DebusscheGiovanni P. GaldiMichael RuzickaGregory Seregin. Topics in mathematical fluid mechanics
Beirao da Veiga, Hugo and Flandoli, Franco. Springer, pp.vii-313, 2013, Lecture notes in mathematics, 2073, 978-3-642-36296-5. ⟨10.1007/978-3-642-36297-2⟩
hal-02935911v1  Journal articles
Maria ChudnovskyMarcin PilipczukMichał PilipczukStéphan Thomassé. On the Maximum Weight Independent Set Problem in Graphs without Induced Cycles of Length at Least Five
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2020, 34 (2), pp.1472-1483. ⟨10.1137/19M1249473⟩
inria-00477689v1  Conference papers
Sandrine BlazyBenoît RobillardAndrew W. W. Appel. Formal Verification of Coalescing Graph-Coloring Register Allocation
19th European Symposium on Programming (ESOP), Mar 2010, Paphos, Cyprus. pp.145-164
hal-01281184v1  Conference papers
Samir M. PerlazaZhu HanH. Vincent PoorDusit Niyato. On the decentralized management of scrambling codes in small cell networks
13th IEEE International Conference on Communication Systems (ICCS), Nov 2012, Singapour, Singapore. pp.478-482, ⟨10.1109/ICCS.2012.6406194⟩
tel-03429274v1  Habilitation à diriger des recherches
Samir M. Perlaza. Contributions to Information and Energy Systems
Information Theory [math.IT]. INSA de Lyon; Université Claude Bernard Lyon I, 2021
hal-02429465v1  Journal articles
Daniel HarrisP.-T. BrunAdam DamianoLuiz FariaJohn Bush. The interaction of a walking droplet and a submerged pillar: From scattering to the logarithmic spiral
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2018, 28 (9), pp.096105. ⟨10.1063/1.5031022⟩
hal-01390904v1  Conference papers
Philippe MaryJean-Marie GorceAyse UnsalH. Vincent Poor. Finite Blocklength Information Theory: What is the Practical Impact on Wireless Communications?
2016 IEEE Global Communications Conference: Workshops: First IEEE International Workshop on Low-Layer Implementation and Protocol Design for IoT Applications, Dec 2016, Washington, DC, United States
hal-01993403v1  Journal articles
Maria ChudnovskyRingi KimChun-Hung LiuPaul SeymourStéphan Thomassé. Domination in tournaments
Journal of Combinatorial Theory, Series B, Elsevier, 2018, 130, pp.98-113
hal-02058307v1  Conference papers
Ivan MorandiFrancesco BronzinoRenata TeixeiraSrikanth Sundaresan. Service traceroute: Tracing Paths of Application Flows
PAM 2019 - Passive and Active Measurement Conference, Mar 2019, Puerto Varas, Chile
hal-01857373v1  Journal articles
Selma Belhadj AmorSamir PerlazaIoannis KrikidisH. Vincent Poor. Feedback Enhances Simultaneous Wireless Information and Energy Transmission in Multiple Access Channels
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2017, 63 (8), pp.5244 - 5265. ⟨10.1109/TIT.2017.2682166⟩
hal-01230782v1  Journal articles
Pierre AboulkerMaria ChudnovskyPaul SeymourNicolas Trotignon. Wheel-free planar graphs
European Journal of Combinatorics, Elsevier, 2015, 49, ⟨10.1016/j.ejc.2015.02.027⟩