Language: English

Jump To : Overview Titles Subjects

Theory of Computation.

Overview

Works:	1092 works in 405 publications in 405 languages

Titles

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part II / by: (Language materials, printed)

Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part III / by: (Language materials, printed)

Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II / by: (Language materials, printed)

Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures / by: (Language materials, printed)

Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: (Language materials, printed)

Theory of computation = automata, formal languages, computation and complexity / by: (Language materials, printed)

Restarting automata = extensions and generalizations / by: (Language materials, printed)

Subjects

Semidefinite programming.

Image Processing and Computer Vision.

Intelligent agents (Computer software)

Communication, International

Telecommunication.

Information Systems Applications (incl.Internet)

Bionics.

Genetic programming (Computer science)

Application software.

e-Commerce/e-business.

Distributed artificial intelligence.

Decidability (Mathematical logic)

Biomathematics.

Governance and Government.

Business Mathematics.

Physics.

Optical data processing

Mathematical Modeling and Industrial Mathematics.

Image processing

Research

Language Translation and Linguistics.

Computer Appl. in Arts and Humanities.

Diagnostic imaging

Mathematical analysis

Biomedical Engineering.

Image Processing.

Entity-relationship modeling

Probability and Statistics in Computer Science.

Computer communication systems.

Statistics .

Computational neuroscience.

Computer systems.

Analysis.

Analytic Philosophy.

Materials science.

Epistemology.

Graphic methods

Data encryption (Computer science)

Numeric Computing.

Computation by Abstract Devices.

Mathematical linguistics

Input-output equipment (Computers).

Permutations.

Computer organization.

Categories (Mathematics)

History of Computing.

Metaheuristics

Programming Techniques.

Cellular automata.

Partial Differential Equations.

Information storage and retrieval.

Computer Applications.

Computational Intelligence.

Space flight

Heuristic programming

Configurations

Operations Research and Decision Theory.

Software engineering

Evidence.

Calculus of Variations and Optimal Control; Optimization.

Control theory.

Number theory.

Engineering Design.

Performance and Reliability.

Biomimicry.

Mathematical and Computational Engineering.

Automatic theorem proving

Multitasking (Computer science)

Numerical calculations

Graph theory

Electrical and Electronic Engineering.

Information and Communication, Circuits.

Embedded computer systems

Artificial life

Data Science.

Interpersonal relations

Functional programming (Computer science)

Materials Science, general.

Arithmetic and logic units, Computer.

Logic, Symbolic and mathematical.

Discrete mathematics.

Arts.

Rough sets

Atmospheric Protection/Air Quality Control/Air Pollution.

Natural Language Processing (NLP)

Information measurement

Semantic networks (Information theory)

Pattern Recognition.

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Bioinformatics.

Stochastic processes

Computer System Implementation.

Technology—Philosophy.

Semantic computing.

Model theory.

Internet searching.

Imaging / Radiology.

Operations Research, Management Science .

Logics and Meanings of Programs.

Cognitive science

Computer graphics.

Coding theory.

Database management

Design and Analysis of Algorithms.

Database design

Memristors.

Mathematical optimization.

Computer multitasking.

Mathematical models.

Algebra.

Evolution (Biology)

Computable functions

Human-computer interaction

Microelectronics.

Knowledge based Systems.

Cryptography

Formal Languages and Automata Theory.

Database Management System.

Applications of Mathematics.

Natural language processing (Computer science).

Graph Theory.

Information retrieval

Science Education.

Semantic Web

Knowledge management

Special purpose computers.

Optimization.

Biological Networks, Systems Biology.

Database management.

Complexity (Philosophy)

Quantum Computing.

Operations Research/Decision Theory.

Computing Milieux.

Computer science.

Engineering Mathematics.

Nonlinear Dynamics.

Constraints (Artificial intelligence)

Industrial safety.

Discrete Mathematics in Computer Science.

Business Finance.

Natural computation

Turing test.

Quantum Computing, Information and Physics.

Electronics and Microelectronics, Instrumentation.

Intercultural communication

Computer Application in Social and Behavioral Sciences.

Systems and Data Security.

Numerical and Computational Physics.

Differential Equations.

Engineering systems

Rule-based programming

Zoology.

Mechanics, Applied.

