SEO Test Tool

This tool allows you to analyze the source code of a page
and verify the optimization for the search engines.

URL:



Respuesta: HTTP/1.1 302 Found
Date: Mon, 01 Mar 2021 09:14:05 GMT
Server: Apache/2.4.38 (Debian)
Location: https://www.professoren.tum.de/esparza-estaun-francisco-javier/
Content-Length: 247
Connection: close
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK:
Date: Mon, 01 Mar 2021 09:14:05 GMT
Server: Apache/2.4.38 (Debian)
Content-Language: de
Content-Length: 22443
Cache-Control: max-age=0
Expires: Mon, 01 Mar 2021 09:14:05 GMT
Vary: Accept-Encoding
X-Content-Type-Options: nosniff
X-Frame-Options: SAMEORIGIN
X-XSS-Protection: 1; mode=block
X-UA-Compatible: IE=edge
Connection: close
Content-Type: text/html; charset=utf-8
URL: http://www.professoren.tum.de/esparza-estaun-francisco-javier/
Charset:
Title: TUM Professoren - Esparza Estaun_Francisco Javier
Description: 2B2CA7120B2D22C1G3
Keywords: Esparza Estaun Francisco Javier,
Geo.region:
Geo.position:
Geo.placename:
Texto: TUM Professoren - Esparza Estaun_Francisco Javier de en Professorinnen und Professoren Technische Universität München Menü Startseite Professoren Esparza Estaun Francisco Javier Startseite Professoren Alphabetisch Fakultäten Dekane undProdekane Humboldt-Professoren Heisenberg-Professoren Professoren mit Nachwuchsgruppen TUM Emeriti of Excellence Außerplanmäßige Professoren Honorar­professoren Ehren­professoren TUM Junior Fellows TUM Ambassadors Prof. Dr. Javier Esparza Professur Grundlagen der Softwarezuverlässigkeit und Theoretische Informatik Fakultät Informatik Kontakt Visitenkarte in TUMonline Wissenschaftliche Laufbahn und Forschungsgebiete Der Lehrstuhl von Prof. Esparza (*1964) entwickelt Methoden, Algorithmen und Werkzeuge für die Lokalisierung und Beseitigung von Fehlern in Softwaresystemen bzw. für den Nachweis ihrer Korrektheit. Dabei kommen mathematische Techniken der Logik, Automaten- und Komplexitätstheorie zum Einsatz. Prof. Esparza studierte Physik in Zaragoza (Spanien), wo er auch 1990 in Informatik promovierte. Nach der Habilitation in Informatik (Hildesheim, 1994) wurde er Extraordinarius an der TUM (1994-2001), Professor der Universität  Edinburgh (2001-2003) und Lehrstuhlinhaber an der Universität Stuttgart (2003-2007). Seit 2007 ist er Ordinarius der TUM. Curriculum Vitae Lehrveranstaltungen Wichtigste Auszeichnungen Ehrendoktor der Masaryk Universität, Brno, Tschechien (2009) Schlüsselpublikationen (alle Publikationen ) Esparza J, Kiefer S, Luttenberger M: "Newtonian Program Analysis". Journal of the ACM. 2010; 57(6): 1-33. Esparza J, Heljanko K: Unfoldings -  A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science . Berlin, Heidelberg: Springer Verlag, 2008. Esparza J, Kucera A, Mayr R: “Model Checking Probabilistic Pushdown Automata”. Logical Methods in Computer Science. 2006; 2(1): 1-31. Bouajjani A, Esparza J, Maler O: “Reachability Analysis of Pushdown Automata:Application to Model-Checking”. In: CONCUR '97: Concurrency Theory. Lecture Notes in Computer Science 1243. Editors: Mazurkiewicz A, Winkowski J. 1997; 1243; 135-150. Desel J, Esparza J: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science 40. Cambridge: Cambridge University Press, 1995. Bei Änderungs- oder Aktualisierungswünschen wenden Sie sich bitte an Franz Langer To top icon Die TUM Die Universität Aktuelles Coronavirus Magazine Schools + Fakultäten Auszeich­nungen und Ehrungen Kliniken Lehre und QM Arbeiten an der TUM Spenden und Fördern Fan der TUM? Kontakt und Anfahrt Forschung Schools + Fakultäten Forschungs­zentren Exzellenz­strategie Projekte Kooperationen Forschungs­förderung Promotion Postdocs Stellenangebote Innovation Entrepre­neurship Technologie­transfer Koopera­tionen Kontakt Studium Willkommen Studienangebot Internationale Studierende Hilfe & Beratung Bewerbung Studien­finanzierung Im Studium Studienabschluss Campusleben Kontakt Lebenslanges Lernen Executive and Professional Education Alle Mitarbeiter*innen der TUM Wissenschaftliche Mitarbeiter*innen Wissenschafts­manager*innen Professor*innen MOOCs Publikationen und Medienbeiträge Kontakt Global Standorte weltweit TUM Asia International studieren Austausch­programme Internationale Allianzen Sprachen­zentrum Kontakt         Startseite Über Impressum Datenschutz Barrierefreiheit


