-
1
-
2تقرير
المؤلفون: de Conto, Eduardo, Genest, Blaise, Easwaran, Arvind
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2406.19670
-
3تقرير
المؤلفون: Akshay, S., Bazille, Hugo, Genest, Blaise, Vahanwala, Mihir
المصدر: Logical Methods in Computer Science, Volume 20, Issue 2 (June 5, 2024) lmcs:10261
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2211.02365
-
4دورية أكاديمية
المصدر: In Sustainable Energy, Grids and Networks June 2024 38
-
5مؤتمر
المؤلفون: Bazille, Hugo, Fabre, Eric, Genest, Blaise
المصدر: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) Decision and Control (CDC), 2017 IEEE 56th Annual Conference on. :5726-5731 Dec, 2017
Relation: 2017 IEEE 56th Annual Conference on Decision and Control (CDC)
-
6
-
7تقرير
المصدر: Logical Methods in Computer Science, Volume 15, Issue 3 (July 29, 2019) lmcs:4662
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Electrical Engineering and Systems Science - Systems and Control
URL الوصول: http://arxiv.org/abs/1807.00893
-
8تقرير
المؤلفون: Akshay, S., Genest, Blaise, Vyas, Nikhil
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Computer Science - Discrete Mathematics
URL الوصول: http://arxiv.org/abs/1804.09341
-
9
-
10مؤتمر
المؤلفون: Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P.S.
المصدر: 2012 27th Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. :55-64 Jun, 2012
Relation: 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)