Year |
Citation |
Score |
2018 |
Smeltzer K, Erwig M. A domain-specific language for exploratory data visualization Sigplan Notices. 53: 1-13. DOI: 10.1145/3278122.3278138 |
0.305 |
|
2018 |
Cunha J, Dan M, Erwig M, Fedorin D, Grejuc A. Explaining spreadsheets with spreadsheets (short paper) Sigplan Notices. 53: 161-167. DOI: 10.1145/3278122.3278136 |
0.425 |
|
2018 |
Chen S, Erwig M. Systematic identification and communication of type errors Journal of Functional Programming. 28. DOI: 10.1017/S095679681700020X |
0.378 |
|
2017 |
Erwig M, Smeltzer K, Wang X. What is a visual language Journal of Visual Languages and Computing. 38: 9-17. DOI: 10.1016/J.Jvlc.2016.10.005 |
0.314 |
|
2015 |
Smeltzer K, Erwig M, Metoyer R. A transformational approach to data visualization Sigplan Notices. 50: 53-62. DOI: 10.1145/2775053.2658769 |
0.339 |
|
2015 |
Chen S, Erwig M, Smeltzer K. Exploiting diversity in type checkers for better error messages Journal of Visual Languages and Computing. DOI: 10.1016/J.Jvlc.2016.07.001 |
0.448 |
|
2014 |
Chen S, Erwig M. Type-based parametric analysis of program families Acm Sigplan Notices. 49: 39-51. DOI: 10.1145/2628136.2628155 |
0.313 |
|
2014 |
Chen S, Erwig M. Counter-factual typing for debugging type errors Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 583-594. DOI: 10.1145/2535838.2535863 |
0.342 |
|
2014 |
Chen S, Erwig M, Walkingshaw E. Extending type inference to variational programs Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2518190 |
0.386 |
|
2014 |
Erwig M, Smeltzer K, Xu K. A notation for non-linear program edits Proceedings of Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc. 205-206. DOI: 10.1109/VLHCC.2014.6883057 |
0.32 |
|
2014 |
Chen S, Erwig M, Smeltzer K. Let's hear both sides: On combining type-error reporting tools Proceedings of Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc. 145-152. DOI: 10.1109/VLHCC.2014.6883038 |
0.351 |
|
2013 |
Erwig M, Walkingshaw E. A visual language for explaining probabilistic reasoning Journal of Visual Languages and Computing. 24: 88-109. DOI: 10.1016/J.Jvlc.2013.01.001 |
0.448 |
|
2012 |
Chen S, Erwig M, Walkingshaw E. An error-tolerant type system for variational lambda calculus Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 29-40. DOI: 10.1145/2364527.2364535 |
0.323 |
|
2012 |
Luckey M, Erwig M, Engels G. Systematic evolution of model-based spreadsheet applications Journal of Visual Languages and Computing. 23: 267-286. DOI: 10.1016/J.Jvlc.2011.11.009 |
0.407 |
|
2011 |
Erwig M, Walkingshaw E. The choice calculus: A representation for software variation Acm Transactions On Software Engineering and Methodology. 21. DOI: 10.1145/2063239.2063245 |
0.396 |
|
2011 |
Bauer T, Erwig M, Fern A, Pinto J. Adaptation-based programming in Java Perm'11 - Proceedings of the 20th Acm Sigplan Workshop On Partial Evaluation and Program Manipulation. 81-90. DOI: 10.1145/1929501.1929518 |
0.315 |
|
2011 |
Ko AJ, Abraham R, Beckwith L, Blackwell A, Burnett M, Erwig M, Scaffidi C, Lawrance J, Lieberman H, Myers B, Rosson MB, Rothermel G, Shaw M, Wiedenbeck S. The state of the art in end-user software engineering Acm Computing Surveys. 43. DOI: 10.1145/1922649.1922658 |
0.567 |
|
2010 |
Pinto J, Fern A, Bauer T, Erwig M. Robust learning for adaptive programs by leveraging program structure Proceedings - 9th International Conference On Machine Learning and Applications, Icmla 2010. 943-948. DOI: 10.1109/ICMLA.2010.150 |
0.302 |
|
2010 |
Chambers C, Erwig M. Reasoning about spreadsheets with labels and dimensions Journal of Visual Languages and Computing. 21: 249-262. DOI: 10.1016/J.Jvlc.2010.08.004 |
0.342 |
|
2010 |
Bauer T, Erwig M. Declarative scripting in Haskell Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5969: 294-313. DOI: 10.1007/978-3-642-12107-4_21 |
0.338 |
|
2009 |
Erwig M, Walkingshaw E. Visual explanations of probabilistic reasoning 2009 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2009. 23-27. DOI: 10.1109/VLHCC.2009.5295309 |
0.308 |
|
2009 |
Abraham R, Erwig M. Mutation operators for spreadsheets Ieee Transactions On Software Engineering. 35: 94-108. DOI: 10.1109/Tse.2008.73 |
0.551 |
|
2009 |
Erwig M. Software engineering for spreadsheets Ieee Software. 26: 25-30. DOI: 10.1109/Ms.2009.140 |
0.431 |
|
2009 |
Chambers C, Erwig M. Automatic detection of dimension errors in spreadsheets Journal of Visual Languages and Computing. 20: 269-283. DOI: 10.1016/J.Jvlc.2009.04.002 |
0.364 |
|
2008 |
Bennet AF, Chua BS, Pflaum BL, Erwig M, Fu Z, Loft RD, Muccino JC. The inverse ocean modeling system. Part I: Implementation Journal of Atmospheric and Oceanic Technology. 25: 1608-1622. DOI: 10.1175/2008Jtecho519.1 |
0.554 |
|
2007 |
Bals JC, Christ F, Engels G, Erwig M. ClassSheets - Model-based, object-oriented design of spreadsheet applications Journal of Object Technology. 6: 383-398. DOI: 10.5381/Jot.2007.6.9.A19 |
0.397 |
|
2007 |
Erwig M, Ren D. An update calculus for expressing type-safe program updates Science of Computer Programming. 67: 199-222. DOI: 10.1016/J.Scico.2007.01.003 |
0.626 |
|
2007 |
Abraham R, Erwig M. UCheck: A spreadsheet type checker for end users Journal of Visual Languages and Computing. 18: 71-95. DOI: 10.1016/J.Jvlc.2006.06.001 |
0.581 |
|
2007 |
Erwig M, Fu Z, Pflaum B. Parametric Fortran: Program generation in scientific computing Journal of Software Maintenance and Evolution. 19: 155-182. DOI: 10.1002/Smr.346 |
0.602 |
|
2006 |
Erwig M, Fu Z, Pflaum B. Generic programming in Fortran Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 130-139. DOI: 10.1145/1111542.1111564 |
0.352 |
|
2006 |
Erwig M, Abraham R, Kollmansberger S, Cooperstein I. Gencel: A program generator for correct spreadsheets Journal of Functional Programming. 16: 293-325. DOI: 10.1017/S0956796805005794 |
0.653 |
|
2006 |
Erwig M, Kollmansberger S. Probabilistic functional programming in Haskell Journal of Functional Programming. 16: 21-34. DOI: 10.1017/S0956796805005721 |
0.305 |
|
2006 |
Abraham R, Erwig M. Type inference for spreadsheets Ppdp'06 - Proceedings of the Eight Acm Sigplan Symposium On Principles and Practice of Declarative Programming. 2006: 73-84. |
0.389 |
|
2005 |
Abraham R, Erwig M. How to communicate unit error messages in spreadsheets Acm Sigsoft Software Engineering Notes. 30: 1-5. DOI: 10.1145/1082983.1083243 |
0.577 |
|
2005 |
Erwig M, Fu Z. Software reuse for scientific computing through program generation Acm Transactions On Software Engineering and Methodology. 14: 168-198. DOI: 10.1145/1061254.1061257 |
0.627 |
|
2004 |
Erwig M. Escape from zurg: An exercise in logic programming Journal of Functional Programming. 14: 253-261. DOI: 10.1017/S0956796804005040 |
0.412 |
|
2004 |
Erwig M, Ren D. Monadification of functional programs Science of Computer Programming. 52: 101-129. DOI: 10.1016/J.Scico.2004.03.004 |
0.582 |
|
2004 |
Erwig M, Fu Z. Parametric fortran – A program generator for customized generic fortran extensions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3057: 209-223. |
0.352 |
|
2003 |
Erwig M. Xing: A visual XML query language Journal of Visual Languages and Computing. 14: 5-45. DOI: 10.1016/S1045-926X(02)00074-5 |
0.36 |
|
2003 |
Erwig M, Schneider M. A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus Journal of Visual Languages and Computing. 14: 181-211. DOI: 10.1016/S1045-926X(02)00057-5 |
0.35 |
|
2003 |
Erwig M, Ren D. Type-safe update programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2618: 269-283. |
0.369 |
|
2002 |
Erwig M, Ren D. A rule-based language for programming software updates Proceedings of the 2002 Acm Sigplan Workshop On Rule-Based Programming. 67-77. |
0.572 |
|
2000 |
Güting RH, Böhlen MH, Erwig M, Jensen CS, Lorentzos NA, Schneider M, Vazirgiannis M. A Foundation for Representing and Querying Moving Objects Acm Transactions On Database Systems. 25: 1-42. DOI: 10.1145/352958.352963 |
0.372 |
|
1999 |
Erwig M, Güting RH, Schneider M, Vazirgiannis M. Spatio-temporal data types: An approach to modeling and querying moving objects in databases Geoinformatica. 3: 269-296. DOI: 10.1023/A:1009805532638 |
0.318 |
|
1998 |
Erwig M. Abstract syntax and semantics of visual languages Journal of Visual Languages and Computing. 9: 461-483. DOI: 10.1006/Jvlc.1998.0098 |
0.358 |
|
1994 |
Erwig M, Güting RH. Explicit Graphs in a Functional Model for Spatial Databases Ieee Transactions On Knowledge and Data Engineering. 6: 787-804. DOI: 10.1109/69.317707 |
0.354 |
|
Show low-probability matches. |