1
0
0
News
programme.txtThe University of Manchester
personalpages.manchester.ac.uk
... Axel Schairer INDUCTION/RIPPLING ================== Rippling Rippling abstract: I will Axel Schairer INDUCTION/RIPPLING ================== Rippling Rippling abstract: I will ...
Netzwerk-Profile
LinkedIn: Axel Schairer | LinkedIn
Axel Schairers berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Axel Schairer dabei hilft, ...
LinkedIn: Axel Schairer | LinkedIn
LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach-
und ...
Herkunft
Axel Schairer - The Mathematics Genealogy Projectwww.genealogy.math.ndsu.nodak.edu › ...
www.genealogy.math.ndsu.nodak.edu
Axel Schairer. MathSciNet. Dr.-Ing. Universität des Saarlandes Germany. Dissertation: Transformations of Specifications and Proofs to support an ...
Bücher
The SCEAS Systemsceas.csd.auth.gr › php › search
sceas.csd.auth.gr
Axel Schairer, Dieter Hutter Proof Transformations for Evolutionary Formal Software Development. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp: [Conf]
期刊界All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息 ...cnjournals.com › search_by_author
cnjournals.com
1. A Pragmatic Approach to Reuse in Tactical Theorem Proving · Axel Schairer Serge Autexier Dieter Hutter 《Electronic Notes in Theoretical Computer Science》 ...
Computer Security - ESORICS 2004: 9th European Symposium on ...google.de
books.google.de
Possibilistic Information Flow Control in the Presence of Encrypted Communication⋆ Dieter Hutter and Axel Schairer German Research Center for Artificial ...
Mathematical Knowledge Management: Second International ...google.de
books.google.de
Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy and D. Bert, ...
Dokumente zum Namen
A Case Study in the Mechanical Verification of Fault ...The Association for the Advancement of Artificial Intelligence
cdn.aaai.org
von H Mantel · · Zitiert von: 18 — Axel Schairer for valuable comments on an earlier version of this paper which helped us to improve the presentation. References. Alpern, B., and Schneider ... von H Mantel · · Zitiert von: 18 — Axel Schairer for valuable comments on an earlier version of this paper which helped us to improve the presentation. References. Alpern, B., and Schneider ...
Formalizing Information Flow Properties in Isabelle HOLGesellschaft für Informatik e.V.
fg-fomsess.gi.de
[HS04] Dieter Hutter and Axel Schairer. Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the European ... [HS04] Dieter Hutter and Axel Schairer. Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the European ...
GemeindeBriefEvangelische Gesamtkirchengemeinde Bietigheim
www.bietigheim-evangelisch.de
Axel Schairer und Oliver Mayer-Spohn an den Trompeten, Martin Gärtner am Horn,. Felix Schultz an der Posaune und. Alexander Kees an der Tuba Sand ... Axel Schairer und Oliver Mayer-Spohn an den Trompeten, Martin Gärtner am Horn,. Felix Schultz an der Posaune und. Alexander Kees an der Tuba Sand ...
Heiko Mantel - Colleagues - ACM Digital LibraryACM Digital Library
dl.acm.org
2 Papercounts · Jens Otten · 2 · 2 Papercounts · Axel Schairer · 2 · 2 Papercounts · Werner Stephan · 2 · 2 Papercounts · Serge Demeyer · 2 · 2 Papercounts. 2 Papercounts · Jens Otten · 2 · 2 Papercounts · Axel Schairer · 2 · 2 Papercounts · Werner Stephan · 2 · 2 Papercounts · Serge Demeyer · 2 · 2 Papercounts.
Wissenschaftliche Veröffentlichungen
A Pragmatic Approach to Reuse in Tactical Theorem ProvingScienceDirect.com
www.sciencedirect.com
von A Schairer · · Zitiert von: 11 — Axel Schairer. German Research Center for Artificial Intelligence (DFKI GmbH). 66lll Saarbr"ucken, Germany. Serge Autexier. FR 6.2 Informatik. Saarland ... von A Schairer · · Zitiert von: 11 — Axel Schairer. German Research Center for Artificial Intelligence (DFKI GmbH). 66lll Saarbr"ucken, Germany. Serge Autexier. FR 6.2 Informatik. Saarland ...
Wolfgang ReifDBLP
dblp.uni-trier.de
... Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verification of ... Axel Schairer. [j11] [c26] · 1. Gerhard Schellhorn. [c218] [c215] [j45] [ Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verification of ... Axel Schairer. [j11] [c26] · 1. Gerhard Schellhorn. [c218] [c215] [j45] [ ...
Automated Software EngineeringUniversität des Saarlandes
www.se.cs.uni-saarland.de
Dieter Hutter, Axel Schairer. Towards an Evolutionary Formal Software Development. Brad Long, Dan Hoffman, Paul Strooper. A Concurrency Test Tool for Java ... Dieter Hutter, Axel Schairer. Towards an Evolutionary Formal Software Development. Brad Long, Dan Hoffman, Paul Strooper. A Concurrency Test Tool for Java ...
Department of Computer ScienceAlbert-Ludwigs-Universität Freiburg
tr.informatik.uni-freiburg.de
Abstract. Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer, Alf Zugenmaier Using Information Flow Control to Evaluate Access Protection Abstract. Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer, Alf Zugenmaier Using Information Flow Control to Evaluate Access Protection ...
Veröffentlichungen allgemein
16th IEEE International Conference on Automated ...researchr.org
researchr.org
Towards an Evolutionary Formal Software DevelopmentDieter Hutter, Axel Schairer [doi] · A Concurrency Test Tool for Java MonitorsBrad Long, Daniel ... Towards an Evolutionary Formal Software DevelopmentDieter Hutter, Axel Schairer [doi] · A Concurrency Test Tool for Java MonitorsBrad Long, Daniel ...
Towards an Evolutionary Formal Software-Development Using CASLlink.springer.com › chapter
link.springer.com
Axel Schairer. Show authors. Conference paper Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, UK. Axel Schairer.
Jörg Siekmann - WikidataWikipedia
www.wikidata.org
Walter Olthoff. 1 reference. stated in · Mathematics Genealogy Project · Axel Schairer. 1 reference. stated in · Mathematics Genealogy Project · Klaus Schild Walter Olthoff. 1 reference. stated in · Mathematics Genealogy Project · Axel Schairer. 1 reference. stated in · Mathematics Genealogy Project · Klaus Schild
Towards Using Possibilistic Information Flow Control to ...Springer
link.springer.com
von A Schairer · · Zitiert von: 3 — Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems. Axel Schairer. von A Schairer · · Zitiert von: 3 — Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems. Axel Schairer.
Video & Audio
Bewahre uns, Gott von Ralf Grössler – Heilbronner BläserYouTube · Musik an der Kilianskirche Heilbronn3120+ Aufrufe · vor 3 Jahren
www.youtube.com
... Axel Schairer, Jörg Hinderer, Klaus Hagner, Fritz Resech. Stefan Lenhart und Heiko Glöckler besten Dank für die Aufnahmen und den Schnitt ...
Artikel & Meinungen
Google Groups: Biete grosses Zi. in 3er WG, Alt-SB
: Axel Schairer ... saar markt wohnung ...
Google Groups: Technische Hilfe fuer WWW-Anbindung gesucht
: Axel Schairer ... saar uni fachschaft informatik Hallo, eine Bekannte
Google Groups: equal vs. equalpGoogle Groups
Axel Schairer · Jun 5, 1998, 7:00:00 AM ; Kent M Pitman · Jun 5, 1998, 7:00:00 AM ; Barry Margolin · Jun 6, 1998, 7:00:00 AM ; Marco Antoniotti · Jun ... Axel Schairer · Jun 5, 1998, 7:00:00 AM ; Kent M Pitman · Jun 5, 1998, 7:00:00 AM ; Barry Margolin · Jun 6, 1998, 7:00:00 AM ; Marco Antoniotti · Jun ...
Sonstiges
Axel SchairerReviewer.ly
cs.reviewer.ly
Publication Activity (10 Years) ; Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer. Security of multi-agent systems: A case study on comparison shopping. Publication Activity (10 Years) ; Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer. Security of multi-agent systems: A case study on comparison shopping.
A Logic Voyager - System Description: inka Citegraphwww.citegraph.io › paper
www.citegraph.io
Dieter Hutter, 529, ; Heiko Mantel, 770, ; Serge Autexier, 396, ; Axel Schairer, 113,
A Pragmatic Approach to Reuse in Tactical Theorem Proving软件学报
www.jos.org.cn
Axel Schairer Serge Autexier Dieter Hutter. Abstract: In interactive theorem proving, tactics and tacticals have been introduced to automate proof search. In ... Axel Schairer Serge Autexier Dieter Hutter. Abstract: In interactive theorem proving, tactics and tacticals have been introduced to automate proof search. In ...
cand. kyb. - Customs and culture: English ⇔ German Forums - leo.orgdict.leo.org › forum › viewGeneraldiscussion
dict.leo.org
Axel Schairer Fachbereich Informatik citeseer.ist.psu.edu html - 15k - Im Cache - Ähnliche Seiten [PDF] Demosaicking digitaler Farbbilder ...
Automatic Information Flow Analysis of Business Process Modelscgi.cse.unsw.edu.au › ~eptcs › references › GRAMSEC xml
cgi.cse.unsw.edu.au
... Axel Schairer Security of multi-agent systems: A case study on comparison shopping Journal of Applied Logic – j.jal
Bibliographies: 'Schairer'Grafiati
www.grafiati.com
... Axel Schairer." Aachen : Shaker, http://d-nb.info Full text. Add to bibliography. APA, Harvard, Vancouver, ISO, and other styles. 4. Hofmann Axel Schairer." Aachen : Shaker, http://d-nb.info Full text. Add to bibliography. APA, Harvard, Vancouver, ISO, and other styles. 4. Hofmann ...
Dagstuhl Seminar : Language-Based Securitywww.dagstuhl.de › ... › Seminar Details
www.dagstuhl.de
Axel Schairer (DFKI - Saarbrücken, DE); Vincent Simonet (INRIA - Le Chesnay, FR); Eijiro Sumii (University of Pennsylvania - Philadelphia, US) [dblp]; Valery ...
Dein Urlaub.Schwaebische Alb
www.schwaebischealb.de
Markus Gloksin, Joachim Wagner, Axel Schairer · Trompete. Daniel Speidel · Horn. Josef Ungermann, Karl-Martin Haug · Posaune. Details · Winterstimmung beim ALB ... Markus Gloksin, Joachim Wagner, Axel Schairer · Trompete. Daniel Speidel · Horn. Josef Ungermann, Karl-Martin Haug · Posaune. Details · Winterstimmung beim ALB ...
International Journal on Software Tools for Technology Transfer ...ftp.math.utah.edu › pub › tex › bib › toc › sttt
ftp.math.utah.edu
· ... Mantel and Georg Rock and Axel Schairer and Werner Stephan and Roland Vogt and Andreas Wolpers VSE: formal methods meet industrial needs ...
Ohne Titelohfch.grupoochocientos.com › cysteine-vs-keratin
ohfch.grupoochocientos.com
axel schairer https://www.vogue.in/beauty/content/hair-botox-vs-cysteine-which-hair-smoothening-treatment-should-you-try L-Cystein - Bedeutung, Wirkung und ...
Sieg deutschland zweiter weltkriegpfnts.gilliselectric.com › sieg-deutschland-zweiter-weltkrieg
pfnts.gilliselectric.com
axel schairer WebAm 12. Januar beginnt die Großoffensive der Roten Armee. Aus tausenden Geschützen und Stalinorgeln bricht ein Inferno über die ...
The Development Graph Manager MAYA - Citegraphwww.citegraph.io › paper
www.citegraph.io
References (8 rows). Name. Citations. PageRank. Till Mossakowski, 1052, Dieter Hutter, 529, Serge Autexier, 396, Axel Schairer, 113,
Jesu meine Freude (op.70) - Stefan SchlesierMusicalion.com
www.musicalion.com
Mai, spielen uns die Heilbronner Bläser Martin Schönfeld, Axel Schairer, Jörg Hinderer, Klaus ... Bach: Jesu, meine Freude, BWV 227 (Mvt. I, II, III). Mai, spielen uns die Heilbronner Bläser Martin Schönfeld, Axel Schairer, Jörg Hinderer, Klaus ... Bach: Jesu, meine Freude, BWV 227 (Mvt. I, II, III).
Metrum - Martin Kellermartin-keller.org
www.martin-keller.org
Helmut Siegle oder Viktor Weißgerber: b Armin Fischer: dr. Trompeten: Lukas Nonnenmann, Guido Lukoschek,. Axel Schairer, Vera Röhlich,. Richie Ruckgaber. Helmut Siegle oder Viktor Weißgerber: b Armin Fischer: dr. Trompeten: Lukas Nonnenmann, Guido Lukoschek,. Axel Schairer, Vera Röhlich,. Richie Ruckgaber.
[PDF] Proof transformations for evolutionary formal software OA.mgoa.mg › work
oa.mg
Read and download Proof transformations for evolutionary formal software development by Axel Schairer, Dieter Hutter on OA.mg.
[PS] Formal Representation Issues in an Open Mathematical Knowledge ...www.emis.de › proceedings › MKM2001 › kohlhase
www.emis.de
... Axel Schairer. Towards an evolution-. ary formal software-development using CASL. In C. Choppy and D. Bert, editors, Pro-. ceedings Workshop on Algebraic ...
Theoretical Computer Science - PublicationsOVGU
www.theo.ovgu.de
Serge Autexier, Dieter Hutter, Till Mossakowski and Axel Schairer. [doi] [BibTeX]. Completeness of Global Evaluation Logic. In: R. Kralovic and P. Urzyczyn ... Serge Autexier, Dieter Hutter, Till Mossakowski and Axel Schairer. [doi] [BibTeX]. Completeness of Global Evaluation Logic. In: R. Kralovic and P. Urzyczyn ...
Connected Papers | Find and explore academic paperswww.connectedpapers.com › main
www.connectedpapers.com
· Hutter, Axel Schairer , European Symposium on Research in Computer Security. Collaborative Scientific Workflow Composition as a Service ...
SCHAIRER | Locate Family | Find people for FREE! - Locate Familywww.locatefamily.com › SCH › SCHAIRER-1
www.locatefamily.com
· Flag of Germany: Axel Schairer lives in Oberstenfeld Germany. Axel Schairer. Oberstenfeld Germany ; Leave a message
Towards an evolutionary formal software developmentOA.mg
oa.mg
Dieter Hutter,Axel Schairer ... Although formal methods have been successfully applied in various industrial applications, their use in software development is ... Dieter Hutter,Axel Schairer ... Although formal methods have been successfully applied in various industrial applications, their use in software development is ...
sortiert nach Relevanz / Datum