Operating systems (Computers)

Theoretical, Mathematical and Computational Physics.

Category theory (Mathematics).

Computer Systems Organization and Communication Networks.

Optical communications.

Nonlinear Dynamics, Complex Systems, Chaos, Neural Networks.

Computable functions.

Quantum computers.

Time-series analysis.

History of Mathematical Sciences.

Pattern perception.

Artificial Intelligence (incl. Robotics)

Artificial intelligence

Multiagent systems

Artificial Intelligence.

Social sciences—Data processing.

Biotechnology.

Automata

Information storage and retrieval systems.

Brain

Visual communication

Computer algorithms.

Proof theory.

Calculus of variations.

Programming Languages, Compilers, Interpreters.

System analysis

Database design.

Supercomputers

Science and Technology Studies.

Image processing—Digital techniques.

Applied mathematics.

Computer algorithms

Realism.

Security Services.

Biophysics/Biomedical Physics.

Railroads

Data Encryption.

Quantum theory

Neural networks (Computer science)

Extremal problems (Mathematics)

The Computing Profession.

Computational Complexity.

World Wide Web

Development Studies.

Conceptual structures (Information theory)

Membrane computers.

Public policy.

Real-time control.

Operation Research/Decision Theory.

Information Systems and Communication Service.

Physics

Field theory (Physics).

Expert systems (Computer science).

Computers and Society.

Cryptology.

Distributed algorithms.

Expert systems (Computer science)

Turing machines

Model-driven software architecture.

Control engineering.

Combinatorial group theory.

Computer-aided software engineering

History of Science.

Geographical Information Systems/Cartography.

Management science

Compilers (Computer programs)

Field theory (Physics)

Representations of graphs.

Learning classifier systems.

Numerical analysis.

Data protection.

Computer Communication Networks.

Applied Optics, Optoelectronics, Optical Devices.

Software engineering.

Biomedicine.

Sensor networks.

Machine learning.

Signal processing.

Combinatorial optimization

Robotics

Computer science

Mathematical Logic and Foundations.

Information Systems Applications (incl. Internet)

Enigma cipher system.

Biomimicry

Computational Mathematics and Numerical Analysis.

Systems engineering

Mathematical Physics.

Ecosystems.

Formal languages

Data Structures, Cryptology and Information Theory.

Computational complexity.

Personal Computing.

Internet of things.

Computational linguistics.

Information storage and retrieval systems

Mathematics, general.

Electronic commerce.

Control and Systems Theory.

Computer Networks.

Electronic data processing.

Biometrics.

Computer networks .

Operating Systems.

Geometry, Algebraic.

System Performance and Evaluation.

Mathematical and Computational Physics.

Computers, Special purpose.

Engineering—Data processing.

Robotics and Automation.

Gene mapping

Numerical Analysis.

Computational linguistics

Coding theory

Microsoft software.

Mathematics of Computing.

Data structures (Computer science).

Computer music

Word problems (Mathematics)

Computer Vision.

Management of Computing and Information Systems.

Philosophy of Science.

Big Data.

Computer vision

Mathematical Software.

Life Sciences.

Security.

Personal computers.

Microwaves, RF Engineering and Optical Communications.

Formal Logic.

Special Purpose and Application-Based Systems.

Software failures.

Uncertainty (Information theory)

Electronic data processing

Biocomputers.

Philosophy of Technology.

Economics, Mathematical .

Category Theory, Homological Algebra.

Quantum computing.

Soft computing.

E-commerce.

Nucleotide sequence

Smullyan, Raymond M.

Multiagent Systems.

Recursive functions.

Computer software

Arithmetic and Logic Structures.

Neurosciences.

Formal methods (Computer science)

Self-organizing systems

Biophysics.

Computer engineering.

Statistical Physics, Dynamical Systems and Complexity.

Philosophy of Mind.

Symbolic and Algebraic Manipulation.

Semantic computing

Quantum physics.

Computational Linguistics.

Turing, Alan Mathison,

Algebra, Boolean.

Technology

Electronics.

Information theory

Natural language processing (Computer science)

Legislative bodies.

Computer programming.

System analysis.

Logic.

Cell Biology.

Petri nets.

Control.

Computer network architectures.

