Deian Stefan
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 56
Publications (10 Years): 56
Publications
- Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan
- Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena
- Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
- Shravan Narayan, Craig Disselkoen, Deian Stefan
- Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
- Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
- Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
- Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
- Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
- Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
- Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan
- Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
- Pablo Buiras, Deian Stefan, Alejandro Russo
- Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan
- Deian Stefan, Amit Levy, Alejandro Russo, David Mazières
- Deian Stefan, David Mazières
- Pablo Buiras, Deian Stefan, Alejandro Russo
- Amit A. Levy, David Terei, Deian Stefan, David Mazières
- Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp
- John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
- Kui Xu, Huijun Xiong, Chehai Wu, Deian Stefan, Danfeng Yao
- Deian Stefan, Xiaokui Shu, Danfeng (Daphne) Yao
- Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
- Deian Stefan, Danfeng Yao
- Shahram Khazaei, Simon Knellwolf, Willi Meier, Deian Stefan
- Dag Arne Osvik, Joppe W. Bos, Deian Stefan, David Canright
- Deian Stefan
- Joppe W. Bos, Dag Arne Osvik, Deian Stefan
- Deian Stefan