Steffen, Bernhard.

Overview

Works:	0 works in 20 publications in 1 languages

Titles

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: Steffen, Bernhard.; SpringerLink (Online service); Ruthing, Oliver.; Huth, Michael. (Language materials, printed)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Margaria, Tiziana. (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by: Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Transactions on Foundations for Mastering Change I by: SpringerLink (Online service); Steffen, Bernhard. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: Yi, Wang.; SpringerLink (Online service); Steffen, Bernhard.; Olderog, Ernst-Rüdiger. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Bridging the gap between AI and reality = second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024 : proceedings / by: SpringerLink (Online service); Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

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.. Part I / by: Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Margaria, Tiziana. (Language materials, printed)

Real time and such = essays dedicated to Wang Yi to celebrate his scientific career / by: SpringerLink (Online service); Graf, Susanne.; Steffen, Bernhard.; Yi, Wang,; Pettersson, Paul. (Language materials, printed)

The combined power of research, education, and dissemination = essays dedicated to Tiziana Margaria on the occasion of her 60th birthday / by: Hinchey, Mike.; Margaria-Steffen, Tiziana, (1964-); SpringerLink (Online service); Steffen, Bernhard. (Language materials, printed)

Transactions on foundations for mastering change I by: Steffen, Bernhard.; SpringerLink (Online service) (Language materials, printed)

Subjects

Computer mathematics. Computer Communication Networks. Software engineering. Computer science Information Systems Applications (incl. Internet) Robots Application software. Computers. Data Structures and Information Theory. Algorithm Analysis and Problem Complexity. Computer networks . Operating Systems. System Performance and Evaluation. Computers, Special purpose. Margaria-Steffen, Tiziana, Mathematics of Computing. Data structures (Computer science). Microprogramming . Management of Computing and Information Systems. Special Purpose and Application-Based Systems. Computer systems. Computer software Computation by Abstract Devices. Formal methods (Computer science) Computer science—Mathematics. Computer organization. Computer engineering. Programming Techniques. Computer programming. Mathematical Logic and Formal Languages. Computer Applications. Software engineering Compilers (Computer programs). Software Engineering. Software Engineering/Programming and Operating Systems. Information theory. Compilers and Interpreters. Computer Engineering and Networks. Logic, Symbolic and mathematical. Control Structures and Microprogramming. Computer system failures. Programming languages (Electronic computers). Computer System Implementation. Artificial intelligence. Theory of Computation. Logics and Meanings of Programs. Algorithms. Computer and Information Systems Applications. Machine theory. Computing Methodologies. Computer logic. Formal Languages and Automata Theory. Architecture, Computer. Computer Science. Computer simulation. Special purpose computers. Computer science. Management information systems. Computer Science Logic and Foundations of Programming. Mathematical logic. Real-time data processing. Computer Systems Organization and Communication Networks. Artificial Intelligence (incl. Robotics) Artificial intelligence Artificial Intelligence. Information Storage and Retrieval. Computer Science, general. Programming Languages, Compilers, Interpreters. The Computing Profession. Machine learning Mathematical Applications in Computer Science. Simulation and Modeling.