Skip to contents

  1. Alpuente, María [Author] ; Cook, Byron [Other]; Joubert, Christophe [Other]

    Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5825

  2. Alpuente, María [Other] ; IEEE Computer Society, Institute of Electrical and Electronics Engineers

    2nd International Workshop on Automated Specification and Verification of Web Systems, 2006 : WWV '06 ; selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) ; November 19, 2006, Paphos, Cyprus

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2007

  3. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Vidal, Germán [Other]; Weikum, Gerhard [Other]; Alpuente, María [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5079

  4. Carrera Alpuente, Josep Maria

    ¿Por qué nodal?

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Universitat Politècnica de Catalunya, 2012

    Published in: ACE: Architecture, City and Environment, 6 (2012) 18, Seite 193-208