Martin Erwig - Publications

Affiliations: 
Oregon State University, Corvallis, OR 
Area:
Computer Science

112 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Chen S, Erwig M, Walkingshaw E. A calculus for variational programming Leibniz International Proceedings in Informatics, Lipics. 56: 61-628. DOI: 10.4230/LIPIcs.ECOOP.2016.6  1
2016 Chen S, Erwig M. Principal type inference for GADTs Acm Sigplan Notices. 51: 416-428. DOI: 10.1145/2837614.2837665  1
2016 Erwig M, Rompf T. Welcome from the workshop chairs Pepm 2016 - Proceedings of the 2016 Acm Sigplan Workshop On Partial Evaluation and Program Manipulation, Co-Located With Popl 2016. iii.  1
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  1
2014 Erwig M, Walkingshaw E. Semantics-driven DSL design Computational Linguistics: Concepts, Methodologies, Tools, and Applications. 1: 251-275. DOI: 10.4018/978-1-4666-6042-7.ch013  1
2014 Walkingshaw E, Kästner C, Erwig M, Apel S, Bodden E. Variational data structures: Exploring tradeoffs in computing with variability Onward! 2014 - Proceedings of the 2014 Acm International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software, Part of Splash 2014. 213-226. DOI: 10.1145/2661136.2661143  1
2014 Smeltzer K, Erwig M, Metoyer R. A transformational approach to data visualization 13th International Conference On Generative Programming: Concepts and Experiences, Gpce 2014 - Proceedings. 53-62. DOI: 10.1145/2658761.2658769  1
2014 Chen S, Erwig M. Type-based parametric analysis of program families Acm Sigplan Notices. 49: 39-51. DOI: 10.1145/2628136.2628155  1
2014 Chen S, Erwig M. Early detection of type errors in C++ templates Pepm 2014 - Proceedings of the Acm Sigplan Workshop On Partial Evaluation and Program Manipulation, Co-Located With Popl 2014. 133-144. DOI: 10.1145/2543728.2543731  1
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  1
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  1
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  1
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  1
2014 Cunha J, Erwig M, Mendes J, Saraiva J. Model inference for spreadsheets Automated Software Engineering. DOI: 10.1007/s10515-014-0167-x  1
2014 Chen S, Erwig M. Guided type debugging Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8475: 35-51. DOI: 10.1007/978-3-319-07151-0_3  1
2013 Erwig M, Walkingshaw E, Chen S. An abstract representation of variational graphs Acm International Conference Proceeding Series. 25-32. DOI: 10.1145/2528265.2528270  1
2013 Bauer T, Erwig M, Fern A, Pinto J. Faster program adaptation through reward attribution inference Acm Sigplan Notices. 48: 103-111. DOI: 10.1145/2480361.2371417  1
2013 Allen W, Erwig M. Surveyor: A DSEL for representing and analyzing strongly typed surveys Acm Sigplan Notices. 47: 81-90. DOI: 10.1145/2430532.2364518  1
2013 Erwig M, Ostermann K, Rendel T, Walkingshaw E. Adding configuration to the choice calculus Acm International Conference Proceeding Series. DOI: 10.1145/2430502.2430520  1
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  1
2013 Erwig M, Walkingshaw E. Variation programming with the choice calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7680: 55-100. DOI: 10.1007/978-3-642-35992-7_2  1
2013 Erwig M, Paige RF. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8225.  1
2012 Walkingshaw E, Erwig M. A calculus for modeling and implementing variation Proceedings of the 11th International Conference On Generative Programming and Component Engineering, Gpce'12. 132-140. DOI: 10.1145/2371401.2371421  1
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  1
2012 Groce A, Erwig M. Finding common ground: Choose, assert, and assume 10th International Workshop On Dynamic Analysis, Woda 2012 - Proceedings. 12-17. DOI: 10.1145/04000801.2336800  1
2012 Groce A, Fern A, Pinto J, Bauer T, Alipour A, Erwig M, Lopez C. Lightweight automated testing with adaptation-based programming Proceedings - International Symposium On Software Reliability Engineering, Issre. 161-170. DOI: 10.1109/ISSRE.2012.1  1
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  1
2012 Groce A, Fern A, Erwig M, Pinto J, Bauer T, Alipour A. Learning-based test programming for programmers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7609: 572-586. DOI: 10.1007/978-3-642-34026-0_42  1
2012 Erwig M, Gopinath R. Explanations for regular expressions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7212: 394-408. DOI: 10.1007/978-3-642-28872-2_27  1
2012 Erwig M, Walkingshaw E. Semantics first! Rethinking the language design process Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6940: 243-262. DOI: 10.1007/978-3-642-28830-2_14  1
2011 Walkingshaw E, Erwig M. A DSEL for studying and explaining causation Electronic Proceedings in Theoretical Computer Science, Eptcs. 66: 143-167. DOI: 10.4204/EPTCS.66.7  1
2011 Bauer T, Erwig M, Fern A, Pinto J. Adaptation-based programming in Haskell Electronic Proceedings in Theoretical Computer Science, Eptcs. 66: 1-23. DOI: 10.4204/EPTCS.66.1  1
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  1
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  1
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  1
2011 Le D, Walkingshaw E, Erwig M. #ifdef confirmed harmful: Promoting understandable software variation Proceedings - 2011 Ieee Symposium On Visual Languages and Human Centric Computing, Vl/Hcc 2011. 143-150. DOI: 10.1109/VLHCC.2011.6070391  1
2011 Chen S, Erwig M. Optimizing the product derivation process Proceedings - 15th International Software Product Line Conference, Splc 2011. 35-44. DOI: 10.1109/SPLC.2011.47  1
2011 Erwig M. A language for software variation research Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6563: 1. DOI: 10.1007/978-3-642-19440-5_1  1
2011 Pinto J, Fern A, Bauer T, Erwig M. Improving policy gradient estimates with influence information Journal of Machine Learning Research. 20: 1-16.  1
2010 Erwig M, Walkingshaw E. Program fields for continuous software Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 105-108. DOI: 10.1145/1882362.1882384  1
2010 Erwig M, Walkingshaw E. Causal reasoning with neuron diagrams Proceedings - 2010 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2010. 101-108. DOI: 10.1109/VLHCC.2010.23  1
2010 Cunha J, Erwig M, Saraiva J. Automatically inferring classsheet models from spreadsheets Proceedings - 2010 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2010. 93-100. DOI: 10.1109/VLHCC.2010.22  1
2010 Chambers C, Erwig M, Luckey M. SheetDiff: A tool for identifying changes in spreadsheets Proceedings - 2010 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2010. 85-92. DOI: 10.1109/VLHCC.2010.21  1
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  1
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  1
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  1
2009 Walkingshaw E, Strauss P, Erwig M, Mueller J, Tumer I. A formal representation of software-hardware system design Proceedings of the Asme Design Engineering Technical Conference. 2: 1387-1398. DOI: 10.1115/DETC2009-87057  1
2009 Erwig M, DeLine R, Minas M. Welcome from the general chair and the program co-chairs 2009 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2009. DOI: 10.1109/VLHCC.2009.5295320  1
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  1
2009 Chambers C, Erwig M. Combining spatial and semantic label analysis 2009 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2009. 225-232. DOI: 10.1109/VLHCC.2009.5295258  1
2009 Abraham R, Erwig M. Mutation operators for spreadsheets Ieee Transactions On Software Engineering. 35: 94-108. DOI: 10.1109/TSE.2008.73  1
2009 Erwig M. Software engineering for spreadsheets Ieee Software. 26: 25-30. DOI: 10.1109/MS.2009.140  1
2009 Walkingshaw E, Erwig M. A domain-specific language for experimental game theory Journal of Functional Programming. 19: 645-661. DOI: 10.1017/S0956796809990220  1
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  1
2009 Erwig M, Walkingshaw E. A DSL for explaining probabilistic reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5658: 335-359. DOI: 10.1007/978-3-642-03034-5_16  1
2009 Walkingshaw E, Erwig M. Varying domain representations in hagl extending the expressiveness of a dsl for experimental game theory Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5658: 310-334. DOI: 10.1007/978-3-642-03034-5_15  1
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  1
2008 Abraham R, Erwig M. Test-driven goal-directed debugging in spreadsheets Proceedings - 2008 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2008. 131-138. DOI: 10.1109/VLHCC.2008.4639073  1
2008 Chambers C, Erwig M. Dimension inference in spreadsheets Proceedings - 2008 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2008. 123-130. DOI: 10.1109/VLHCC.2008.4639072  1
2008 Erwig M, Walkingshaw E. A visual language for representing and explaining strategies in game theory Proceedings - 2008 Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2008. 101-108. DOI: 10.1109/VLHCC.2008.4639067  1
2007 Abraham R, Erwig M, Andrew S. A type system based on end-user vocabulary Proceedings - Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2007. 215-222. DOI: 10.1109/VLHCC.2007.6  1
2007 Abraham R, Erwig M. GoalDebug: A spreadsheet debugger for end users Proceedings - International Conference On Software Engineering. 251-260. DOI: 10.1109/ICSE.2007.39  1
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  1
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  1
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  1
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.  1
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  1
2006 Lawrance J, Abraham R, Burnett M, Erwig M. Sharing reasoning about faults in spreadsheets: An empirical study Proceedings - Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2006. 35-42. DOI: 10.1109/VLHCC.2006.43  1
2006 Abraham R, Erwig M. AutoTest: A tool for automatic test case generation in spreadsheets Proceedings - Ieee Symposium On Visual Languages and Human-Centric Computing, Vl/Hcc 2006. 43-50. DOI: 10.1109/VLHCC.2006.11  1
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  1
2006 Erwig M, Kollmansberger S. Probabilistic functional programming in Haskell Journal of Functional Programming. 16: 21-34. DOI: 10.1017/S0956796805005721  1
2006 Erwig M. Visual type inference Journal of Visual Languages and Computing. 17: 161-186. DOI: 10.1016/j.jvlc.2005.04.004  1
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.  1
2006 Ren D, Erwig M. A generic recursion toolbox for Haskell or: Scrap your boilerplate systematically Haskell'06 - Proceedings of the Acm Sigplan 2006 Haskell Workshop. 2006: 13-24.  1
2006 Abraham R, Erwig M. Inferring templates from spreadsheets Proceedings - International Conference On Software Engineering. 2006: 182-191.  1
2005 Engels G, Erwig M. ClassSheets: Automatic generation of spreadsheet applications from object-oriented specifications 20th Ieee/Acm International Conference On Automated Software Engineering, Ase 2005. 124-133. DOI: 10.1145/1101908.1101929  1
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  1
2005 Abraham R, Erwig M, Kollmansberger S, Seifert E. Visual specifications of correct spreadsheets Proceedings - 2005 Ieee Symposium On Visual Languages and Human-Centric Computing. 2005: 189-198. DOI: 10.1109/VLHCC.2005.70  1
2005 Erwig M, Schürr A. Message from the PC chairs Proceedings - 2005 Ieee Symposium On Visual Languages and Human-Centric Computing. 2005. DOI: 10.1109/VLHCC.2005.51  1
2005 Abraham R, Erwig M. Goal-directed debugging of spreadsheets Proceedings - 2005 Ieee Symposium On Visual Languages and Human-Centric Computing. 2005: 37-44. DOI: 10.1109/VLHCC.2005.42  1
2005 Erwig M, Kollmansberger S. Modeling genome evolution with a DSEL for probabilistic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3819: 134-149. DOI: 10.1007/11603023_10  1
2005 Erwig M, Cooperstein I, Abraham R, Kollmansberger S. Automatic generation and maintenance of correct spreadsheets Proceedings - 27th International Conference On Software Engineering, Icse05. 136-145.  1
2004 Abraham R, Erwig M. Header and unit inference for spreadsheets through spatial analyses Proceedings - 2004 Ieee Symposium On Visual Languages and Human Centric Computing. 165-172. DOI: 10.1109/VLHCC.2004.29  1
2004 Erwig M. Escape from zurg: An exercise in logic programming Journal of Functional Programming. 14: 253-261. DOI: 10.1017/S0956796804005040  1
2004 Erwig M, Ren D. Monadification of functional programs Science of Computer Programming. 52: 101-129. DOI: 10.1016/j.scico.2004.03.004  1
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.  1
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  1
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  1
2003 Erwig M. Toward the automatic derivation of XML transformations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2814: 342-354.  1
2003 Erwig M, He J. KeyQuery - A front end for the automatic translation of keywords into structured queries Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2736: 494-503.  1
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.  1
2003 Güting RH, Böhlen MH, Erwig M, Jensen CS, Lorentzos N, Nardelli E, Schneider M, Viqueira JRR. Spatio-temporal models and languages: An approach based on data types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2520: 117-176.  1
2002 Erwig M, Schneider M. Spatio-temporal predicates Ieee Transactions On Knowledge and Data Engineering. 14: 881-901. DOI: 10.1109/TKDE.2002.1019220  1
2002 Burnett M, Erwig M. Visually customizing inference rules about apples and oranges Proceedings - Ieee 2002 Symposia On Human Centric Computing Languages and Environments, Hcc 2002. 140-148. DOI: 10.1109/HCC.2002.1046366  1
2002 Erwig M, Burnett M. Adding apples and oranges Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2257: 173-191.  1
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.  1
2001 Erwig M. Inductive graphs and functional graph algorithms Journal of Functional Programming. 11: 467-492. DOI: 10.1017/S0956796801004075  1
2001 Erwig M, Simon PJ. Pattern guards and transformational patterns Electronic Notes in Theoretical Computer Science. 41: 3. DOI: 10.1016/S1571-0661(05)80540-7  1
2000 Erwig M. The graph Voronoi diagram with applications Networks. 36: 156-163.  1
2000 Erwig M. Random access to abstract data types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1816: 135-149.  1
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.  1
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  1
1999 Erwig M, Schneider M. The honeycomb model of spatio-temporal partitions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1678: 39-59.  1
1998 Erwig M. Categorical programming with abstract data types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1548: 406-421. DOI: 10.1007/3-540-49253-4_29  1
1998 Erwig M. Functional pearls: Diets for fat sets Journal of Functional Programming. 8: 627-632.  1
1998 Erwig M. Fully persistent graphs—which one to choose? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1467: 123-140.  1
1998 Erwig M. Abstract syntax and semantics of visual languages Journal of Visual Languages and Computing. 9: 461-483.  1
1997 Erwig M, Schneider M. Vague regions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1262: 298-320. DOI: 10.1007/3-540-63238-7_36  1
1997 Erwig M. Active patterns Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1268: 21-40. DOI: 10.1007/3-540-63237-9_17  1
1997 Erwig M. Functional Programming with Graphs Sigplan Notices (Acm Special Interest Group On Programming Languages). 32: 52-74.  1
1997 Erwig M, Schneider M. Partition and conquer Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1329: 389-407.  1
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  1
Show low-probability matches.