alexanderweinert.net

Alexander Weinert

I am a Ph.D. student with the Reactive Systems Group. Under the supervision of Martin Zimmermann. Before that I have been a student at RWTH Aachen University. Where I received my master's degree with a thesis written under supervision of Prof. Jürgen Giesl. I have received my Bachelor's degree from the same university, when I worked at Prof. Joost-Pieter Katoen. You can find both my theses under Papers. During a semester abroad at UC Berkeley. I also worked on automatatutor.com.

http://www.alexanderweinert.net/

OVERVIEW OF alexanderweinert.net

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

6

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR ALEXANDERWEINERT.NET

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

January

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Sunday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 2.8 out of 5 with 4 reviews

5 star

0

4 star

1

3 star

2

2 star

0

1 star

1

Hey there! Start your review of alexanderweinert.net

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.7 seconds

CONTACTS AT ALEXANDERWEINERT.NET

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

6

SSL

EXTERNAL LINKS

1

SITE IP

46.30.215.63

LOAD TIME

0.672 sec

SCORE

6.2

PAGE TITLE

Alexander Weinert | alexanderweinert.net Reviews

<META> DESCRIPTION

I am a Ph.D. student with the Reactive Systems Group. Under the supervision of Martin Zimmermann. Before that I have been a student at RWTH Aachen University. Where I received my master's degree with a thesis written under supervision of Prof. Jürgen Giesl. I have received my Bachelor's degree from the same university, when I worked at Prof. Joost-Pieter Katoen. You can find both my theses under Papers. During a semester abroad at UC Berkeley. I also worked on automatatutor.com.

<META> KEYWORDS

1 alexander weinert

2 projects

3 publications

4 talks

5 photography

6 at saarland university

7 s chair

8 contact@alexanderweinert net

9 aweinert

10 coupons

CONTENT

Page content here

KEYWORDS ON PAGE

alexander weinert,projects,publications,talks,photography,at saarland university,s chair,contact@alexanderweinert net,aweinert

SERVER

Apache

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

Alexander Weinert | alexanderweinert.net Reviews

https://alexanderweinert.net

I am a Ph.D. student with the Reactive Systems Group. Under the supervision of Martin Zimmermann. Before that I have been a student at RWTH Aachen University. Where I received my master's degree with a thesis written under supervision of Prof. Jürgen Giesl. I have received my Bachelor's degree from the same university, when I worked at Prof. Joost-Pieter Katoen. You can find both my theses under Papers. During a semester abroad at UC Berkeley. I also worked on automatatutor.com.

INTERNAL PAGES

alexanderweinert.net

1

CV

http://www.alexanderweinert.net/cv

You can find current CV here. October 2012 - August 2015. Master of Science, Computer Science. University of California, Berkeley. January 2014 - May 2014. Exchange Student, Computer Science. October 2009 - September 2012. Bachelor of Science, Computer Science. Research Group Computer Science 2. August 2013 - December 2014, July 2014 - January 2015. Chair for Computer Science i7. April 2012 - July 2012, April 2013 - July 2013. Max Planck Institute for Software Systems. August 2012 - September 2012.

2

Projects

http://www.alexanderweinert.net/projects

An online tool that helps students and instructors to teach and learn basic concepts in automata theory. Provides automated feedback to the student if they provide a wrong automaton. You can try it out here. During my work on my Master's thesis I have contributed to AProVE. A powerful tool for proving termination of Java-, C- and Prolog-Programs. When I was a research assistant at the Group for High Performance Computing. Of the IT Center. Of RWTH Aachen University.

3

Publications

http://www.alexanderweinert.net/publications

You can also find an overview over my publications at my google scholar profile. And my my dblp entry. Visibly Linear Dynamic Logic. Alexander Weinert and Martin Zimmermann. FSTTCS 2016. PDF. Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time. Leander Tentrup, Alexander Weinert, and Martin Zimmermann. GandALF 2016. PDF. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Alexander Weinert and Martin Zimmermann. CSL 2016. PDF. BEATCS 117. PDF.

4

Talks

http://www.alexanderweinert.net/talks

Jun 22, 2015: Analysis of Arithmetic Prolog Programs using Abstract Interpretation. Master thesis defense, Research Group Computer Science 2, Aachen University. Slides. Mar 13, 2015: Automatically Proving Memory Safety and Termination of C-Programs. Seminar talk, Chair for Computer Science II, Technical University of Munich. Slides. Feb 23, 2015: Automatically Proving Memory Safety and Termination of C-Programs. Seminar talk, Reactive Systems Group at Saarland University. Slides. Seminar Talk. Slides.

5

Photography

http://www.alexanderweinert.net/photography

