Symposium on Logic in Computer Science

Known as: IEEE Symposium on Logic in Computer Science, Logic in Computer Science (IEEE symposium), LICS 
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Modal Transition Systems (MTS) have been shown to be useful to reason about system behaviour in the context of partial… (More)
  • figure 2
  • figure 4
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper describes a precise numerical abstract domain for use in timing analysis. The numerical abstract domain is… (More)
Is this relevant?
2006
2006
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal… (More)
Is this relevant?
Review
2005
Review
2005
Summary form only given. The great logician Alfred Tarski played one of the leading roles in the development of mathematical… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
IC design is an iterative process; the initial speciication of a design is rarely complete and correct. The designer begins with… (More)
  • figure 1.1
  • table 4.3
Is this relevant?
1996
1996
compilation: It is convenient to view a type analysis in our approach as consisting of two phases: First the program is… (More)
Is this relevant?
1995
1995
Interpretation: a Semantic-Based Tool for Program Analysis, in: Handbook of logic in computer science (vol. 4). Oxford University… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical… (More)
Is this relevant?