Denis A. Nicole

35 papers and 386 indexed citations i.

Denis A. Nicole has authored 35 papers that have received a total of 386 indexed citations. This includes 11 papers in Computer Networks and Communications, 9 papers in Statistical and Nonlinear Physics and 7 papers in Atomic and Molecular Physics, and Optics. The topics of these papers are Distributed and Parallel Computing Systems (8 papers), Parallel Computing and Optimization Techniques (7 papers) and Formal Methods in Verification (6 papers). Denis A. Nicole is often cited by papers focused on Distributed and Parallel Computing Systems (8 papers), Parallel Computing and Optimization Techniques (7 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United Kingdom, Brazil and United States. Denis A. Nicole's co-authors include Lucas C. Cordeiro, Bernd Fischer, Simón Cox, David J. Pritchard and Kenji Takeda and has published in prestigious journals such as Physical Review Letters, Nuclear Physics B and Physics Letters B