Abdulla, Parosh Aziz.
Overview
| Works: | 18 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
by:
Abdulla, Parosh Aziz.; Delporte-Gallet, Carole.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abdulla, Parosh Aziz.; SpringerLink (Online service); Potapov, Igor.
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abdulla, Parosh Aziz.; Leino, K. Rustan M.
(Language materials, printed)
Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
SpringerLink (Online service); Abdulla, Parosh Aziz.; Delporte-Gallet, Carole.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Foundations of software science and computation structures = 28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
Abdulla, Parosh Aziz.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kesner, Delia.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Computer System Implementation.
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer networks
Information Systems Applications (incl. Internet).
Mathematics of Computing.
Programming Techniques.
Computer Science.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Mathematical Logic and Foundations.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
System design
Application software.
Decidability (Mathematical logic)
Cloud computing
Computer systems
Mobile computing
Software engineering
Programming Languages, Compilers, Interpreters.
System analysis
Computation by Abstract Devices.
Wireless communication systems
Computer software
Software Engineering.