Structural bioinformatics.

Recursion theory.

Biometrics (Biology).

Biologically-inspired computing.

Transformations (Mathematics)

Electronic Circuits and Devices.

Control , Robotics, Mechatronics.

Philosophy and science.

Information technology—Management.

Quantitative Finance.

Data encryption (Computer science).

Engineering Fluid Dynamics.

Unsolvability (Mathematical logic)

Business enterprises—Finance.

Semiconductors.

Computer architecture

Logic

Robotics.

Mobile computing

Computer programs.

Theoretical and Computational Chemistry.

Machine theory

Appl.Mathematics/Computational Methods of Engineering.

Parallel processing (Electronic computers)

Quantum communication

Logic programming languages.

Computability and Recursion Theory.

Computer graphics

Software Engineering.

Spatial systems.

Quantum Information Technology, Spintronics.

Soft computing

Software Engineering/Programming and Operating Systems.

Computer Modelling.

Circuits and Systems.

Microprocessors.

Biomedical engineering.

Data integration (Computer science)

Information theory.

Communication and technology

Data structures (Computer science)

Differential equations, Partial

Decision making.

Statistical physics.

Communications Engineering, Networks.

Computational intelligence

Evolutionary Biology.

Image analysis

High performance computing

Computer Engineering.

Quality Control, Reliability, Safety and Risk.

Swarm intelligence

Fault-tolerant computing.

Compilers and Interpreters.

Nanotechnology.

Computational intelligence.

Complex Networks.

Data mining.

Professional Computing.

Quantum Optics, Quantum Electronics, Nonlinear Optics.

Statistical Physics and Dynamical Systems.

Transportation.

Mathematical models

Biologically-inspired computing

Evolutionary biology.

Algebraic Geometry.

Computer systems

Computational Science and Engineering.

Mathematics

Computer system failures.

Computer Application in Administrative Data Processing.

Python (Computer program language)

Logic design.

Computational complexity

The Computer Industry.

Computational Biology/Bioinformatics.

Quantum Optics.

Quantum theory.

Statistical Theory and Methods.

Fluid mechanics.

Nonlinear programming.

Artificial intelligence.

Multiagent systems.

Digital and Analog Signal Processing.

Quantum computers

Philosophy of Nature.

Electrical engineering.

Online data processing.

Systems Biology.

Logic Design.

Spintronics.

Wireless power transmission.

Technology—Sociological aspects.

Computer programming

Algorithms.

Computer software—Reusability.

Probabilities.

Computer and Information Systems Applications.

Statistics, general.

Signal, Speech and Image Processing.

Electrical Engineering.

Mathematics.

Computer Appl. in Social and Behavioral Sciences.

Neurobiology.

Complex Systems.

Solid State Physics.

Wireless communication systems.

Human-computer interaction.

Machine theory.

Algebraic geometry.

Combinatorial analysis.

Computational biology.

Larsen, K. G.

Electronic Circuits and Systems.

Database Management.

System design.

Aerospace Technology and Astronautics.

Computer logic.

Signal, Image and Speech Processing.

Coding and Information Theory.

Computers

Parameter estimation

Systems engineering.

Big data

Science education.

Declarative programming

Business mathematics.

Music

Mathematical physics.

Architecture, Computer.

Business information services.

Computer Science.

Number Theory.

Computer vision.

Management science.

Computer simulation.

Open source software

Biomedical Engineering and Bioengineering.

Set theory.

Natural computation.

Topology.

Science

Epistemics.

Cloud computing

Evolutionary computation.

Engineering mathematics.

Management information systems.

Computer-Aided Engineering (CAD, CAE) and Design.

Parallel programs (Computer programs)

Programming languages (Electronic computers)

Materials science

Declarative programming languages

Computer security.

Self-organizing systems.

Artificial intelligence.

Computer Science Logic and Foundations of Programming.

Mathematical logic.

Solid Mechanics.

Combinatorial analysis

Knowledge acquisition (Expert systems)

Petri nets

Math Applications in Computer Science.

Turing machines.

Julia sets

Biotechnology

Lambda calculus.

Computers and Education.

User-centered system design

Education—Data processing.

Public Policy.

Real-time data processing.

Medical informatics

Mechanics.

