Organisation profile
Organisation profile
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Dynamic Skinning: Kinematics-Driven Cartoon Effects for Articulated Characters
Rohmer, D., Salem, K., Kalyanasundaram, N. & Zordan, V., 1 Mar 2026, In: IEEE Transactions on Visualization and Computer Graphics. 32, 3, p. 2684-2694 11 p.Research output: Contribution to journal › Article › peer-review
-
I-GLIDE: Input Groups for Latent Health Indicators in Degradation Estimation
Thil, L., Read, J., Kaddah, R. & Doquet, G., 1 Jan 2026, Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Proceedings. Ribeiro, R. P., Soares, C., Gama, J., Pfahringer, B., Japkowicz, N., Larrañaga, P., Jorge, A. M. & Abreu, P. H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 395-411 17 p. (Lecture Notes in Computer Science; vol. 16018 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Inner and outer approximations of arbitrarily quantified reachability problems
Goubault, E. & Putot, S., 1 Feb 2026, In: Nonlinear Analysis: Hybrid Systems. 59, 101629.Research output: Contribution to journal › Article › peer-review
Open Access -
On the theoretical expressive power of graph transformers for solving graph problems
Nikolentzos, G., Kelesis, D. & Vazirgiannis, M., 1 Feb 2026, In: Neural Networks. 194, 108112.Research output: Contribution to journal › Article › peer-review
Open Access -
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation
Chwiałkowski, M., Goubault, E. & Putot, S., 1 Jan 2026, AI Verification - 2nd International Symposium, SAIV 2025, Proceedings. Giacobbe, M. & Lukina, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 115-135 21 p. (Lecture Notes in Computer Science; vol. 15947 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Runtime Analysis of the Compact Genetic Algorithm on the LeadingOnes Benchmark
Chwialkowski, M., Doerr, B. & Stefan Krejca, M., 1 Feb 2026, In: IEEE Transactions on Evolutionary Computation. 30, 1, p. 311-320 10 p.Research output: Contribution to journal › Article › peer-review
Open Access -
The Domino Problem Is Decidable for Robust Tilesets
Aubrun, N., Blanc, M. & Bournez, O., 1 Jan 2026, Unconventional Computation and Natural Computation - 22nd International Conference, UCNC 2025, Proceedings. Formenti, E. & Manzoni, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 115-131 17 p. (Lecture Notes in Computer Science; vol. 16364 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Toward higher-order infinite time Turing machines: simulational Γ-machines
Bournez, O., Finkel, O. & Girardot, J., 1 Jul 2026, In: Annals of Pure and Applied Logic. 177, 7, 103741.Research output: Contribution to journal › Article › peer-review
-
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations
Blanc, M. & Bournez, O., 1 Nov 2025, In: International Journal of Foundations of Computer Science. 36, 7, p. 989-1016 28 p.Research output: Contribution to journal › Article › peer-review
-
A Crowding Distance That Provably Solves the Difficulties of the NSGA-II in Many-Objective Optimization
Zheng, W., Gao, Y. & Doerr, B., 1 Jan 2025, (Accepted/In press) In: IEEE Transactions on Evolutionary Computation.Research output: Contribution to journal › Article › peer-review