Virtual International Authority File


Steffen, Bernhard National Library of Israel Library of Congress/NACO DBC (Danish Bibliographic Center) Sudoc [ABES], France

Steffen, Bernhard, Computer science National Library of the Netherlands

Steffen, Bernhard, 1958- German National Library National Library of the Czech Republic

Steffen, B. ISNI

Bernhard Steffen informaticien allemand Wikidata

VIAF ID: 57063007 (Personal)


ISNI: 0000  0001  2134  5014 

Open Section Close Section Preferred Forms





Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close Section 5xx's: Related Names (6)

Open Section Close SectionWorks

Title Sources
Correct system design : recent insights and advances Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings Sudoc [ABES], France
Financial Cryptography and Data Security 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers Sudoc [ABES], France
Grundlagen der höheren Informatik Induktives Vorgehen Sudoc [ABES], France
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings Sudoc [ABES], France
Hofmanns und Ritschls Lehren über die Heilsbedeutung des Todes Jesu Sudoc [ABES], France
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings Sudoc [ABES], France
Information Theoretic Security Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings Sudoc [ABES], France
ISoLA 2008 Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Karten von Mykenai : Auf Veranlassung des kaiserlich deutschen archäologischen Instituts aufgenommen und mit erläuterndem / Nebst einem Anhange über die Kontoporeia und das mykenisch-korinthische Bergland Sudoc [ABES], France
Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers Sudoc [ABES], France
Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers Sudoc [ABES], France
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers Sudoc [ABES], France
Motion in Games First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008. Revised Papers Sudoc [ABES], France
Network and Parallel Computing IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings Sudoc [ABES], France
On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings Sudoc [ABES], France
Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings Sudoc [ABES], France
Post-Quantum Cryptography Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA, October 17-19, 2008 Proceedings Sudoc [ABES], France
Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Sudoc [ABES], France
Practical Aspects of Knowledge Management 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008. Proceedings Sudoc [ABES], France
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings Sudoc [ABES], France
Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers Sudoc [ABES], France
Progress in Cryptology - INDOCRYPT 2008 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings Sudoc [ABES], France
Progress in Pattern Recognition, Image Analysis and Applications 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings Sudoc [ABES], France
Reactive, generative, and stratified models of probabilistic processes, 1994: Library of Congress/NACO
Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings Sudoc [ABES], France
Reflections on the Teaching of Programming Methods and Implementations Sudoc [ABES], France
Reliable implementation of real number algorithms: theory and practice International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006 : revised papers Sudoc [ABES], France
Research and Advanced Technology for Digital Libraries 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings Sudoc [ABES], France
Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers Sudoc [ABES], France
Resilient Networks and Services Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings Sudoc [ABES], France
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings Sudoc [ABES], France
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers Sudoc [ABES], France
Scientific and Statistical Database Management 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings Sudoc [ABES], France
Secure Data Management 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings Sudoc [ABES], France
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings Sudoc [ABES], France
Semantic Web, Ontologies and Databases VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers Sudoc [ABES], France
Semantics in Data and Knowledge Bases Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers Sudoc [ABES], France
Services and Visualization Towards User-Friendly Design ACoS'98, VISUAL'98, AIN'97 Selected Papers Sudoc [ABES], France
Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings Sudoc [ABES], France
Smart Card Research and Advanced Applications 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings Sudoc [ABES], France
Smart Sensing and Context Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008. Proceedings Sudoc [ABES], France
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Sudoc [ABES], France
STTT'98 - International Workshop on Software Tools for Technology Transfer DBC (Danish Bibliographic Center)
TACAS '96 National Library of the Netherlands Sudoc [ABES], France
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Towards a Service-Based Internet First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings Sudoc [ABES], France
Transactions on Foundations for Mastering Change I Sudoc [ABES], France
Trust, Privacy and Security in Digital Business 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings Sudoc [ABES], France
Verification, model checking, and abstract interpretation : 5th International conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings National Library of the Netherlands Sudoc [ABES], France
Verification of infinite state systems : proceedings of the First International Workshop on ..., Infinity'96, Pisa, Italy, 30-31 August, 1996 Sudoc [ABES], France
VMCAI 2004 National Library of the Netherlands
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section History of VIAF ID:57063007 (13)