Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T06:09:08.343338Z
Paper Citation Record · LEDGER
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
As of 17 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 0 inbound Pith citation observations for arXiv:2506.06172.
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-16T06:30:59.297886+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
56 of 56 outbound references displayed
- verified exact21
- verified fuzzy9
- unresolved23
- parse uncertain0
- malformed identifier0
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 1ae95bf8-fbdd-4707-aa59-681475402cc4 · outbound
This paper cites Complexity results for modal logic with recursion via translations and tableaux.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Complexity results for modal logic with recursion via translations and tableaux
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.849368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 44962804-0746-4f07-a344-ba6728f6a7f8 · outbound
This paper cites A monitoring tool for linear-time \( \) HML.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory A monitoring tool for linear-time \( \) HML
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:03.669018Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20c4772e-4fa3-4e01-a773-fe58b3f417ea · outbound
This paper cites Determinizing monitors for HML with recursion.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Determinizing monitors for HML with recursion
Reference 3
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T06:09:12.249640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2c9dd684-7043-422c-9d59-97f26255b105 · outbound
This paper cites Adventures in monitorability: from branching to linear time and back again.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Adventures in monitorability: from branching to linear time and back again
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:03.720945Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 16ffb55e-8cea-4b23-a8b9-f9160802ec2e · outbound
This paper cites The best a monitor can do.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory The best a monitor can do
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.727331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1ed3f07b-a485-400b-bfd2-da96a4b6f749 · outbound
This paper cites O n R untime E nforcement via S uppressions.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory O n R untime E nforcement via S uppressions
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:14.565310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c35b0df0-5200-44c3-98c5-5968e2c15ba1 · outbound
This paper cites Hendren, Sascha Kuzins, Ondrej Lhot \' a k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Hendren, Sascha Kuzins, Ondrej Lhot \' a k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:03.997831Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 87dabd49-a476-4401-a17c-f74fa3692bf5 · outbound
This paper cites Schneider.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Schneider
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:04.081425Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 64bca05e-ec54-463a-a900-bd43b732afc6 · outbound
This paper cites Apt and Gordon D.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Apt and Gordon D
Reference 9
- Resolution
- verified exact
- raw_fallback, observed 2026-08-07T06:09:11.977749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5fc020d8-928e-4d7d-a606-934ffaf4e603 · outbound
This paper cites Principles of Model Checking.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Principles of Model Checking
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:14.272250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fa8b0c2e-f6b3-462b-a0b3-75c5ba517a73 · outbound
This paper cites Rydeheard.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Rydeheard
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.602159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 62200f60-36f6-4b47-8abf-dcc9ff88f363 · outbound
This paper cites Rule-based runtime verification.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Rule-based runtime verification
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:04.442614Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3e723671-b4c4-46b1-ab38-5cf90b5595b0 · outbound
This paper cites Rydeheard, and Klaus Havelund.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Rydeheard, and Klaus Havelund
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.487778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2f927604-481a-4066-bb34-e1295ba67d85 · outbound
This paper cites I ntroduction to R untime V erification.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory I ntroduction to R untime V erification
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:14.036196Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation baf9ef3d-df67-425a-b4e8-2a566af452f8 · outbound
This paper cites Basin, Felix Klaedtke, and Samuel M \" u ller.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Basin, Felix Klaedtke, and Samuel M \" u ller
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:04.705078Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fbcef481-8595-46df-ba2b-f479910003b9 · outbound
This paper cites From propositional to first-order monitoring.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory From propositional to first-order monitoring
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.344314Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8d09cae8-b5ad-49f0-9983-697aaf9cbbba · outbound
This paper cites On notions of regularity for data languages.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory On notions of regularity for data languages
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.213010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 98b3235b-d536-4389-a028-1eb6a180381c · outbound
This paper cites Slightly Infinite Sets.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Slightly Infinite Sets
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:13.813872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f93b446f-36aa-4737-b4bb-ef3203ac5e60 · outbound
This paper cites Two-variable logic on data words.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Two-variable logic on data words
Reference 19
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T06:09:11.856679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 93ad57ee-a7d1-47a3-9919-18b7aad25b6d · outbound
This paper cites Automata theory in nominal sets.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Automata theory in nominal sets
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:05.105428Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f319a13-6443-4d51-9ed6-9fdf38670c01 · outbound
This paper cites Narayan Kumar.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Narayan Kumar
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:13.626423Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e48ad982-0740-49d8-904c-f4bd02797764 · outbound
This paper cites Bradfield and Colin Stirling.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Bradfield and Colin Stirling
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:05.295852Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 87230e16-799a-4c02-9ad5-66fd90143ea3 · outbound
This paper cites Parametric trace slicing and monitoring.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Parametric trace slicing and monitoring
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:05.368882Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ddbd0ce-48ee-44ec-8ba6-41bb4d079094 · outbound
This paper cites an unresolved cited work.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:05.423208Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0e5a5c9-cfcb-461e-b87f-24db8d332356 · outbound
This paper cites CTL* and ECTL* as fragments of the modal -calculus.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory CTL* and ECTL* as fragments of the modal -calculus
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:05.527259Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b71b24f0-8a16-4860-add7-d341f89b9393 · outbound
This paper cites Temporal logic, automata and classical theories.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Temporal logic, automata and classical theories
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:13.426094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 574cea99-3707-4d22-a250-eccda1d40e89 · outbound
This paper cites Efficient monitoring of omega-languages.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Efficient monitoring of omega-languages
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:05.779032Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 588ebeb7-ffd1-4f20-8f60-f610d6fd2c60 · outbound
This paper cites In the Maze of Data Languages.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory In the Maze of Data Languages
Reference 28
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T06:09:11.533281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 102635ac-39ec-46a7-8faf-6c3f7af51733 · outbound
This paper cites Monitoring modulo theories.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Monitoring modulo theories
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:10.044330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 317fc83c-d74a-4766-9a82-a96a2182b5c2 · outbound
This paper cites LTL with the freeze quantifier and register automata.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory LTL with the freeze quantifier and register automata
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:06.060181Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 639f44a0-b00d-497b-a9b6-93b2a5544d38 · outbound
This paper cites On the freeze quantifier in constraint LTL: decidability and complexity.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory On the freeze quantifier in constraint LTL: decidability and complexity
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:06.133315Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31f1c26e-bed7-41d6-bd2b-89f452e3f547 · outbound
This paper cites Seshia, and Hadas Kress - Gazit.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Seshia, and Hadas Kress - Gazit
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:09.918581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 87bbcded-7c3c-4f18-ae9a-33d4aa3a7dda · outbound
This paper cites Allen Emerson.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Allen Emerson
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:09.805133Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e3071793-f675-4f17-a83a-a6528f59d942 · outbound
This paper cites Automatic Synthesis of Systems with Data.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Automatic Synthesis of Systems with Data
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:13.244315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f91f05b5-63cf-4e41-bbab-3740e42c27b4 · outbound
This paper cites Synthesis of data word transducers.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Synthesis of data word transducers
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:13.021468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 22e31aa3-1f8b-48aa-b827-13a4329fb5c5 · outbound
This paper cites A taxonomy for classifying runtime verification tools.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory A taxonomy for classifying runtime verification tools
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:09.648690Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f93f6adf-f31c-4cd8-830f-0bcd027412cb · outbound
This paper cites Reasoning on words and trees with data.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Reasoning on words and trees with data
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:09:12.828142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cf932c6a-66e0-40c0-af7f-d015b3526f11 · outbound
This paper cites Alternating register automata on finite words and trees.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Alternating register automata on finite words and trees
Reference 38
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:09.489973Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 298161a6-34a1-4c1e-9413-c03fb56fff54 · outbound
This paper cites Relating timed and register automata.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Relating timed and register automata
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:06.879903Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4aa9cef4-3329-4522-be70-1a7d3cc0f7d5 · outbound
This paper cites an unresolved cited work.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T06:09:12.616652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 055b9960-69cf-4b0e-86bb-c3826d6b5ede · outbound
This paper cites Temporal stream logic: Synthesis beyond the bools.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Temporal stream logic: Synthesis beyond the bools
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:07.079428Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 02f14f01-aa1d-4d19-b0bc-59cfc9225216 · outbound
This paper cites Runtime verification based on register automata.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Runtime verification based on register automata
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:12.470648Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e759df30-5e40-4a4d-a1cd-39aecc2e6458 · outbound
This paper cites Verification of temporal properties of processes in a setting with data.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Verification of temporal properties of processes in a setting with data
Reference 43
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:09.299193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a79938cd-48b6-4064-aa0f-04ae129a92b7 · outbound
This paper cites Monitoring events that carry data.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Monitoring events that carry data
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:07.306255Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f933e477-38fd-46c8-ae8a-171f1257cb42 · outbound
This paper cites Finite-memory automata.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Finite-memory automata
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:07.383445Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c4e8a244-734e-4e56-98f0-ecdea8e253f0 · outbound
This paper cites Alternation-free modal mu-calculus for data trees.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Alternation-free modal mu-calculus for data trees
Reference 46
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:09.100706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0725b8df-8f56-42b8-806a-034fea59051a · outbound
This paper cites Finite-memory automata with non-deterministic reassignment.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Finite-memory automata with non-deterministic reassignment
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:07.569252Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b48e055-66b8-4e2d-988a-b9ee5b5004b7 · outbound
This paper cites An overview of the MOP runtime verification framework.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory An overview of the MOP runtime verification framework
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:08.938926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6dd789ba-911c-4c24-b81e-f68b8b243d65 · outbound
This paper cites Is computing an experimental science? J.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Is computing an experimental science? J
Reference 49
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:08.820982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 852a3c92-7c2e-4b82-b889-80395f44010f · outbound
This paper cites Finite state machines for strings over infinite alphabets.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Finite state machines for strings over infinite alphabets
Reference 50
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T06:09:11.331364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 81935153-8f06-4bc4-bc3f-989461c26f24 · outbound
This paper cites an unresolved cited work.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work
Reference 51
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:08.625432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f2f4e003-e0a9-4279-b375-dbbe62e30f18 · outbound
This paper cites an unresolved cited work.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-08-07T06:09:08.469961Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a5d09609-389f-4d7b-861b-eef3b6351772 · outbound
This paper cites Automata and logics for words and trees over an infinite alphabet.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Automata and logics for words and trees over an infinite alphabet
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:08.103448Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e2da2150-815b-4396-a5c2-d3401903afb6 · outbound
This paper cites Streett and E.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Streett and E
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:08.204602Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fe89a070-355c-49f9-b440-1e2c4a6674b2 · outbound
This paper cites A lattice-theoretical fixpoint theorem and its applications.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory A lattice-theoretical fixpoint theorem and its applications
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:09:08.251155Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4babcba6-e659-4241-9c84-a2bd4c86795d · outbound
This paper cites an unresolved cited work.
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work
Reference 56
- Resolution
- verified exact
- raw_fallback, observed 2026-08-07T06:09:11.073436Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.