Germán Puebla

Telephone & Addresses

German Puebla, 40, Waukesha, US, Whiterock Ave

View Germán's social profiles and photos on Facebook, MySpace, and +40 Networks.

German P Puebla, 48, Houston, US, Lost Thicket Dr

View Germán's social profiles and photos on Facebook, MySpace, and +40 Networks.

German P Puebla, 48, Houston, US, Lost Thicket Dr

View Germán's social profiles and photos on Facebook, MySpace, and +40 Networks.

German en Puebla.

www.seccionamarilla.com.mx

El mejor servicio y productos de German se encuentra ubicado en el estado de Puebla

Germán Puebla. Gerencia de Ventas Región Cuyo en Coca Cola Andina Argentina . Nibaldo Zuñiga. Jefe administrativo en I.Municipalidad de Colina. Karime Alí Rodríguez. Profesional de Desarrollo de Carrera en Servicio de Impuestos Internos. Karen Onetto--Insignia de perfil público.

Interests

lml.ls.fi.upm.es

Germán Puebla. Welcome to my home page. I am an associate professor (Profesor Titular de Universidad) in Computer Science at the Department of Programming Languages

Germán Puebla - UPM

costa.ls.fi.upm.es

Research Interests My research interests include program analysis, transformation, and verification. Currently, I am active in mobile code security, proof-carrying

Business Profiles

Researchgate: Germán Puebla

Madrid, Madrid, Spain

Private Homepages

SUCESORES DE GERMAN PUEBLA SL

sucesores-de-german-puebla.pymes.com

SUCESORES DE GERMAN PUEBLA SL

Employees

BlanchetSAS02

bblanche.gitlabpages.inria.fr

From Secrecy to Authenticity in Security Protocols. In Manuel Hermenegildo and Germán Puebla, editors, 9th International Static Analysis Symposium ...

Publications of Etienne Payet

lim.univ-reunion.fr

In Germán Puebla, editor, Proc. of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'06). Volume of ...

Heritage

Germán Puebla Sánchez - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

According to our current on-line database, Germán Puebla Sánchez has 3 students and 3 descendants. We welcome any additional information. If you have additional ...

Books & Literature

(1 - 4 from 12

–show all

)

Crockett Book Company

bookmanager.com

Trail's locally-owned, locally-operated independent bookstore! We offer bestsellers, local interest books, bargain books, games, cards, puzzles and much more!

bokus.com: Static Analysis - Manuel Hermenegildo, German Puebla - Häftad...

Pris: kr. Häftad, Skickas inom vardagar. Köp Static Analysis av Manuel Hermenegildo, German Puebla på Bokus.com.

Germán Puebla (Author of Logic-Based Program Synthesis and...

www.goodreads.com

Germán Puebla is the author of Logic-Based Program Synthesis and Transformation (4.00 avg rating, 1 rating, 0 reviews, published 2007), Logic-Based Progr...

germán puebla: 1 Books available | chapters.indigo.ca

www.chapters.indigo.ca

Buy germán puebla Books at Indigo.ca. Shop amongst our popular books, including 1, Static Analysis and more from germán puebla. Free shipping and pickup in...

Scientific Publications

(1 - 4 from 7

–show all

)

dblp: Germán Puebla

dblp.uni-trier.de

List of computer science publications by Germán Puebla

CiteSeerX — Mobius: Mobility, ubiquity, security: Objectives and...

citeseer.ist.psu.edu

... and Lennart Beringer and Pierre Crégut and Benjamin Grégoire and Martin Hofmann and Peter Müller and Erik Poll and Germán Puebla and Ian Stark and Eric ...

Arbeitsgruppe Softwareentwicklung und Verifikation

wwwmath.uni-muenster.de

Polynomial constants are decidable. In M. V. Hermenegildo and German Puebla, editors, SAS (9th Static Analysis Symposium), LNCS 2477, pages

dblp: Electronic Notes in Theoretical Computer Science, Volume 177

dblp.uni-trier.de

Bibliographic content of Electronic Notes in Theoretical Computer Science, Volume 177

Publications

(1 - 4 from 9

–show all

)

Acknowledgment - CORE

core.ac.uk

Abstract. First, I would like to thank my adviser, Germán Puebla, for his time, his support and his help on this work. I am also grateful to Edison Mera, for his ...

BOE.es - Documento BOE-A

www.boe.es

Documento BOE-A

Abstract specialization and its application to program...

core.ac.uk

By Germán Puebla and Manuel Hermenegildo. Abstract. Abstract. Program specialization optimizes programs for known values of the input. It is often the case …

Converting One Type-Based Abstract Domain to Another | SpringerLink

link.springer.com

Converting One Type-Based Abstract Domain to Another John P. Gallagher, Germán Puebla, Elvira Albert … show all 3 hide; Download ... Germán Puebla (18)

Video & Audio

Germán PUEBLA - YouTube

www.youtube.com

Germán PUEBLA. SubscribeSubscribedUnsubscribe 0. Loading... Loading... Working... Created playlists · 2 videos Play all. Play now. Emotivo - Playlist. 8:

Miscellaneous

(1 - 20 from 40

–show all

)

	Madrid Houston Waukesha

	Elvira Albert CiteSeerX Puri Arenas Manuel Hermenegildo Samir Genaim Static Analysis Symposium Gómez-Zamalloa Miguel

Germán Puebla Free People Check

Images of Germán Puebla

News

Telephone & Addresses

Interests

Business Profiles

Private Homepages

Employees

Heritage

Video & Audio