Author/Creator: Monniaux, David - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Monniaux, David

1. A task‐based approach to parallel parametric linear programming solving, and application to polyhedral computations. (8th October 2020)

Authors:: Coti, Camille; Monniaux, David; Yu, Hang
Journal:: Concurrency and computation
Issue:: Volume 33:Number 6(2021)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017)

Editors:: Bouajjani, Ahmed; Monniaux, David
Other Names:: VMCAI (Conference), 18th
Record Type:: Book
Extent:: 1 online resource (xvii, 560 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