Most of the photos on this page were taken during my travels. They are scaled down to a width of 1200 pixels. If you would like to have any of them in their original resolution (ca. 3000x2000), feel free to shoot me a mail. All photos on this page are licensed under a CC BY-NC License. This essentially means you are free to use the photos as you like, as long as you credit me and do not use them for commercial purposes.

UPGRADE TO PREMIUM TO VIEW 1 MORE

TOTAL PAGES IN THIS WEBSITE

6

LINKS TO THIS WEBSITE

automatatutor.com

App: About

http://www.automatatutor.com/about

Automata Tutor v2.0. The goal of the Automata Tutor is to help students learn basic concepts in automata theory and to help teachers preparing and grading exercises and problem sets. Automata Tutor currently supports DFA. NFA to DFA, and regular expression. The tool provides a set of problems which you can attempt by signing up and logging in. When you login you will find Practice Problems on the left;. If you are an instructor please send us an email at automatatutor. Expedition on Program Synthesis.

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL LINKS TO THIS WEBSITE

1

OTHER SITES

alexanderweidauer2110.blogspot.com

Alexander Weidauer Comm 2110

Alexander Weidauer Comm 2110. Friday, June 19, 2015. There is a reason we are all here, whether that is for good or bad, that is what we decide. We are put into a world driven by anger, fear, and judgement. We are all affected by it so young, and we are trapped in a world thinking anger, fear, and judgement is just a part of life. But is that "good? With everything I have typed ask yourself, what makes you angry or sad? Is it because your scared of someone or something? Friday, June 12, 2015.

alexanderweidmann-catering.de

Alexander Weidmann Catering

alexanderweidner.de

Alexander Weidner

alexanderweightloss.com

Alexander Clinic Weight Managment Services - Home

Alexander Clinic Main Office. Abilene, TX 79601. Alexander Clinic Stephenville Office. 580 W Lingleville Rd., Suite A. Stephenville, TX 76401. Alexander Clinic Granbury Office. 1101 Water's Edge Dr., Suite 124. Granbury, TX 76048. Alexander Clinic Enid Office. 3925 N. VanBuren Bypass. Enid, OK 73701. Or use our contact form. Abilene, TX 79601. E-mail Address: alexanderclinic@aol.com. We are open during the following hours:. Monday 7:30-12 and 1-4:45. Tuesday 10-12 and 1-5:45. Wednesday 7:30-12 and 1-2:45.

alexanderweimann.com

Alexander Weimann

8220;Orlando” receives Juno nomination. Posted on March 4, 2014. Alexander Weimann, the Pacific Baroque Orchestra, and Early Music Vancouver have been nominated for a Juno award for “Handel: Orlando”! The performance at the 2012 Vancouver Early Music Festival was followed by a studio recording on the ATMA Classique label, which featured the Pacific Baroque Orchestra under Alexander Weimann, together with soloists Karina Gauvin, Amanda Forsythe, Allyson McHardy, Nathan Berg…. Posted on January 7, 2014.

alexanderweinert.net

Alexander Weinert

I am a Ph.D. student with the Reactive Systems Group. Under the supervision of Martin Zimmermann. Before that I have been a student at RWTH Aachen University. Where I received my master's degree with a thesis written under supervision of Prof. Jürgen Giesl. I have received my Bachelor's degree from the same university, when I worked at Prof. Joost-Pieter Katoen. You can find both my theses under Papers. During a semester abroad at UC Berkeley. I also worked on automatatutor.com.

alexanderweinsteinfiction.com

aweinsteinfiction

alexanderweir.com

Home

alexanderweise.net

Alexander Weise | Marketing Leitung | Online Marketing

Alexander Weise - Marketing Leitung and Online Marketing.

alexanderweiss.at

Ihr Partner für professionelle Business-, Privatfilme und Musikproduktion - Ihr Partner für professionelle Privat- und Bussinesfilme in Österreich und Süddeutschland

Herzlich willkommen auf unserer Website! Auf dieser Seite können Sie sich durch eine kleine Auswahl unserer Produktionen klicken, auf den folgenden Seiten finden Sie detaillierte Informationen über unsere Arbeit und unser komplettes Angebot. Wir freuen uns auf Ihre Nachricht! Business-, Image- und Schulungsfilme. Join us on Facebook!

alexanderweiss.com

Hosted By One.com | Webhosting made simple

Domain and Cheap Web Hosting by One.com. Alexanderweiss.com is hosted by One.com. Web hosting and domain by One.com. Affordable web hosting and domain plans available at One.com. Build your own website with Web Editor or choose a 1-click blog installation. Whatever you choose, One.com. Is dedicated to our customers' satisfaction with 24/7 chat support.