| Automatic building of java projects in software repositories: A study on feasibility and challenges F Hassan, S Mostafa, ESL Lam, X Wang 2017 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2017 | 62 | 2017 |
| Actors with multi-headed message receive patterns M Sulzmann, ESL Lam, P Van Weert Coordination Models and Languages: 10th International Conference …, 2008 | 34 | 2008 |
| A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory ESL Lam, M Sulzmann Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007 | 33 | 2007 |
| Comparing the performance of concurrent linked-list implementations in Haskell M Sulzmann, ESL Lam, S Marlow ACM Sigplan Notices 44 (5), 11-20, 2009 | 31 | 2009 |
| Parallel execution of multi-set constraint rewrite rules M Sulzmann, ESL Lam Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 18 | 2008 |
| Towards agent programming in CHR ES Lam, M Sulzmann CHR 6, 17-31, 2006 | 18 | 2006 |
| Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles ESL Lam, I Cervesato, N Fatima 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part …, 2015 | 14 | 2015 |
| Concurrent goal-based execution of constraint handling rules ESL Lam, M Sulzmann Theory and Practice of Logic Programming 11 (6), 841-879, 2011 | 14 | 2011 |
| ChimpCheck: property-based randomized test generation for interactive apps ESL Lam, P Zhang, BYE Chang Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017 | 10 | 2017 |
| Decentralized execution of constraint handling rules for ensembles ESL Lam, I Cervesato Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 8 | 2013 |
| Modeling datalog fact assertion and retraction in linear logic ESL Lam, I Cervesato Proceedings of the 14th symposium on Principles and practice of declarative …, 2012 | 7 | 2012 |
| Compiling Constraint Handling Rules with lazy and concurrent search techniques M Sulzmann, ES Lam CHR 7, 139-149, 2007 | 7 | 2007 |
| Haskell-join-rules M Sulzmann, ES Lam IFL 7, 195-210, 2007 | 6 | 2007 |
| Reasoning About Set Comprehensions. ESL Lam, I Cervesato SMT, 27-37, 2014 | 5 | 2014 |
| Optimized Compilation of Multiset Rewriting with Comprehensions ESL Lam, I Cervesato Asian Symposium on Programming Languages and Systems, 19-38, 2014 | 4 | 2014 |
| Finally, a comparison between Constraint Handling Rules and join-calculus ESL Lam, M Sulzmann The 5th Workshop on Constraint Handling Rules, 51, 2008 | 4 | 2008 |
| Modular multiset rewriting I Cervesato, ESL Lam Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 3 | 2015 |
| Constraint Handling Rules with Multiset Comprehension Patterns ESL Lam, I Cervesato arXiv preprint arXiv:1406.2121, 2014 | 3 | 2014 |
| Parallel join patterns with guards and propagation M Sulzmann, ESL Lam Unpublished manuscript, 2008 | 3 | 2008 |
| Choreographic Compilation of Decentralized Comprehension Patterns I Cervesato, ESL Lam, A Elgazar International Symposium on Rules and Rule Markup Languages for the Semantic …, 2016 | 2 | 2016 |
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesE-mail confirmado em h-ka.de