Pierre Wolper

发表

Pierre Wolper, Doron A. Peled, Thomas Wilke, 1996, CONCUR.
Pierre Wolper, Patrice Godefroid, Bernard Boigelot, 1997 .
Pierre Wolper, Axel Legay, Bernard Boigelot, 2004, TACAS.
Pierre Wolper, Zohar Manna, Z. Manna, 1981, TOPL.
Pierre Wolper, Denis Leroy, P. Wolper, 1993, CAV.
Pierre Wolper, Patrice Godefroid, Bernard Boigelot, 1997, SAS.
Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..
Pierre Wolper, Sébastien Jodogne, Bernard Boigelot, 2001, IJCAR.
Pierre Wolper, 1995, Lecture Notes in Computer Science.
Pierre Wolper, Zohar Manna, 1981, Logic of Programs.
Marianne Baudinet, Jan Chomicki, Pierre Wolper, 1993, Temporal Databases.
Pierre Wolper, P. Wolper, Pierre Wolper, 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
Martín Abadi, Pierre Wolper, Leslie Lamport, 1989, ICALP.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1993, CONCUR.
Pierre Wolper, Moshe Y. Vardi, P. Wolper, 1994, Inf. Comput..
Pierre Wolper, Ulrich Nitsche, 1997 .
Stephan Merz, Pierre Wolper, Leon van der Torre, 2006, Trustworthy Software.
Stephan Merz, Pierre Wolper, Reinhard Wilhelm, 2006, Trustworthy Software.
Pierre Wolper, Axel Legay, François Cantin, 2009, Int. J. Found. Comput. Sci..
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, FOCS 1983.
Pierre Wolper, Ulrich Ultes-Nitsche, U. Ultes-Nitsche, 1997, PODC '97.
Pierre Wolper, Bernard Boigelot, Stéphane Rassart, 1998, ICALP.
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 1994, CAV.
Pierre Wolper, Vinciane Lovinfosse, P. Wolper, 1990, Automatic Verification Methods for Finite State Systems.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
Pierre Wolper, 2006 .
Pierre Wolper, 1997, International Journal on Software Tools for Technology Transfer.
Pierre Wolper, Bernard Willems, P. Wolper, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Pierre Wolper, Moshe Y. Vardi, P. Wolper, 1984, STOC '84.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1991, Formal Methods Syst. Des..
Pierre Wolper, Alain Finkel, Bernard Willems, 1997, INFINITY.
Pierre Wolper, Sudhir Aggarwal, Costas Courcoubetis, 1990, TOPL.
Marianne Baudinet, Jan Chomicki, Pierre Wolper, 1993 .
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 2000, TACAS.
Pierre Wolper, Pierre Wolper, 1996, CSUR.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1987, Theor. Comput. Sci..
Pierre Wolper, P. Wolper, Pierre Wolper, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Pierre Wolper, 1983, Inf. Control..
Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..
Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..
Pierre Wolper, Froduald Kabanza, Jean-Marc Stévenne, 1990, PODS.
Pierre Wolper, Marie-Jeanne Toussaint, P. Wolper, 1989, Distributed Computing And Cryptography.
Pierre Wolper, P. Wolper, Pierre Wolper, 1986, POPL '86.
Pierre Wolper, Patrice Godefroid, 1994, Inf. Comput..
Marianne Baudinet, Pierre Wolper, Marc Niézette, 1991, PODS '91.
Pierre Wolper, Sébastien Jodogne, Bernard Boigelot, 2003, ArXiv.
Pierre Wolper, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Marianne Baudinet, Jan Chomicki, Pierre Wolper, 1994, PPCP.
Stephan Merz, Pierre Wolper, Leon van der Torre, 2006 .
Pierre Wolper, Axel Legay, Axel Legay, 2008, TOCL.
Pierre Wolper, Froduald Kabanza, Jean-Marc Stévenne, 1995, J. Comput. Syst. Sci..
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 2002, ICLP.
Pierre Wolper, Moshe Y. Vardi, Orna Bernholtz, 1994, CAV.
Marianne Baudinet, Jan Chomicki, Pierre Wolper, 1995, ICDT.
Pierre Wolper, Moshe Y. Vardi, 1983, Logic of Programs.
Pierre Wolper, Axel Legay, Axel Legay, 2006, MTCoord@COORDINATION.
Pierre Wolper, Axel Legay, François Cantin, 2008, CIAA.
Pierre Wolper, Ulrich Ultes-Nitsche, 2001, ArXiv.
Pierre Wolper, Moshe Y. Vardi, P. Wolper, 1984, STOC '84.
Pierre Wolper, P. Wolper, Pierre Wolper, 1987, Temporal Logic in Specification.
Pierre Wolper, Axel Legay, Bernard Boigelot, 2003 .
Pierre Wolper, 2000, Constraint Databases.
Pierre Wolper, Alain Finkel, Javier Esparza, 2000, Inf. Process. Lett..
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1991, Formal Methods Syst. Des..
Pierre Wolper, Axel Legay, Bernard Boigelot, 2003, CAV.
Pierre Wolper, Dov M. Gabbay, Peter McBrien, 1990 .
Marianne Baudinet, Jan Chomicki, Pierre Wolper, 1994, J. Comput. Syst. Sci..
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 1995, SAS.
Pierre Wolper, Sébastien Jodogne, Bernard Boigelot, 2005, TOCL.
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 1998, CAV.
Pierre Wolper, Doron A. Peled, Moshe Y. Vardi, 1995, PSTV.
Pierre Wolper, 1996, CSUR.
Pierre Wolper, Orna Kupferman, Moshe Y. Vardi, 2000, JACM.
Pierre Wolper, Moshe Y. Vardi, Costas Courcoubetis, 1986, STOC '86.
Pierre Wolper, Axel Legay, Ahmed Bouajjani, 2004, INFINITY.
Pierre Wolper, Natarajan Shankar, Somesh Jha, 2021, Formal Methods Syst. Des..
Pierre Wolper, Alain Finkel, Javier Esparza, 2000 .