Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T12:45:41.240231Z
Paper Citation Record · LEDGER
On the expressive power of invariants in parametric timed automata
As of 18 August 2026, this Paper Citation Record lists 6 of 6 outbound references and 0 inbound Pith citation observations for arXiv:1908.06633.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
6 of 6 outbound references displayed
- verified exact1
- verified fuzzy0
- unresolved4
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 9414a319-4bac-4bad-8997-54b459e320b2 · outbound
This paper cites Model-Checking in Dense Real-Time.
On the expressive power of invariants in parametric timed automata Model-Checking in Dense Real-Time
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:45:41.195804Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c4036398-ebd0-455b-8241-b7e2797d8ed2 · outbound
This paper cites Pittsburgh, PA, USA: Springer, 2000, pp.
On the expressive power of invariants in parametric timed automata Pittsburgh, PA, USA: Springer, 2000, pp
Reference 1790
- Resolution
- verified exact
- doi, observed 2026-08-14T12:45:41.303293Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f40e3890-ecea-4505-bf19-c049e517697b · outbound
This paper cites Robust Parametric Reachability fo r Timed Automata.
On the expressive power of invariants in parametric timed automata Robust Parametric Reachability fo r Timed Automata
Reference 3098
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T12:45:41.499623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3c943ece-b17f-409a-8ea1-bcc2a7c78bc2 · outbound
This paper cites What’s decidable about parametric timed automata?.
On the expressive power of invariants in parametric timed automata What’s decidable about parametric timed automata?
Reference 7436
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:45:41.203214Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f8f88b3-6dc1-480c-9ff5-f797cc6d8d22 · outbound
This paper cites Timed Automata: Semantics, Algorithms and Tools.
On the expressive power of invariants in parametric timed automata Timed Automata: Semantics, Algorithms and Tools
Reference 8634
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:45:41.218588Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e20f6fd-0976-4cb1-b6fa-b1e41908ba4f · outbound
This paper cites Decision problems for lower/upper bound parametric timed au- tomata.
On the expressive power of invariants in parametric timed automata Decision problems for lower/upper bound parametric timed au- tomata
Reference 9135
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:45:41.211088Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.