Mehdi Khosravian

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 1

Top Topics

Formal Semantics

Deduction Rules

Relational Data

Top Venues

Publications

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)
Arman Didandeh, Bahram Sadeghi Bigham, Mehdi Khosravian, Farshad Bakhshandegan Moghaddam
Using Voronoi diagrams to solve a hybrid facility location problem with attentive facilities. Inf. Sci. 234 (2013)