Displaying 1 - 30 of 513 results.

Pages

    • Journal article
    Recursive trust-region methods for multiscale nonlinear optimization
    Gratton, Serge Sartenaer, Annick Toint, Philippe (2008) SIAM Journal on Optimization — vol. 19, no. 1, p. 414-444 (2005)
    • Journal article
    Componentwise fast convergence in the solution of full-rank systems of nonlinear equations
    Gould, Nick Orban, Dominique Sartenaer, A. Toint, Philippe (2002) Mathematical Programming Series B — vol. 92, no. 3, p. 481-508 (1997)
    • Journal article
    Supporting multiple perspectives in feature-based configuration
    Hubaux, A. Heymans, P. Schobbens, P.-Y. Abbasi, E.K. Deridder, D. (2013) Software and Systems Modeling — vol. 12, no. 3, p. 641-663 (2010)
    • Journal article
    A two-level temporal logic for evolving specifications
    Schobbens, P.Y. Saake, G. Sernadas, A. Sernadas, C. (2002) Information processing letters — vol. 83, no. 3, p. 167-172 (1997)
    • Journal article
    Alternating-time logic with imperfect recall
    Schobbens, P.-Y. (2004) Electronic Notes in Theoretical Computer Science — vol. 85, p. 82-93 (1970)
    • Journal article
    Logic of `initially' and `next' : Complete axiomatization and complexity
    Schobbens, P.-Y. Raskin, J.-F. (1999) Information processing letters — vol. 69, no. 5, p. 221-225 (1997)
    • Journal article
    Axioms for real-time logics
    Schobbens, P.-Y. Raskin, J.-F. Henzinger, T.A. (2002) Theoretical Computer Science — vol. 274, no. 1-2, p. 151-182 (2001)
    • BookChapter
    Towards an incremental automata-based approach for software product-line model checking
    Cordy, Maxime Schobbens, Pierre Heymans, Patrick Legay, Axel (2012) ACM International Conference Proceeding Series : — [ISBN : 9781450310956]
    • Speech
    Purpose Management and Enforcement for Sensitive Private Data in Open Environments
    Rath, Thavy Mony Annanda Colin, Jean-Noël (2012) 10th international workshop for technical, economic and legal aspects of business models for virtual goods —

Pages