Calculated based on number of publications stored in Pure and citations from Scopus
20042006

Research activity per year

Fingerprint

Dive into the research topics where Philippe Meunier is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Modular set-based analysis from contracts

    Meunier, P., Findler, R. B. & Felleisen, M., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 218-231 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    19 Scopus citations
  • Modular set-based analysis from contracts

    Meunier, P., Findler, R. B. & Felleisen, M., 2006, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 41, 1, p. 218-231 14 p.

    Research output: Contribution to journalArticlepeer-review

    8 Scopus citations
  • Selectors make set-based analysis too hard

    Meunier, P., Findler, R. B., Steckler, P. & Wand, M., Dec 2005, In: Higher-Order and Symbolic Computation. 18, 3-4, p. 245-269 25 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • Improving the static analysis of embedded languages via partial evaluation

    Herman, D. & Meunier, P., Sep 2004, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 39, 9, p. 16-27 12 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations
  • Improving the static analysis of embedded languages via partial evaluation

    Herman, D. & Meunier, P., 2004, p. 16-27. 12 p.

    Research output: Contribution to conferencePaperpeer-review

    5 Scopus citations