Laboratoire d'Algorithmique, Complexité et Logique

Recent papers from Laboratoire d'Algorithmique, Complexité et Logique

1. Games Where You Can Play Optimally with Arena-Independent Finite MemoryLogical Methods in Computer Science · 2022
2. CONTVERB: Continuous Virtual Emotion Recognition Using Replaceable Barriers for Intelligent Emotion-Based IoT Services and ApplicationsIEEE Network · 2020
3. Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of ProcessorsInternational Journal of Foundations of Computer Science · 2019
4. Deep Learning in Building Management Systems over NDN: Use Case of Forwarding and HVAC Control2019
5. Reaction Systems and Synchronous Digital CircuitsMolecules · 2019
6. Interactive Bulk Synchronous Parallel Functional Programming in a Browser2018
7. Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDPElectronic Notes in Theoretical Computer Science · 2018
8. Extended spiking neural P systems with white hole rules and their red–green variantsNatural Computing · 2017
9. Entropy Games and Matrix Multiplication Games2015
10. Deciding the value 1 problem for probabilistic leaktight automata2015
11. An in-between "implicit" and "explicit" complexity: Automata2015
12. Memoization for Unary Logic Programming: Characterizing PTIME2015
13. Bounding Aggregations for Transient and Stationary Performance Analysis of SubnetworksThe Computer Journal · 2011
14. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable2011
15. Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri NetsIEEE Transactions on Parallel and Distributed Systems · 2010
16. Analysis of sequence variability in the macronuclear DNA of Paramecium tetraurelia: A somatic view of the germlineGenome Research · 2008