Preface of the Special Issue in Memoriam Helmut Veith (English)
- New search for: Gottlob, Georg
- New search for: Henzinger, Thomas A.
- New search for: Weissenbacher, Georg
- Further information on Weissenbacher, Georg:
-
https://orcid.org/0000-0002-0143-632X
- New search for: Gottlob, Georg
- New search for: Henzinger, Thomas A.
- New search for: Weissenbacher, Georg
- Further information on Weissenbacher, Georg:
-
https://orcid.org/0000-0002-0143-632X
In:
Formal Methods in System Design
;
51
, 2
; 267-269
;
2017
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Preface of the Special Issue in Memoriam Helmut Veith
-
Contributors:
-
Published in:Formal Methods in System Design ; 51, 2 ; 267-269
-
Publisher:
- New search for: Springer US
- New search for: Springer Science + Business Media B.V
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 53.52$jElektronische Schaltungen / 54.30 / 53.52 / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 / 54.20$jDatenverarbeitungsanlagen: Allgemeines
- Further information on Basic classification
-
Classification:
BKL: 53.52$jElektronische Schaltungen / 54.30 Systemarchitektur: Allgemeines / 53.52 Elektronische Schaltungen / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 Datenverarbeitungsanlagen: Allgemeines / 54.20$jDatenverarbeitungsanlagen: Allgemeines -
Source:
Table of contents – Volume 51, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 267
-
Preface of the Special Issue in Memoriam Helmut VeithGottlob, Georg / Henzinger, Thomas A. / Weissenbacher, Georg et al. | 2017
- 270
-
Para$$^2$$: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsKonnov, Igor / Lazić, Marijana / Veith, Helmut / Widder, Josef et al. | 2017
- 308
-
On compiling Boolean circuits optimized for secure multi-party computationBüscher, Niklas / Franz, Martin / Holzer, Andreas / Veith, Helmut / Katzenbeisser, Stefan et al. | 2017
- 332
-
Shield synthesisKönighofer, Bettina / Alshiekh, Mohammed / Bloem, Roderick / Humphrey, Laura / Könighofer, Robert / Topcu, Ufuk / Wang, Chao et al. | 2017
- 362
-
Program synthesis for interactive-security systemsHarris, William R. / Jha, Somesh / Reps, Thomas W. / Seshia, Sanjit A. et al. | 2017
- 395
-
A methodology to take credit for high-level verification during RTL verificationDoucet, Frederic / Kurshan, Robert et al. | 2017
- 419
-
Keeping logic in the trivium of computer science: a teaching perspectiveMakowsky, J. A. / Zamansky, A. et al. | 2017