On the mathematics of sequential decompositionsJules Desharnais; Ali Mili; Fatma Mili · 1993

Internal axioms for domain semiringsJules Desharnais; Georg Struth · 2011

Relational methods in computer scienceJules Desharnais; Marc Frappier; Ali Jaoua; Wendy MacCaull · 2001

Characterizing determinacy in Kleene algebrasJules Desharnais; Bernhard Möller · 2001

Semantic distance between specificationsRym Mili; Jules Desharnais; Marc Frappier; Ali Mili · 2000

Least Reflexive Points of RelationsJules Desharnais; Bernhard Möller · 2005

Kleene algebra with domainDesharnais, Jules; Möller, Bernhard; Struth, Georg · ACM Transactions on Computational Logic · 2006

Integration of sequential scenariosDesharnais, Jules; Frappier, Marc; Khédri, Ridha; Mili, Ali · ACM SIGSOFT Software Engineering Notes · 1997

Efficient sessionsSivaramakrishnan, K.C.; Qudeisat, Mohammad; Ziarek, Lukasz; Nagaraj, Karthik; Eugster, Patrick · Science of Computer Programming · 2013

GLL parse-tree generationScott, Elizabeth; Johnstone, Adrian · Science of Computer Programming · 2013

Refactoring pattern matchingWang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang · Science of Computer Programming · 2013

Modeling the Java Bytecode VerifierReynolds, Mark C. · Science of Computer Programming · 2013

Semantic mutation testingClark, John A.; Dan, Haitao; Hierons, Robert M. · Science of Computer Programming · 2013

Computational contractsScholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang · Science of Computer Programming · 2015

EditorialBergstra, Jan · Science of Computer Programming · 2013

ForewordAleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter; Probst, Christian W.; Stephenson, Ben · Science of Computer Programming · 2013