Kovács, Laura.
Overview
| Works: | 1 works in 6 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems30th 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:
(1998 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems30th 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:
(1998 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Reachability problems18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings /
by:
(1998 :); Kovács, Laura.; Sokolova, Ana.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems30th 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:
(1998 :); Finkbeiner, Bernd.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Integrated formal methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
by:
(1998 :); Kosmatov, Nikolai.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Intelligent computer mathematics17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings /
by:
(1998 :); Kohlhase, Andrea.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Artificial intelligence
Computer and Information Systems Applications.
Logic in AI.
Mathematics of Computing.
Computer software
Control Structures and Microprogramming.
Computer systems
System design
Computer Application in Social and Behavioral Sciences.
Computer Science Logic and Foundations of Programming.
Formal methods (Computer science)
Computer Modelling.
Computer science
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Communication Networks.
Design and Analysis of Algorithms.
Decidability (Mathematical logic)
System analysis
Computers and Education.