AI in adjudication and administration: A status report on governmental use of algorithmic tools in the United States. U of Penn Law School, Public Law Research Paper, pp.19-41, 2019. ,
Measuring, monitoring, and managing legal complexity, Iowa L. Rev, vol.101, p.191, 2015. ,
Form as formalization. Ohio State Technology Law Journal, 2020. ,
Revisiting legacy systems and legacy modernization from the industrial perspective, Master's thesis, 2013. ,
Expert systems for legal decision making, Expert Systems, vol.3, issue.4, pp.212-226, 1986. ,
Why expert systems fail, Journal of the Operational Research Society, vol.36, issue.7, pp.613-619, 1985. ,
The use of auditing expert systems in public accounting, Journal of Information Systems, vol.01, pp.63-72, 1990. ,
Étude formelle de l'implémentation du code des impôts, 31ème Journées Francophones des Langages Applicatifs, 2020. ,
Building on shifting sands: The structure of repetitive it project escalation, crisis, and de-escalation, Proceedings of the 26th International Conference of the System Dynamics Society, 2008. ,
The rise and fall of the legal expert system, International Review of Law, vol.30, issue.3, pp.94-106, 2016. ,
A survey on survey of migration of legacy systems, Proceedings of the International Conference on Informatics and Analytics, ICIA-16, 2016. ,
From secured legacy systems to interoperable services (the careful evolution of the french tax administration to provide new possibilities while ensuring the primary tax recovering objective), 2020. ,
Computer-assisted law-making-process: Information technologies and legal certainty -French experiments, International Conference, The State and the Legal System -Institutional Contemporary Transformations, 2006. ,
The demise of the waterfall model is imminent, Queue, vol.1, issue.10, pp.10-15, 2004. ,
Formalizing the Code, Tax Law Review, vol.70, issue.377, 2017. ,
The humble programmer, Communications of the ACM, vol.15, issue.10, pp.859-866, 1972. ,
The need for transparency in the age of predictive sentencing algorithms, Iowa L. Rev, vol.103, p.303, 2017. ,
Counterfactual explanations without opening the black box: Automated decisions and the GDPR, Harv. JL & Tech, vol.31, p.841, 2017. ,
Why a right to explanation of automated decision-making does not exist in the general data protection regulation, International Data Privacy Law, vol.7, issue.2, pp.76-99, 2017. ,
Transparency of automated decisions in the GDPR: an attempt for systemisation. International Data Privacy Law, 2017. ,
ethinking explainable machines: The GDPR's "right to explanation" debate and the rise of algorithmic audits in enterprise, Berkeley Technology Law Journal, vol.34, 2019. ,
The formulae-as-types notion of construction, To HB Curry: essays on combinatory logic, lambda calculus and formalism, vol.44, pp.479-490, 1980. ,
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, vol.2566, pp.85-108, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00528442
Frama-c, Software Engineering and Formal Methods, pp.233-247, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-02263407
Lustre: A declarative language for programming synchronous systems, 14th Symposium on Principles of Programming Languages (POPL'87), 1987. ,
Formal certification of a compiler back-end or: Programming a compiler with a proof assistant, SIGPLAN Not, vol.41, issue.1, pp.42-54, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00000963
Spreadsheets for legal reasoning: The continued promise of declarative logic programming in law. Available at SSRN 3577239, 2020. ,
Literate Programming, The Computer Journal, vol.27, issue.2, pp.97-111, 1984. ,
, , 2001.
A Logic for Statutes, Florida Tax Review, 2018. ,
Constitution et exploitation informatique d'un ensemble documentaire en droit ,
A syntactic approach to type soundness. Information and Computation, vol.115, pp.38-94, 1994. ,
A logic for default reasoning, Special Issue on Non-Monotonic Logic, vol.13, issue.1, pp.81-132, 1980. ,
Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, pp.671-688, 2003. ,
The Birth of Prolog, pp.331-367, 1996. ,
, A dataset for statutory reasoning in tax law entailment and question answering, 2020.