News
Bernd FinkbeinerInteractive Media Lab Dresden
imld.de
Bernd Finkbeiner. News · · 08; Bernd Finkbeiner. Copyright © Interactive Media Lab Dresden · Impressum · Datenschutz · Barrierefreiheit. Diese ... Bernd Finkbeiner. News · · 08; Bernd Finkbeiner. Copyright © Interactive Media Lab Dresden · Impressum · Datenschutz · Barrierefreiheit. Diese ...
Seewald: Bernd Finkbeiner ist der neue Binokel-KönigSchwarzwälder Bote
www.schwarzwaelder-bote.de
— Der Gesamtsieger Bernd Finkbeiner erreichte mehr als Punkte Am Ende hatte Bernd Finkbeiner aus Besenfeld die Nase vorn. Mit — Der Gesamtsieger Bernd Finkbeiner erreichte mehr als Punkte Am Ende hatte Bernd Finkbeiner aus Besenfeld die Nase vorn. Mit
Gewinnerinnen und Gewinner bei der VR-BankSchwäbische Post
www.schwaebische-post.de
— „Die hohe Resonanz zeigt, dass sich auch die regionalen Gewinne einer großen Beliebtheit erfreuen“, so Vorstand Bernd Finkbeiner. Im Rahmen der — „Die hohe Resonanz zeigt, dass sich auch die regionalen Gewinne einer großen Beliebtheit erfreuen“, so Vorstand Bernd Finkbeiner. Im Rahmen der ...
Rufabwehr: Studenten und Mitarbeiter wollen Professor ...Saarland Informatics Campus
saarland-informatics-campus.de
— ... Bernd Finkbeiner überzeugen zu bleiben. Bild der Pressemitteilung. Professor Finkbeiner (vorne Rechts) mit Studenten und Mitarbeitern des — ... Bernd Finkbeiner überzeugen zu bleiben. Bild der Pressemitteilung. Professor Finkbeiner (vorne Rechts) mit Studenten und Mitarbeitern des ...
Interessen
Spieler LK-Vereinsübersicht des TC SeewaldWürttembergischer Tennis-Bund
www.wtb-tennis.de
Bernd Finkbeiner (1977), LK10,5, Jörg Möhrle (1970), LK11,3, Thomas Kühner (1983), LK11,8, Nicolas Nitsche (1981), LK11, ... Bernd Finkbeiner (1977), LK10,5, Jörg Möhrle (1970), LK11,3, Thomas Kühner (1983), LK11,8, Nicolas Nitsche (1981), LK11, ...
Spieler LK-Vereinsübersicht des SPG Seewald/TonbachWürttembergischer Tennis-Bund
www.wtb-tennis.de
Bernd Finkbeiner (1977), LK10,7, Jörg Möhrle (1970), LK11,0, Joachim Dannecker (1955), LK11,6, Thomas Kühner (1983), Bernd Finkbeiner (1977), LK10,7, Jörg Möhrle (1970), LK11,0, Joachim Dannecker (1955), LK11,6, Thomas Kühner (1983),
ERC Advanced Grant für Prof. Bernd Finkbeiner
idw-online.de
Webden 9. aug · Bernd Finkbeiner hat in der Vergangenheit bereits einen ERC Consolidator Grant erhalten. Den Advanced Grant erhalten erfahrene Forscher:innen mit …
Bernd Finkbeiner, SV Mitteltal-Obertal - Leichtathletik-Datenbank.DE
leichtathletik-datenbank.de
Vereine »; Deutscher Leichtathletik Verband »; Süddeutschland »; Badischer Leichtathletik Verband »; Wolfach »; SV Mitteltal-Obertal »; Bernd Finkbeiner ...
Management & Beteiligungen
VR-Bank Ellwangen Volksbanken & Raiffeisenbanken aus ...Wer-zu-Wem
www.wer-zu-wem.de
Kontakte. Vorstand Jürgen Hornung Bernd Finkbeiner ... Funktion, Name. Vorstand, Jürgen Hornung. Vorstand, Bernd Finkbeiner ...
Business-Profile
Firmen-Mitarbeiter
VR-Bank Ellwangen Organe Gremien
www.vrbank-ellwangen.de
Webvon links Jürgen Hornung (Vorstandssprecher), Bernd Finkbeiner. Aufsichtsrat Wir kontrollieren den Erfolg. Der Aufsichtsrat wird von der Vertreterversammlung gewählt. Er …
Schewe, Sven - Institute for Risk and Uncertainty - University of...
www.liverpool.ac.uk
Theoretical Computer Science, Bernd Finkbeiner and Sven Schewe. Bounded Synthesis. International Journal on Software Tools for Technology Transfer, ...
Private Homepages
Bernd Finkbeiner - Reactive Systems GroupCISPA Helmholtz Center for Information Security
finkbeiner.groups.cispa.de
Prof. Bernd Finkbeiner, Ph.D. is a faculty member at the CISPA Helmholtz Center for Information Security and a professor of computer science at Saarland ... Prof. Bernd Finkbeiner, Ph.D. is a faculty member at the CISPA Helmholtz Center for Information Security and a professor of computer science at Saarland ...
Contact | Cybersecurity in Saarbruecken, GermanyUniversität des Saarlandes
cysec.uni-saarland.de
Chairman of the Examination board. Prof. Bernd Finkbeiner Website · CISPA - Helmholtz Center for Information Security Saarbrücken. Chairman of the Examination board. Prof. Bernd Finkbeiner Website · CISPA - Helmholtz Center for Information Security Saarbrücken.
Impressum | thesum - Energieberatung und Energiespeicherthesum.de
www.thesum.de
Angaben gemäß § 5 TMG thesum GmbH Angermünde Geschäftsführer Bernd Finkbeiner Steuernummer: Angaben gemäß § 5 TMG thesum GmbH Angermünde Geschäftsführer Bernd Finkbeiner Steuernummer:
Impressum - Energieberatung und Energiespeicherthesum.de
www.thesum.de
Angaben gemäß § 5 TMG thesum Energieberatung Bernd Finkbeiner Parsteinsee Steuernummer: Kontakt Angaben gemäß § 5 TMG thesum Energieberatung Bernd Finkbeiner Parsteinsee Steuernummer: Kontakt
Ausbildung
Finkbeiner/Sankaranarayanan/Sipma: Collecting Statistics...Stanford University
theory.stanford.edu
Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification ...
Bit-Precise Reasoning via Int-Blasting - Stanford CS Theorytheory.stanford.edu › pubs › ZIM+22-abstract
theory.stanford.edu
... of the 23^rd International Conference on Verification, Model Checking, and Abstract Interpretion (VMCAI '22), (Bernd Finkbeiner and Thomas Wies, eds.) ...
Bit-Precise Reasoning via Int-Blasting - Stanford CS Theory
theory.stanford.edu
In Proceedings of the 23^rd International Conference on Verification, Model Checking, and Abstract Interpretion (VMCAI '22), (Bernd Finkbeiner and Thomas ... › pubs
LOLA: Runtime Monitoring of Synchronous Systemstheory.stanford.edu › ~sipma › papers › time05
theory.stanford.edu
· Ben d'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna.
Auszeichnungen
Professor Bernd Finkbeiner - abitur-und-studium.de
www.abitur-und-studium.de
Forschungsverbund soll die Sicherheit von IT-Systemen im Bahn- und Flugverkehr garantieren. Bilder aus diesen Artikeln. « Professor Bernd Finkbeiner.
Herkunft
Bernd Finkbeiner - The Mathematics Genealogy ProjectThe Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Bernd Finkbeiner has 9 students and 13 descendants. We welcome any additional information. If you have additional ... According to our current on-line database, Bernd Finkbeiner has 9 students and 13 descendants. We welcome any additional information. If you have additional ...
Projekte
SpAGAT - Lehrstuhl für Sprachen und ...TUM
www.cs.cit.tum.de
Bernd Finkbeiner, Universität des Saarlandes; Helmut Seidl, TU München. To top. -. Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der ... Bernd Finkbeiner, Universität des Saarlandes; Helmut Seidl, TU München. To top. -. Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der ...
Research projects in computer science (selection ...
www.uni-saarland.de
Projektleiter: Bernd Finkbeiner, Reactive Systems Förderzeitraum: Wenn die Software von Autos, Flugzeugen oder Industrierobotern Programmierfehler enthält, kann das für Menschen lebensgefährlich werden. Der Informatiker Bernd Finkbeiner erforscht Methoden, mit denen solche kritischen Systeme künftig einfacher und sicherer ...
Projects | SPP RS3
www.spp-rs3.de
Bernd Finkbeiner, Saarland University, Prof. Dr. Helmut Seidl, TU München System-wide data-driven runtime usage control across layers of abstraction. Prof.
Bücher
Bernd Finkbeiner | Autorenprofil und WerkeBeck-Shop
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Bernd Finkbeiner . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke. Hier finden Sie das komplette Autorenprofil von Bernd Finkbeiner . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke. 42,79 €
Bernd Finkbeiner - Author profileEurope PMC
europepmc.org
— Search life-sciences literature (43,977,191 articles, preprints and more) · Bernd Finkbeiner — Search life-sciences literature (43,977,191 articles, preprints and more) · Bernd Finkbeiner.
Bernd FinkbeinerEPITA Research Laboratory
www.lre.epita.fr
By Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, ... By Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, ...
Dokumente zum Namen
Petri Games: Synthesis of Distributed Systems with Causal ...arXiv
arxiv.org
von B Finkbeiner · · Zitiert von: 56 — Bernd Finkbeiner · Ernst-Rüdiger Olderog · a export BibTeX citation Loading... BibTeX formatted citation. ×. loading... Data provided by: ... von B Finkbeiner · · Zitiert von: 56 — Bernd Finkbeiner · Ernst-Rüdiger Olderog · a export BibTeX citation Loading... BibTeX formatted citation. ×. loading... Data provided by: ...
Verification, Model Checking, and Abstract InterpretationBuchhandlung Seyerlein
seyerlein.de
Bernd Finkbeiner/Thomas Wies · Springer Verlag GmbH · Informatik, EDV/Informatik. Erschienen am , 1. Auflage ,29 €. (inkl. MwSt.) excl ... Bernd Finkbeiner/Thomas Wies · Springer Verlag GmbH · Informatik, EDV/Informatik. Erschienen am , 1. Auflage ,29 €. (inkl. MwSt.) excl ,29 €
Verification, Model Checking, and Abstract InterpretationBuchhandlung Sonja Vieth
www.buchhandlung-vieth.de
Bernd Finkbeiner, Thomas Wies · Herausgeber: Bernd Finkbeiner Herausgeber: Thomas Wies · Springer Verlag GmbH · Informatik, EDV/Informatik. Erschienen am Bernd Finkbeiner, Thomas Wies · Herausgeber: Bernd Finkbeiner Herausgeber: Thomas Wies · Springer Verlag GmbH · Informatik, EDV/Informatik. Erschienen am ,29 €
[ ] Model Checking Data Flows in Concurrent ...arXiv
arxiv.org
von B Finkbeiner · · Zitiert von: 23 — Model Checking Data Flows in Concurrent Network Updates (Full Version). Authors:Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, ... von B Finkbeiner · · Zitiert von: 23 — Model Checking Data Flows in Concurrent Network Updates (Full Version). Authors:Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, ...
Wissenschaftliche Veröffentlichungen
Professor Dr. Bernd Finkbeiner - DFG - GEPRISDFG - GEPRIS
gepris.dfg.de
Bernd Finkbeiner. Adresse CISPA - Helmholtz-Zentrum für Informationssicherheit Forschungsgebiet Zuverlässige Sicherheitsgarantien Stuhlsatzenhaus Bernd Finkbeiner. Adresse CISPA - Helmholtz-Zentrum für Informationssicherheit Forschungsgebiet Zuverlässige Sicherheitsgarantien Stuhlsatzenhaus
Reducing Probabilistic Models by Control-State EliminationRWTH Publications
publications.rwth-aachen.de
... Bernd Finkbeiner, Thomas Wies}, booktitle = {Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI Bernd Finkbeiner, Thomas Wies}, booktitle = {Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI
Bernd Finkbeinerdblp: computer science bibliography
dblp.uni-trier.de
List of computer science publications by Bernd Finkbeiner. List of computer science publications by Bernd Finkbeiner.
Programmierung 1 Bernd Finkbeiner - CoursesUniversität des Saarlandes
courses.react.uni-saarland.de
Sprechstunden: Bernd Finkbeiner: Donnerstags 12 bis 13 Uhr, Raum 506 E1.3. Hazem Torfah, Markus Rabe: Immer wenn die Tür auf ist! Raum 508 & 507 E1.3. Sprechstunden: Bernd Finkbeiner: Donnerstags 12 bis 13 Uhr, Raum 506 E1.3. Hazem Torfah, Markus Rabe: Immer wenn die Tür auf ist! Raum 508 & 507 E1.3.
Veröffentlichungen allgemein
bol.com: Bernd Finkbeiner artikelen kopen? Alle artikelen bol.comwww.bol.com › bernd-finkbeiner
Op zoek naar artikelen van Bernd Finkbeiner? Artikelen van Bernd Finkbeiner koop je eenvoudig online bij bol.com ✓ Snel in huis ✓ Veelal gratis verzonden.
Runtime Verification | Bernd Finkbeiner - Springerwww.springer.com › book
link.springer.com
The RV proceedings cover topics such as specification-based system monitoring, algorithm-based system monitoring (e.g the Eraser data race detection ...
Runtime Verification | SpringerLink
link.springer.com
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October
Video & Audio
SR-Mediathek.de: Schlagwort: Bernd Finkbeiner
www.sr-mediathek.de
Viele Soziale Netzwerke wie Facebook oder Youtube erfüllen nicht die hohen Datenschutz-Standards des SR. Deshalb solltet Ihr bei diesen Anbietern besonders …
Artikel & Meinungen
Twitter-Nachrichten: Luca AcetoX · aceto_luca5 „Gefällt mir“-Angaben · vor 3 Monaten
GandALF invited speakers: Bernd Finkbeiner (https://t.co/adPz423yXM), Kim Guldstrand Larsen (https://t.co/PxeTvf3smf), Brigitte Pientka ... GandALF invited speakers: Bernd Finkbeiner (https://t.co/adPz423yXM), Kim Guldstrand Larsen (https://t.co/PxeTvf3smf), Brigitte Pientka ...
Wikipedia: Flugplatz CrussowWikipedia
Der Flugplatz Crussow ist ein Sonderlandeplatz in Crussow im Gebiet der Stadt Angermünde in Brandenburg. Er wird durch Bernd Finkbeiner betrieben. Der Flugplatz Crussow ist ein Sonderlandeplatz in Crussow im Gebiet der Stadt Angermünde in Brandenburg. Er wird durch Bernd Finkbeiner betrieben.
Andrey Kupriyanov Bernd FinkbeinerThe University of Texas at Austin
www.cs.utexas.edu
Bernd Finkbeiner. Reactive Systems Group. Saarland University. Causality-based LTL Model Checking without Automata. Causality. A relationship between two events ... Bernd Finkbeiner. Reactive Systems Group. Saarland University. Causality-based LTL Model Checking without Automata. Causality. A relationship between two events ...
Jenseits von Raum und Zeit - Saarland Marketingwillkommen.saarland
willkommen.saarland
... Bernd Finkbeiner, Faculty am CISPA Helmholtz-Zentrum für Informationssicherheit und Professor für Informatik an der Universität des Saarlandes. „Die Drohnen Bernd Finkbeiner, Faculty am CISPA Helmholtz-Zentrum für Informationssicherheit und Professor für Informatik an der Universität des Saarlandes. „Die Drohnen ...
Sonstiges
Bernd Finkbeiner - Google 学术搜索Google Scholar
scholar.google.com.hk
Bernd Finkbeiner. Professor of Computer Science, CISPA Helmholtz Center for Information Security. 在 cispa.de 的电子邮件经过验证 - 首页. Bernd Finkbeiner. Professor of Computer Science, CISPA Helmholtz Center for Information Security. 在 cispa.de 的电子邮件经过验证 - 首页.
Bernd Finkbeiner aus Baiersbronn SpeisekarteSpeisekarte.menu
speisekarte.menu
Die Speisekarte des Bernd Finkbeiner aus Baiersbronn, Silberberg 63Baiersbronn, Germany können Sie hier einsehen. Die Speisekarte des Bernd Finkbeiner aus Baiersbronn, Silberberg 63Baiersbronn, Germany können Sie hier einsehen.
Bernd Finkbeiner - Computer Science and EngineeringMichigan State University
www.cse.msu.edu
Bernd Finkbeiner. Home · Bounded Model Checking for Asynchronous Hyperproperties · The Complexity of Monitoring Hyperproperties · Program Repair for ... Bernd Finkbeiner. Home · Bounded Model Checking for Asynchronous Hyperproperties · The Complexity of Monitoring Hyperproperties · Program Repair for ...
Bernd Finkbeiner — University of HelsinkiHelsinki.fi
researchportal.helsinki.fi
Host of Bernd Finkbeiner. Period, 10 Sept → 14 Sept Visiting from, Saarland University (Germany). Degree of Recognition, International ... Host of Bernd Finkbeiner. Period, 10 Sept → 14 Sept Visiting from, Saarland University (Germany). Degree of Recognition, International ...
Browse by Year where Division is "Bernd Finkbeiner ...CISPA Helmholtz Center for Information Security
publications.cispa.saarland
Browse by Year where Division is "Bernd Finkbeiner (Reactive Systems Group, RSG)". Up a level · CISPA Divisions (Research Groups) (60). Browse by Year where Division is "Bernd Finkbeiner (Reactive Systems Group, RSG)". Up a level · CISPA Divisions (Research Groups) (60).
22 Search Results for "Finkbeiner, Bernd" - DROPSdagstuhl.de
drops.dagstuhl.de
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. Authors: Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and ... Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. Authors: Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and ...
Bernd FinkbeinerBookshop UK
uk.bookshop.org
Bernd Finkbeiner. Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8 · Runtime Verification: 19th International ... Bernd Finkbeiner. Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8 · Runtime Verification: 19th International ...
Prof. Dr. Bernd FinkbeinerProfessor des Jahres
professordesjahres.de
Prof. Dr. Bernd Finkbeiner. Universität des Saarlandes. Saarbrücken. Informatik. Nominieren. © by UNICUM Stiftung gGmbH. Prof. Dr. Bernd Finkbeiner. Universität des Saarlandes. Saarbrücken. Informatik. Nominieren. © by UNICUM Stiftung gGmbH.
Automated Technology for Verification and AnalysisSinnvoll24
www.sinnvoll24.de
Automated Technology for Verification and Analysis von Bernd Finkbeiner als Kartoniert mit der EAN / ISBN: versandkostenfrei kaufen | Online ... Automated Technology for Verification and Analysis von Bernd Finkbeiner als Kartoniert mit der EAN / ISBN: versandkostenfrei kaufen | Online ,49 €
BibTeX Export for Dagstuhl Seminar Proceedings, Volume 7011dagstuhl.de
drops.dagstuhl.de
... {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address ...
DBLP: Bernd FinkbeinerVLDB Endowment
vldbarc.org
33, no EE pubzone.org · CiteSeerX · Google scholar · BibTeX · bibliographical record in XML, Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: , no EE pubzone.org · CiteSeerX · Google scholar · BibTeX · bibliographical record in XML, Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: ...
Der FdSI-Bachelor-PreisFreunde der Saarbrücker Informatik
www.fdsi.org
Bernd Finkbeiner); Gideon Mohr (Prof. Dr. Jan Reineke); Lisa-Marie Rolli (Prof ... Bernd Finkbeiner); Simon Spies: „Formalising the Undecidability of Higher ... Bernd Finkbeiner); Gideon Mohr (Prof. Dr. Jan Reineke); Lisa-Marie Rolli (Prof ... Bernd Finkbeiner); Simon Spies: „Formalising the Undecidability of Higher ...
HyperVis: Visualizing HyperpropertiesInteractive Media Lab Dresden
imld.de
Norine Coenen, Niklas Metzger, Christopher Hahn, Dennis Dimov , Bernd Finkbeiner. Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen ... Norine Coenen, Niklas Metzger, Christopher Hahn, Dennis Dimov , Bernd Finkbeiner. Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen ...
Detailansicht Flugplatzinformationen für UL PilotenDULV
www.dulv.de
Bernd Finkbeiner. UL am Platz, Trike; Dreiachser; Motorschirme. Landegebühr. Webseite, http://www.flugplatzcrussow.de/. E-Mail. Ausbildung. Fluggegner Orte. Bernd Finkbeiner. UL am Platz, Trike; Dreiachser; Motorschirme. Landegebühr. Webseite, http://www.flugplatzcrussow.de/. E-Mail. Ausbildung. Fluggegner Orte.
Specifying and verifying secrecy in workflows with ...TUM
portal.fis.tum.de
Specifying and verifying secrecy in workflows with arbitrarily many agents. Bernd Finkbeiner, Helmut Seidl, Christian Müller. Informatics 2 - Chair of Formal ... Specifying and verifying secrecy in workflows with arbitrarily many agents. Bernd Finkbeiner, Helmut Seidl, Christian Müller. Informatics 2 - Chair of Formal ...
Monitoring Hyperpropertiesspringerprofessional.de
www.springerprofessional.de
Authors : Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Published in: Runtime Verification. Publisher: Springer International ... Authors : Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Published in: Runtime Verification. Publisher: Springer International ...
Bernd Finkbeiner | LinkedIn
www.linkedin.com
View Bernd Finkbeiner's profile on LinkedIn, the world's largest professional community. Bernd has 1 job listed on their profile. See the complete profile on ...
Bernd Finkbeiner - اقتباسات الباحث العلمي من Google - Google Scholarscholar.google.co.in/citations?user=mSwHrYMAAAAJ&hl=ar
scholar.google.co.in
Bernd Finkbeiner. Professor of Computer Science, Saarland University, Saarland Informatics Campus. بريد إلكتروني تم التحقق منه على cs.uni-saarland.de ...
Bernd FinkbeinerGoogle
scholar.google.de
Bernd Finkbeiner. Professor of Computer Science, CISPA Helmholtz Center for Information Security. Email được xác minh tại cispa.de - Trang chủ.
sortiert nach Relevanz / Datum