Filter your results
- 249
- 104
- 2
- 210
- 80
- 25
- 14
- 11
- 4
- 4
- 3
- 2
- 2
- 6
- 5
- 347
- 30
- 9
- 5
- 5
- 2
- 1
- 1
- 1
- 6
- 32
- 39
- 30
- 42
- 29
- 41
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 339
- 16
- 317
- 22
- 9
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 50
- 50
- 45
- 38
- 35
- 22
- 21
- 20
- 18
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
355 Results
|
Improving Causal Learning Scalability and Performance using Aggregates and InterventionsACM Transactions on Autonomous and Adaptive Systems, 2023, ⟨10.1145/3607872⟩
Journal articles
hal-04180294v1
|
||
|
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Conference papers
hal-04098856v2
|
||
|
Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source CodeEmpirical Software Engineering, In press, ⟨10.1007/s10664-023-10317-8⟩
Journal articles
hal-04101937v1
|
||
|
The consensus number of a cryptocurrencyDistributed Computing, 2022, 35 (1), pp.1-15. ⟨10.1007/s00446-021-00399-2⟩
Journal articles
hal-04084120v1
|
||
|
Real-time and efficient control for autonomous racingArtificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAT008⟩
Theses
tel-04061550v1
|
||
|
A Real-Time NMPC Controller for Autonomous Vehicle Racing2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩
Conference papers
hal-04009646v1
|
||
|
A grounded theory of Community Package Maintenance OrganizationsEmpirical Software Engineering, 2023, 28 (4), pp.101. ⟨10.1007/s10664-023-10337-4⟩
Journal articles
hal-03976601v1
|
||
RTNS 2022: The 30th International Conference on Real-Time Networks and SystemsACM, 2022, ⟨10.1145/3534879⟩
Proceedings
hal-03951192v1
|
|||
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect informationArtificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Journal articles
hal-03960910v1
|
|||
|
New architecture and function to improve autonomy, dynamicity, and intelligence of future network managementNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT042⟩
Theses
tel-03910691v1
|
||
A benchmark of incremental model transformation tools based on an industrial case study with AADLSoftware and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles
hal-03905646v1
|
|||
Solving the instance model-view update problem in AADLMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers
hal-03905639v1
|
|||
|
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers
hal-03905633v1
|
||
The Role of Causality in a Formal Definition of Timing Anomalies2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers
hal-03867187v1
|
|||
|
The devil hides in the model: Reviewing Blockchain and BFT protocolsBlockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers
hal-03860862v1
|
||
|
PE-AONT: Partial Encryption All or Nothing TransformSECRYPT, Jul 2022, Lisbon, Portugal. pp.636-641, ⟨10.5220/0011300600003283⟩
Conference papers
hal-03860852v1
|
||
|
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services2022
Other publications
hal-03860833v1
|
||
|
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home ServicesChristine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections
hal-03860813v1
|
||
|
To do or not to do: finding causal relations in smart homes2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
Conference papers
hal-03814048v1
|
||
|
What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart HomesEntropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles
hal-03813989v1
|
||
|
Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic ProgrammingOpportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers
hal-03749355v1
|
||
|
Threats to Adversarial Training for IDSs and Mitigation19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Conference papers
hal-03801012v1
|
||
|
Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZAdvances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections
hal-03800662v1
|
||
|
Brief Announcement: Malicious Security Comes for Free in Consensus with LeadersPODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
Conference papers
hal-03800650v1
|
||
Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPCAdvances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
Book sections
hal-03800642v1
|
|||
Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold SignaturesAdvances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections
hal-03800630v1
|
|||
|
Robust and Scalable Content-and-Structure IndexingThe VLDB Journal, In press
Journal articles
hal-03787268v1
|
||
|
Natural Strategic Abilities in Voting ProtocolsSocio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections
hal-03779036v1
|
||
|
Enabling Markovian Representations under Imperfect Information14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers
hal-03779034v1
|
||
How to measure usable security: Natural strategies in voting protocols1Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles
hal-03779032v1
|