Olivier Bournez 교수 연구 프로필
에콜 폴리테크니크 · 컴퓨터과학과
소개
에콜 폴리테크니크 컴퓨터과학과 소속 Olivier Bournez 교수의 등록된 연구 분야는 algorithms, complexity and computability theory, analog computation models입니다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Chandra Chekuri 교수 연구실
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
A Polymatroidal Perspective on Random Contraction새 논문프리프린트arXiv (Cornell University) · 9월 3일겹치는 주제: Complexity and Algorithms in Graphs
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Solving LIA⋆ Constraints Using Hilbert Bases새 논문OAPEN (The OAPEN Foundation) · 9월 1일겹치는 주제: Formal Methods in Verification
Tao Dacheng 교수 연구실
난양 이공대학교 · 컴퓨터데이터과학부
A Sharp Barrier for Consistent Submodular Maximization: Any Improvement over $2-\sqrt{2}$ Entails Exponential Queries or Linear Recourse프리프린트arXiv (Cornell University) · 9월 9일겹치는 주제: Complexity and Algorithms in Graphs
같은 학과의 다른 연구실
- Alain Couvreur 교수 연구실
algorithmic number theory, coding theory, cryptography
- Beniamino Accattoli 교수 연구실
proof theory, lambda calculus, computational logic
- Benjamin Doerr 교수 연구실
algorithms, complexity, probabilistic analysis, approximation algorithms
- Benjamin Werner 교수 연구실
types, logic and calculus, proof assistants, formal verification
- Catuscia Palamidessi 교수 연구실
formal languages for mobile, secure, stochastic and distributed systems, process calculi, privacy
- Constantin Enea 교수 연구실
semantics and static analysis of software systems, concurrency, hybrid and cyber-physical systems