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]

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)

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)

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