Enlaces
1 /esparza-estaun-francisco-javier
2 /en/esparza-estaun-francisco-javier
3 /
4 www.tum.de
5 www.tum.de
6 /
7 /professoren/alphabetisch
8 /esparza-estaun-francisco-javier
9 /
10 /professoren/alphabetisch
11 /professoren/alphabetisch
12 /professoren/fakultaeten
13 /dekane-und-prodekane
14 /humboldt-professoren
15 /heisenberg-professoren
16 /professoren-mit-nachwuchsgruppen
17 www.emeriti-of-excellence.tum.de/
18 /ausserplanmaessige-professoren
19 /honorarprofessoren
20 /tum-distinguished-professor
21 /tum-junior-fellows
22 www.alumni.tum.de/netzwerk/forscher-alumni-netzwerk/ambassadors/
23 www7.in.tum.de/home/index.php?id=home&arg=
24 www.in.tum.de
25 campus.tum.de/tumonline/visitenkarte.show_vcard?pPersonenId=2B2CA7120B2D22C1&pPersonenGruppe=3
26 www7.in.tum.de/~esparza/CV.pdf
27 campus.tum.de/tumonline/wblvangebot.wbshowlvoffer?ppersonnr=71742
28 www7.in.tum.de/~esparza/
29 mailto:professorenprofile@zv.tum.de
30 www.tum.de/die-tum/
31 www.tum.de/die-tum/die-universitaet/
32 www.tum.de/die-tum/aktuelles/
33 www.tum.de/die-tum/aktuelles/coronavirus/
34 www.tum.de/die-tum/magazine/
35 www.tum.de/die-tum/schools-fakultaeten/
36 www.tum.de/die-tum/auszeichnungen/
37 www.tum.de/die-tum/kliniken/
38 www.lehren.tum.de/
39 www.tum.de/die-tum/arbeiten-an-der-tum/
40 www.tum.de/die-tum/spenden-und-foerdern/
41 www.tum.de/die-tum/fan-der-tum/
42 www.tum.de/die-tum/kontakt-und-anfahrt/
43 www.tum.de/forschung/
44 www.tum.de/forschung/schools-fakultaeten/
45 www.tum.de/forschung/forschungszentren/
46 www.exzellenz.tum.de
47 www.tum.de/forschung/projekte/
48 www.tum.de/forschung/kooperationen/
49 www.forte.tum.de/
50 www.gs.tum.de
51 www.tum.de/forschung/postdocs/
52 www.tum.de/die-tum/arbeiten-an-der-tum/stellenangebote/
53 www.tum.de/innovation/
54 www.tum.de/innovation/entrepreneurship/
55 www.tum.de/innovation/technologietransfer/
56 www.tum.de/innovation/kooperationen/
57 www.tum.de/innovation/kontakt/
58 www.tum.de/studium/
59 www.tum.de/studium/willkommen/
60 www.tum.de/studium/studienangebot/
61 www.tum.de/studium/internationale-studierende/
62 www.tum.de/studium/hilfe-und-beratung/
63 www.tum.de/studium/bewerbung/
64 www.tum.de/studium/studienfinanzierung/
65 www.tum.de/studium/im-studium/
66 www.tum.de/studium/studienabschluss/
67 www.tum.de/studium/campusleben/
68 www.tum.de/studium/hilfe-und-beratung/hilfe-im-studium/studieninformation/
69 www.tum.de/lebenslanges-lernen/
70 www.tum.de/lebenslanges-lernen/executive-and-professional-education/
71 www.tum.de/lebenslanges-lernen/alle-mitarbeiter-und-mitarbeiterinnen/
72 www.tum.de/lebenslanges-lernen/wissenschaftliche-mitarbeiter-und-mitarbeiterinnen/
73 www.tum.de/lebenslanges-lernen/wissenschaftsmanager-und-managerinnen/
74 www.tum.de/lebenslanges-lernen/professoren-und-professorinnen/
75 www.tum.de/lebenslanges-lernen/moocs/
76 www.tum.de/lebenslanges-lernen/publikationen-und-medienbeitraege/
77 www.tum.de/lebenslanges-lernen/kontakt/
78 www.tum.de/global/
79 www.tum.de/global/standorte-weltweit/
80 www.tum.de/global/tum-asia/
81 www.tum.de/studium/internationale-studierende/
82 www.international.tum.de/auslandsaufenthalte/
83 www.international.tum.de/internationale-allianzen/
84 www.sprachenzentrum.tum.de/
85 www.tum.de/global/kontakt/
86 https://www.facebook.com/TU.Muenchen
87 https://twitter.com/TU_Muenchen
88 https://www.instagram.com/tu.muenchen
89 https://www.youtube.com/TUMuenchen1
90 /
91 www.typo3.tum.de/index.php?id=about
92 /impressum
93 www.typo3.tum.de/index.php?id=datenschutz
94 www.tum.de/barrierefreiheit/



Otras páginas de analisis SEO :   Woorank en español - Pages Inventory SEO tool - Seo book - Seo Site Checkup


Valid XHTML 1.0 Transitional ¡CSS Válido!