Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2013

Highly Cited

2013

This paper presents an approach to event-triggered model predictive control for discrete-time linear systems subject to input and… Expand

Is this relevant?

Highly Cited

2011

Highly Cited

2011

Given a graph, how can we extract good features for the nodes? For example, given two large graphs from the same domain, how can… Expand

Is this relevant?

Highly Cited

2004

Highly Cited

2004

Attribute based access control (ABAC) grants accesses to services based on the attributes possessed by the requester. Thus, ABAC… Expand

Is this relevant?

Highly Cited

2000

Highly Cited

2000

Systems with an arbitrary number of homogeneous processes occur in many applications. The Parametrized Model Checking Problem… Expand

Is this relevant?

Highly Cited

2000

Highly Cited

2000

The algorithmic approach to the analysis of timed and hybrid systems is fundamentally limited by undecidability, of universality… Expand

Is this relevant?

Highly Cited

1998

Highly Cited

1998

The topology of Stein surfaces and contact 3-manifolds is studied by means of handle decompositions. A simple characterization of… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

The fusion Ll Lr of two normal modal logics formulated in languages with disjoint sets of modal operators is the smallest normal… Expand

Is this relevant?

Highly Cited

1987

Highly Cited

1987

Abstract We construct a graph model for ACP τ , the algebra of communicating processes with silent steps, in which Koomen's Fair… Expand

Is this relevant?

Highly Cited

1978

Highly Cited

1978

The number of digits it takes to write down an observed sequence x1,...,xN of a time series depends on the model with its… Expand

Is this relevant?

Highly Cited

1959

Highly Cited

1959

This is the third of a series of papers in these Transactions on hierarchies obtained by quantifying variables of recursive… Expand

Is this relevant?