| 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 | 123 | 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 | 53 | 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 | 48 | 2014 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 41 | 2019 |
| 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 | 34 | 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 | 15 | 2015 |
| Reversible sesqui-pushout rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Graph Transformation, 161-176, 2014 | 15 | 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 | 10 | 2015 |
| 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 |
| 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), 126-159, 2021 | 9 | 2021 |
| Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Reversible Computation, 3-26, 2015 | 8 | 2015 |
| Precise Analysis of Purpose Limitation in Data Flow Diagrams H Alshareef, K Tuma, S Stucki, G Schneider, R Scandariato Proceedings of the 17th International Conference on Availability …, 2022 | 7 | 2022 |
| Transforming Data Flow Diagrams for Privacy Compliance. H Alshareef, S Stucki, G Schneider MODELSWARD 21, 207-215, 2021 | 7 | 2021 |
| Higher-Order Subtyping with Type Intervals S Stucki EPFL, 2017 | 7 | 2017 |
| Refining Privacy-Aware Data Flow Diagrams H Alshareef, S Stucki, G Schneider International Conference on Software Engineering and Formal Methods, 121-140, 2021 | 6 | 2021 |
| Transforming data flow diagrams for privacy compliance (long version) H Alshareef, S Stucki, G Schneider arXiv preprint arXiv:2011.12028, 2020 | 6 | 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 |
| Rate equations for graphs V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Computational Methods in Systems Biology, 3-26, 2020 | 4 | 2020 |
| What are the odds? Probabilistic programming in Scala S Stucki, N Amin, M Jonnalagedda, T Rompf Proceedings of the 4th Workshop on Scala, 1-9, 2013 | 4 | 2013 |
Martin OderskyEPFL在 epfl.ch 的电子邮件经过验证
