Steffen, Bernhard, 1958-
Steffen, Bernhard
Steffen, Bernhard, 1956-....
Steffen, Bernhard, Computer science
Bernhard Steffen
VIAF ID: 57063007 ( Personal )
Permalink: http://viaf.org/viaf/57063007
Preferred Forms
- 100 0 _ ‡a Bernhard Steffen
-
-
-
-
-
-
- 100 1 0 ‡a Steffen, Bernhard
-
- 100 1 _ ‡a Steffen, Bernhard ‡c Computer science
-
- 100 1 _ ‡a Steffen, Bernhard ‡d 1958-
- 100 1 _ ‡a Steffen, Bernhard ‡d 1958-
-
- 100 1 _ ‡a Steffen, Bernhard, ‡d 1956-....
-
4xx's: Alternate Name Forms (12)
5xx's: Related Names (7)
- 551 _ _ ‡a Kiel ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a RWTH Aachen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Hochschule Aachen
- 510 2 _ ‡a Technische Universität Dortmund ‡b Lehrstuhl 5 für Programmiersysteme ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität Dortmund ‡b Fakultät für Informatik
- 510 2 _ ‡a Universität Passau ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Passau
Works
Title | Sources |
---|---|
Advances in session-based and session-aware recommendation | |
Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings | |
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings | |
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I | |
Automatic synthesis of design plans in MetaFrame | |
Bio-jETI a service integration, design, and provisioning platform for orchestrated bioinformatics processes : (part of "From components to processes") | |
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings | |
Characteristic formulae for processes with divergence | |
Code motion and code placement: just synonyms? | |
Compositional minimization of finite state systems using interface specifications | |
Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers | |
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings | |
Computing and Software Science : State of the Art and Perspectives | |
constraint oriented proof methodology based on modal transition systems | |
Correct system design : recent insights and advances | |
Distinguishing formulas for free | |
Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings | |
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie | |
Entwicklung eines jABC Plugin zur grafischen Beschreibung von Transformationen strukturierter Daten | |
Eureka, Entscheidungs-Unterstützung rollengerecht, effizient, kooperativ, allgegenwärtig 2 | |
Flux-P automating metabolic flux analysis | |
GeneFisher-P variations of GeneFisher as processes in Bio-jETI | |
Generating data flow analysis algorithms from modal specifications | |
Grundlagen der höheren Informatik | |
Heterogeneous analysis and verification for distributed systems | |
Hofmanns und Ritschls Lehren über die heilsbedeutung des Todes Jesu | |
Inductive approaches | |
Infinity | |
Interaktive Entwicklung personalisierter Webapplikationen Abschlussbericht | |
interprocedural coincidence theorem | |
ISoLA 2012 | |
jETI Electronic tool integration plattform | |
L2EE: Lightweight Process Coordination & J2EE | |
Large scale parallel state space search utilizing graphics processing units and solid state disks | |
Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers | |
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers | |
Mathematical foundations of advanced informatics. | |
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings | |
Matrics II Entwicklung eines Konfigurationswerkzeugs für Computersysteme | |
Measurement of transient magnetic fields and of eddy current time constants in TEXTOR | |
Meta-model based generation of domain-specific modeling tools | |
Module configuration by minimal model construction | |
Optimal data flow analysis via observational equivalence | |
Optimal run time optimization proved by a new look at abstract interpretations | |
Parallelism for free efficient and optimal bitvector analyses for parallel programs | |
Partial dead code elimination | |
Pushdown processes parallel composition and model checking | |
Reactive, generative, and stratified models of probabilistic processes, 1994: | |
Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings | |
Service-Integration in Geschäftsprozessmanagementsystemen mit besonderem Fokus auf die Integration von ERP-Systemen unter Berücksichtigung des aktuellen Trends hin zum Cloud-Computing | |
Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers | |
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings | |
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers | |
STTT'98 - International Workshop on Software Tools for Technology Transfer | |
Synthesizing realistic verification tasks | |
tool kit for constructing optimal interprocedural data flow analyses | |
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings | |
Transactions on Foundations for Mastering Change I | |
Unifying strength reduction and semantic code motion | |
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings | |
Verifikation von Firewall-Regeln mit dem Java Application Building Center | |
Verteilte Prozesskontrolle in ressourcenbasierten Architekturen | |
VMCAI 2004 | |
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings |