| The essence of dependent object types N Amin, S Grütter, M Odersky, T Rompf, S Stucki A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016 | 93 | 2016 |
| Simplicitly: foundations and applications of implicit function types M Odersky, O Blanvillain, F Liu, A Biboudis, H Miller, S Stucki Proceedings of the ACM on Programming Languages 2 (POPL), 42, 2017 | 47 | 2017 |
| Yin-Yang: Concealing the deep embedding of DSLs V Jovanovic, A Shaikhha, S Stucki, V Nikolaev, C Koch, M Odersky Proceedings of the 2014 International Conference on Generative Programming …, 2014 | 39 | 2014 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 32 | 2019 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 32 | 2019 |
| Functionalized wood with tunable tribopolarity for efficient triboelectric nanogenerators J Sun, K Tu, S Büchele, SM Koch, Y Ding, SN Ramakrishna, S Stucki, ... Matter 4 (9), 3049-3066, 2021 | 31 | 2021 |
| Staged parser combinators for efficient data processing M Jonnalagedda, T Coppey, S Stucki, T Rompf, M Odersky Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 31 | 2014 |
| Reversible sesqui-pushout rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014 | 15 | 2014 |
| Fold-based fusion as a library: A generative programming pearl M Jonnalagedda, S Stucki Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 41-50, 2015 | 13 | 2015 |
| Development of smart optical gels with highly magnetically responsive bicelles S Isabettini, S Stucki, S Massabni, ME Baumgartner, PQ Reckey, ... ACS applied materials & interfaces 10 (10), 8926-8936, 2018 | 12 | 2018 |
| Approximations for stochastic graph rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 10 | 2014 |
| Rigid geometric constraints for Kappa models V Danos, R Honorato-Zimmer, S Jaramillo-Riveri, S Stucki Electronic Notes in Theoretical Computer Science 313, 23-46, 2015 | 8 | 2015 |
| Scalable and sustainable wood for efficient mechanical energy conversion in buildings via triboelectric effects J Sun, U Schütz, K Tu, SM Koch, G Roman, S Stucki, F Chen, Y Ding, ... Nano Energy 102, 107670, 2022 | 7 | 2022 |
| Higher-Order Subtyping with Type Intervals S Stucki EPFL, 2017 | 7 | 2017 |
| Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015 | 7 | 2015 |
| Natural wood-based catalytic membrane microreactors for continuous hydrogen generation K Tu, S Büchele, S Mitchell, L Stricker, C Liu, C Goldhahn, J Allaz, ... ACS Applied Materials & Interfaces 14 (6), 8417-8426, 2022 | 5 | 2022 |
| Gray-box monitoring of hyperproperties with an application to privacy S Stucki, C Sánchez, G Schneider, B Bonakdarpour Formal Methods in System Design 58 (1-2), 126-159, 2021 | 5 | 2021 |
| Transforming data flow diagrams for privacy compliance (long version) H Alshareef, S Stucki, G Schneider arXiv preprint arXiv:2011.12028, 2020 | 5 | 2020 |
| Yin-yang: Transparent deep embedding of dsls V Jovanovic, V Nikolaev, ND Pham, V Ureche, S Stucki, C Koch, ... Technical Report EPFL-REPORT-185832, EPFL, Lausanne, Switzerland, 2013 | 5 | 2013 |
| Deriving rate equations for site graph rewriting systems V Danos, R Harmer, R Honorato-Zimmer, S Stucki Fourth International Workshop on Static Analysis and Systems Biology, SASB 13, 2013 | 5 | 2013 |
Martin OderskyEPFLVerified email at epfl.ch