Computational and Systems Biology.

Speech processing systems.

Legislative and Executive Politics.

Reversible computing.

History.

User interfaces (Computer systems).

Robust control.

Information Model.

Constraint programming (Computer science)

Laser Technology and Physics, Photonics.

Computer simulation

Computer organization

Discrete Optimization.

Parallel programming (Computer science)

Entropy.

Information visualization

Information Storage and Retrieval.

Business Information Systems.

Heuristic programming.

Bioinformatics

Kolmogorov complexity.

Quantum Physics.

Processor Architectures.

Models and Principles.

Formal languages.

Systems Theory, Control.

Systems and Information Theory in Engineering.

Astronautics

Visualization.

Thermodynamics.

Algebra

Computer software.

Cellular automata

Mathematicians

Pattern recognition.

Economic development.

Petri, Carl Adam.

Information technology

Combinatorial optimization.

Logic in AI.

Computer networks

Evolutionary computation

Philosophy, general.

Engineering mathematics

Constructive mathematics.

Computers and civilization.

Logic programming

Grobner bases.

Temporal automata

Machine learning

Computer security

System design

Bioinspired Technologies.

Mathematical statistics.

Mathematical Applications in Computer Science.

Operations research.

Machine Learning.

Operations Research, Mathematical Programming.

Simulation and Modeling.

Mathematical linguistics.

Political Science.

Computer Graphics.

User Interfaces and Human Computer Interaction.

Optical data processing.

Big data.

Computer multitasking

Computer hardware.

Microsoft and .NET.

Cryptography.

Mathematical optimization

Computer mathematics.

Knowledge representation (Information theory) .

Computer network protocols

Information networks.

Mathematical and Computational Engineering Applications.

Electronic circuits.

Electronic information resource searching

Online social networks

Combinatorics.

Robots

E-business.

Economics/Management Science.

Graph theory.

Homological algebra.

Model-integrated computing

Information modeling.

Application software

Ontologies (Information retrieval)

Ad hoc networks (Computer networks)

Neuroscience.

System theory.

Computers.

Information resources management.

Dynamical systems.

Philosophy.

Mobile and Network Security.

Electronic and Computer Engineering.

Object-oriented methods (Computer science)

Data Structures and Information Theory.

Algorithm Analysis and Problem Complexity.

Geographic information systems.

Knowledge Based Systems.

Molecular biology

Data Structures.

Information Systems Applications (incl. Internet).

Convex functions.

Microprogramming .

Logic programming.

Applied Dynamical Systems.

e-Business/e-Commerce.

Logic, Symbolic and mathematical

Reasoning

Philosophy of Mathematics.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer science—Mathematics.

Political science.

Mathematical Methods in Physics.

Theory and Algorithms for Application Domains.

Control, Robotics, Mechatronics.

Microsoft .NET Framework.

Computer Appl. in Administrative Data Processing.

Mathematical and Computational Biology.

Applications of Nonlinear Dynamics and Chaos Theory.

Mathematical Logic and Formal Languages.

Models of Computation.

Convex sets.

Artificial intelligence—Data processing.

Philosophy, Modern.

Engineering.

Quality control.

Discrete Mathematics.

Natural Language Processing (NLP).

Operations Research, Management Science.

Operating systems (Computers).

Data mining

Mathematics—Philosophy.

Philosophical Traditions.

Image processing.

Compilers (Computer programs).

Software Management.

Automation.

Programming Language.

Problem solving

Science, multidisciplinary.

Mechatronics.

Computer Engineering and Networks.

Computer logic

Interdisciplinary Studies.

Neuroengineering.

Laser Technology, Photonics.

Game theory

Reliability.

Algorithms

Control Structures and Microprogramming.

Reliability (Engineering)

Input/Output and Data Communications.

Computer Hardware.

Electronic information resource searching.

Distributed operating systems (Computers)

Approximation algorithms.

Geography.

Computer-aided design

Field Theory and Polynomials.

Decision making

Theory of Computation.

Data Storage Representation.

Systems Theory, Control .

Complexity.

Computer programs

Structured programming.

Information theory in biology.

Computing Methodologies.

Computer games

Prediction theory.

Big Data/Analytics.

Evolutionary programming (Computer science)

Quantum optics.