Kovács, Laura.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part I /
by:
TACAS (Conference) (2024 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service); ETAPS (Conference) (2024 :)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part II /
by:
TACAS (Conference) (2024 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service); ETAPS (Conference) (2024 :)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part III /
by:
TACAS (Conference) (2024 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service); ETAPS (Conference) (2024 :)
(Electronic resources)
Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings /
by:
International Conference on Reachability Problems (2024 :); Kovács, Laura.; Sokolova, Ana.; SpringerLink (Online service)
(Electronic resources)
Intelligent computer mathematics = 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings /
by:
CICM (Conference) (2024 :); Kohlhase, Andrea.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Computer and Information Systems Applications.
Logic in AI.
Mathematics of Computing.
Control Structures and Microprogramming.
Artificial intelligence- Mathematics
Computer systems- Verification
System design
Computer science- Mathematics
Computer Application in Social and Behavioral Sciences.
Computer Science Logic and Foundations of Programming.
Computer Modelling.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer software- Verification
Computer Communication Networks.
Design and Analysis of Algorithms.
Decidability (Mathematical logic)
System analysis
Computers and Education.