Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T17:50:17.226858Z
Paper Citation Record · LEDGER
As of 18 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2411.12271.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T17:50:17.226858Z
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
42 of 42 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 26dcf96d-2436-4896-9d1b-2f478c8d4b88 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 19th Australian Conference on Software Engineering (aswec 2008), pp
Reference 1
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 63f44f96-0d13-47d1-a8c7-47003af62ce2 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 7th Australasian User Interface conference-Volume 50, pp
Reference 2
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 f0086490-7141-441d-986e-0732e2d95065 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 24th Australian Computer-Human Interaction Conference, pp
Reference 3
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 78387b24-fe49-481e-a7ce-890ad98a2b59 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Addison-Wesley Professional, ??? (2013)
Reference 4
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 e785486b-986d-4b54-8fd3-a60121dca92b · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ” O’Reilly Media, Inc.”, ??? (2017)
Reference 5
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 9c02a9a8-f8ec-4286-8aff-10a95231f8a0 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computer-Human Interaction (TOCHI) 8(4), 267–306 (2001)
Reference 6
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 9636c746-ba26-4da5-bc7b-4b40d6a569fe · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Technical report, University of Washington (1992)
Reference 7
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 9cd00dd2-c92a-441c-a1ba-bf50bb4055c1 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, pp
Reference 8
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 079654bc-ae25-423e-b5fc-a66eb24efa95 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Principles and Practice of Constraint Programming, pp
Reference 9
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 bbfd95d4-aa36-4bb8-bdef-2f68edaea5bc · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Constraints 13, 307–342 (2008)
Reference 10
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 3a845894-72d7-4114-9d54-f87da81dfda9 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, pp
Reference 11
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 4950bbfa-bf24-4bb9-8219-6b6f7e3dbec7 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, pp
Reference 12
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 19a9a609-0655-44f0-a033-55b0477d7ab3 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp
Reference 13
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 08348bcf-d496-4930-a203-b52729ef5d71 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Springer, ??? (2016)
Reference 14
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 b819774d-bc56-4a71-908a-c5dd82ca4b42 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Computer Aided Verification: 16th International Conference, CA V 2004, Boston, MA, USA, July 13-17, 2004
Reference 15
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 c4007a25-bce5-430d-90b0-cf23116498df · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Unresolved cited work
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1449e077-a764-45cc-8608-9958a9ea9445 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the AAAI Conference on Artificial Intelligence, vol
Reference 17
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 39d0efb5-5cf8-4952-8b9a-e43f93e89a40 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Computer Aided Verification, pp
Reference 18
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 d1cded76-e562-43fc-83c2-5f2c40f5fda2 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Formal Methods in System Design 51(3), 608–636 (2017)
Reference 19
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 b98b7a58-3e12-411a-a2d1-10f535e74ed1 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computational Logic 24(4), 1–26 (2023)
Reference 20
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 592c13bc-10ba-430d-b170-6d08c8aeed4d · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Computer Aided Verification, pp
Reference 21
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 2ed95a24-e347-492e-9b4b-113471397558 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN– FMCAD 2023, p
Reference 22
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 eb82103c-d116-4d70-9d5f-0ebd0d78ebea · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, pp
Reference 23
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 3c8ee7d3-40a5-49a4-bb4f-b1f9b26516b6 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Unresolved cited work
Reference 24
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 10c3123d-b831-426d-9680-8263303aea3f · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computer-Human Interaction (TOCHI) 7(1), 3–28 (2000) 37
Reference 25
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 71c1bb4f-9dc5-4706-9139-dd7e896118b3 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computer- Human Interaction (TOCHI) 2(1), 64–103 (1995)
Reference 26
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 f44d39e0-16a8-43ce-ae77-0d3be3b1f445 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 2010 21st Australian Software Engineering Conference, pp
Reference 27
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 a9900899-db8d-4c77-bfdb-198f608a45bc · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Journal of Logical and Algebraic Methods in Programming 89, 67–94 (2017)
Reference 28
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 659f2f18-599d-4884-846d-a90aa7e8c2cf · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Eduvantage 1(1) (2013)
Reference 29
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 e5bbad18-eefd-4983-8063-7aa20890d674 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp
Reference 30
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 fc9ef862-86bf-4679-ab43-12f180430332 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Procedia-Social and Behavioral Sciences 106, 2275–2279 (2013)
Reference 31
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 bec65fc3-afe9-4cdf-aa42-129cb637a6f1 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp
Reference 32
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 2c16d302-06a3-4028-9e8f-b50b0a96bee9 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp
Reference 33
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 e7697cb7-cac6-4781-a3e4-46838efa68ca · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Programming Languages and Systems (TOPLAS) 14(3), 339–395 (1992)
Reference 34
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 bc8fffcd-0c7a-4c43-b1f6-71e9303dda47 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Communications of the ACM 33(1), 54–63 (1990)
Reference 35
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 70a0c675-4ab0-4574-800e-caba32e2acd0 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Software: Practice and Experience 23(5), 529–566 (1993)
Reference 36
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 60babe1f-2729-4684-bed7-8a087d742fea · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, pp
Reference 37
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 277a20cf-ce75-4e59-9eda-4a04503e9bf9 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Principles 38 and Practice of Constraint Programming, pp
Reference 38
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 40a2b8b8-fbf0-452f-8a56-3ebe600b3847 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Constraints 7, 229–254 (2002)
Reference 39
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 973626fc-66e4-4a2d-b8b3-69b047d6b566 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, pp
Reference 40
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 f9d2dc57-5e33-4134-846f-f141d021a672 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Walsh, T
Reference 41
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 eb674ffa-3332-40d2-9694-7ed005612645 · outbound
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 13th International Conference of the NZ Chapter of the ACM’s Special Interest Group on Human-Computer Interaction, pp
Reference 42
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.
No inbound Pith citation observations are available.