Nicolas Stouls

Associate professor

Lyon College

faculty

6 h-index 66 pubs 139 cited

Research Areas

Formal Methods in Verification Service-Oriented Architecture and Web Services Software Testing and Debugging Techniques Advanced Software Engineering Methodologies Logic, programming, and type systems

Links

ORCID

Is this your profile? Verify and claim your profile

Metrics

  • h-index: 6
  • Publications: 66
  • Citations: 139

Selected Publications

  • Informatique frugale : à quand un numérique compatible avec les limites planétaires ? (2023) DOI

Collaborators

Researchers in the database who share publications

Odyssée Merveille Lyon College 1 shared publication Guillaume Salagnac Lyon College 1 shared publication

Similar Researchers

Based on overlapping research topics

Albert L. Baker University of Arkansas at Little Rock
Formal Methods in Verification Advanced Software Engineering Methodologies Logic, programming, and type systems
Good match 3 shared topics
Frédéric Prost Lyon College
Formal Methods in Verification Software Testing and Debugging Techniques Logic, programming, and type systems
Good match 3 shared topics
Daniel Barrett Hendrix College
Service-Oriented Architecture and Web Services Advanced Software Engineering Methodologies
Related 2 shared topics
Brent A. Yorgey Hendrix College
Formal Methods in Verification Logic, programming, and type systems
Related 2 shared topics
Michael Lowry University of Arkansas for Medical Sciences
Formal Methods in Verification Logic, programming, and type systems
Related 2 shared topics
Aditi Barua University of Arkansas at Little Rock
Formal Methods in Verification Logic, programming, and type systems
Related 2 shared topics