Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
163 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A UTP semantics for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 3-32, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Theorem proving, Relational model, Refinement calculus |
116 | John P. McDermott, Leo Freitas |
A formal security policy for xenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008, pp. 43-52, 2008, ACM, 978-1-60558-288-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
refinement, open-source, z, csp, hypervisor, information-flow security, circus |
110 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Formal development of industrial-scale systems in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 1(2), pp. 125-146, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concurrency, Object-orientation, Refinement, Program development |
104 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
A Semantics for UML-RT Active Classes via Mapping into Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 99-114, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model transformations, method integration, UML-RT, Circus |
93 | Jim Woodcock 0001, Ana Cavalcanti 0001, Leonardo Freitas |
Operational Semantics for Model Checking Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 237-252, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
93 | Marcel Oliveira, Ana Cavalcanti 0001 |
From Circus to JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 320-340, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
concurrency, object-orientation, program development |
93 | Adnan Sherif, Jifeng He 0001, Ana Cavalcanti 0001, Augusto Sampaio |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 478-493, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Formal methods integration, real-time systems, formal verification |
86 | Jean-Yves Vion-Dury, Veronika Lux, Emmanuel Pietriga |
Experimenting with the circus language for XML modeling and transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2002 ACM Symposium on Document Engineering, McLean, Virginia, USA, November 8-9, 2002, pp. 82-87, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
typed document transformation, XML, programming language, XSLT, document model, circus |
75 | Frank Zeyda, Ana Cavalcanti 0001 |
Mechanised Translation of Control Law Diagrams into Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 151-166, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
75 | Andrew Butterfield, Adnan Sherif, Jim Woodcock 0001 |
Slotted-Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 75-97, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Angela F. Freitas, Ana Cavalcanti 0001 |
Automatic Translation from Circus to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 115-130, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
75 | HoonSang Jin, Mohammad Awedh, Fabio Somenzi |
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 519-522, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
75 | HoonSang Jin, Fabio Somenzi |
CirCUs: A Hybrid Satisfiability Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT (Selected Papers ![In: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 211-223, 2004, Springer, 3-540-27829-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
75 | Adnan Sherif, Jifeng He 0001 |
Towards a Time Model for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 613-624, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
75 | Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001 |
Refinement in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 451-470, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
unifying theories of programming, distribution, CSP, Z |
75 | Wendy G. Lehnert, Claire Cardie, David Fisher, Joseph F. McCarthy, Ellen Riloff, Stephen Soderland |
University of Massachusetts: description of the CIRCUS system as used for MUC-4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 4th Conference on Message Understanding, MUC 1992, McLean, Virginia, USA, June 16-18, 1992, pp. 282-288, 1992, ACL, 1-55860-273-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
70 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Unifying classes and processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(3), pp. 277-296, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Integration, Refinement, CSP, Z |
69 | Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001 |
A Circus Semantics for Ravenscar Protected Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 617-635, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus |
58 | Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran |
Control Law Diagrams in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 253-268, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
58 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
The Semantics of Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 184-203, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Wendy G. Lehnert, Claire Cardie, David Fisher, Ellen Riloff, Robert Williams 0001 |
University of Massachusetts: description of the CIRCUS system as used for MUC-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 3rd Conference on Message Understanding, MUC 1991, San Diego, California, USA, May 21-23, 1991, pp. 223-233, 1991, ACL, 1-55860-236-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
46 | Emmanuel Pietriga, Jean-Yves Vion-Dury, Vincent Quint |
VXT: a visual approach to XML transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2001 ACM Symposium on Document Engineering, Atlanta, Georgia, USA, November 9-10, 2001, pp. 1-10, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML transformations, XML, XSLT, zoomable user interfaces, visual programming languages, circus |
45 | Abderrahmane Feliachi |
Semantics-Based Testing for Circus. (Test basé sur la sémantique pour Circus). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
40 | Pawel Gancarski, Andrew Butterfield |
The Denotational Semantics of slotted-Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 451-466, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Don Kimber, Eleanor Gilbert Rieffel, Jim Vaughan, John Doherty |
Virtual physics circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 1109-1110, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
virtual reality, design, education, mixed reality, art, physics |
40 | Ana Cavalcanti 0001, Phil Clayton |
Verification of Control Systems using Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 269-278, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
40 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
A Refinement Strategy for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 146-181, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
35 | Stergios V. Anastasiadis, Rajiv Wickremesinghe, Jeffrey S. Chase |
Rethinking FTP: Aggressive block reordering for large file transfers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 4(4), pp. 13:1-13:27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
file transfer protocols, scheduling, Disk access |
35 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
The Steam Boiler in a Unified Theory of Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 291-298, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Maryam Saadat-Safa, Patrick Schaumont, Shahin Tajik |
Parasitic Circus: On the Feasibility of Golden Free PCB Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.12252, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Kohei Kikuchi, Norihisa Fujita, Ryohei Kobayashi, Taisuke Boku |
Implementation and Performance Evaluation of Collective Communications Using CIRCUS on Multiple FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPC Asia Workshops ![In: Proceedings of the HPC Asia 2023 Workshops, HPC Asia 2023, Singapore, 27 February 2023 - 2 March 2023, pp. 15-23, 2023, ACM, 978-1-4503-9989-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda |
UTP, Circus, and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theories of Programming and Formal Methods ![In: Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, pp. 19-51, 2023, Springer, 978-3-031-40435-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Oren Sultan, Dafna Shahaf |
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.12197, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | The Alliance of Digital Humanities Organizations |
Response to "The circus we deserve? A front row look at the organization of the annual academic conference for the Digital Humanities". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Humanit. Q. ![In: Digit. Humanit. Q. 16(4), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Laura Estill, Jennifer Guiliano, Élika Ortega, Melissa Terras, Deb Verhoeven, Glen Layne-Worthey |
The circus we deserve? A front row look at the organization of the annual academic conference for the Digital Humanities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Humanit. Q. ![In: Digit. Humanit. Q. 16(4), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Oren Sultan, Dafna Shahaf |
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, EMNLP 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022., pp. 3547-3562, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Oscar Peña, Franceli L. Cibrian, Monica Tentori |
Circus in Motion: a multimodal exergame supporting vestibular therapy for children with autism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multimodal User Interfaces ![In: J. Multimodal User Interfaces 15(3), pp. 283-299, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Ryuta Kashino, Ryohei Kobayashi, Norihisa Fujita, Taisuke Boku |
Performance Evaluation of OpenCL-Enabled Inter-FPGA Optical Link Communication Framework CIRCUS and SMI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPC Asia ![In: HPC Asia 2021: The International Conference on High Performance Computing in Asia-Pacific Region, Virtual Event, Republic of Korea, January 20-21, 2021, pp. 23-31, 2021, ACM, 978-1-4503-8842-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Fan Shi, Timon Homberger, Joonho Lee, Takahiro Miki, Moju Zhao, Farbod Farshidian, Kei Okada, Masayuki Inaba, Marco Hutter 0001 |
Circus ANYmal: A Quadruped Learning Dexterous Manipulation with Its Limbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pp. 2316-2323, 2021, IEEE, 978-1-7281-9077-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Fan Shi, Timon Homberger, Joonho Lee, Takahiro Miki, Moju Zhao, Farbod Farshidian, Kei Okada, Masayuki Inaba, Marco Hutter 0001 |
Circus ANYmal: A Quadruped Learning Dexterous Manipulation with Its Limbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.08811, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Tim Beyne, Yu Long Chen, Christoph Dobraunig, Bart Mennink |
Dumbo, Jumbo, and Delirium: Parallel Authenticated Encryption for the Lightweight Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Symmetric Cryptol. ![In: IACR Trans. Symmetric Cryptol. 2020(S1), pp. 5-30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mikhail Afanasov, Naveed Anwar Bhatti, Dennis Campagna, Giacomo Caslini, Fabio Massimo Centonze, Koustabh Dolui, Andrea Maioli, Erica Barone, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola |
Battery-less zero-maintenance embedded sensing at the mithræum of circus maximus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020, pp. 368-381, 2020, ACM, 978-1-4503-7590-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Laia Turmo Vidal, Elena Márquez Segura, Luis Parrilla Bel, Annika Waern |
Training Technology Probes Across Fitness Practices: Yoga, Circus and Weightlifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, CHI 2020, Honolulu, HI, USA, April 25-30, 2020, pp. 1-8, 2020, ACM, 978-1-4503-6819-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Patrick Roche, Collin J. Goldbach, Alix Putman, Jeffrey A. Jalkio, Katie Kimball, AnnMarie P. Thomas |
Circus Science: Designing Responsive Flying Trapeze Performance Costumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: TEI '20: Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction, Sydney, NSW, Australia, February 9-12, 2020, pp. 551-556, 2020, ACM, 978-1-4503-6107-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Vincent Conitzer |
Puzzle: the AI circus: (puzzle in honor of Tuomas Sandholm's 50th birthday). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 17(2), pp. 76-77, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Alvaro Miyazawa, Ana Cavalcanti 0001, Andy J. Wellings |
SCJ-Circus: Specification and refinement of Safety-Critical Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 181, pp. 140-176, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Artur Oliveira Gomes, Andrew Butterfield |
Circus2CSP: A Tool for Model-Checking Circus Using FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 235-242, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Artur Oliveira Gomes, Andrew Butterfield |
Towards a Model-Checker for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 217-234, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Elena Márquez Segura, Laia Turmo Vidal, Luis Parrilla Bel, Annika Waern |
Circus, Play and Technology Probes: Training Body Awareness and Control with Children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the 2019 on Designing Interactive Systems Conference, DIS 2019, San Diego, CA, USA, June 23-28, 2019., pp. 1223-1236, 2019, ACM, 978-1-4503-5850-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Elena Márquez Segura, Annika Waern, Luis Parrilla Bel, Laia Turmo Vidal |
Super Trouper: The Playful Potential of Interactive Circus Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY (Companion) ![In: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, Barcelona, Spain, October 22-25, 2019, pp. 511-518, 2019, ACM, 978-1-4503-6871-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Mirjam Vosmeer, Alyea Sandovar |
Circus Noel: A Case Study into Interaction and Interface Design for Cinematic VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2018 - 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17-20, 2018, Proceedings, pp. 223-227, 2018, Springer, 978-3-319-99425-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Gabriele Guidi 0001, Laura Loredana Micoli, Umair Shafqat Malik |
4D reconstruction by multi-source data fusion: the case of the hidden Roman Circus in Milan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DigitalHERITAGE/VSMM ![In: 3rd Digital Heritage International Congress, held jointly with 24th International Conference on Virtual Systems & Multimedia, DigitalHERITAGE/VSMM 2018, San Francisco, CA, USA, October 26-30, 2018, pp. 1-8, 2018, IEEE, 978-1-7281-0292-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Lukman H. Iwan, James A. Thom |
Temporal video segmentation: detecting the end-of-act in circus performance videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 76(1), pp. 1379-1401, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Kangfeng Ye, Jim Woodcock 0001 |
Model checking of state-rich formalism Circus by linking to CSP ‖ B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 19(1), pp. 73-96, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alex D. B. Alberto, Ana Cavalcanti 0001, Marie-Claude Gaudel, Adenilso Simão |
Formal mutation testing for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 81, pp. 131-153, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon |
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Formal Methods in Human-Computer Interaction ![In: The Handbook of Formal Methods in Human-Computer Interaction., pp. 465-504, 2017, Springer International Publishing, 978-3-319-51837-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci 0001, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva |
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FM ![In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016., pp. 1-19, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Artur Oliveira Gomes, Andrew Butterfield |
Modelling the Haemodialysis Machine with Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 409-424, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 71-86, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Elise Lemle, Katherine Bomkamp, Marcella Klein Williams, Elizabeth Cutbirth |
Two Bit Circus and the Future of Entertainment ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
DOI RDF |
|
23 | Hsin Huang, Hsin-Chien Huang, Chun-Feng Liao, Ying-Chun Li, Tzu-Chieh Tsai, Li-jia Teng, Shih-Wei Wang |
Future circus: a performer-guided mixed-reality performance art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp/ISWC Adjunct ![In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka, Japan, September 7-11, 2015, pp. 551-556, 2015, ACM, 978-1-4503-3575-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Delphine Naquin, Yves d'Aubenton-Carafa, Claude Thermes, Maud Silvain |
CIRCUS: a package for Circos display of structural genome variations from paired-end and mate-pair sequencing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 15, pp. 198, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti 0001, Andy J. Wellings |
Circus Models for Safety-Critical Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 57(7), pp. 1046-1091, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | J. Serradilla, J. Q. Shi, Y. Cheng, Graham Morgan, C. Lambden, Janet A. Eyre |
Automatic assessment of upper limb function during play of the action video game, circus challenge: validity and sensitivity to change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SeGAH ![In: 3nd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014, Rio de Janeiro, Brazil, May 14-16, 2014, pp. 1-7, 2014, IEEE Computer Society, 978-1-4799-4823-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Kun Wei, Jim Woodcock 0001 |
Towards Algebraic Semantics of Circus Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers, pp. 84-104, 2014, Springer, 978-3-319-14805-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Ludvig Elblaus, Maurizio Goina, Marie-Andrée Robitaille, Roberto Bresin |
Modes of Sonic Interaction in Circus: Three Proofs of Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014, 2014, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho |
Model-Checking Circus State-Rich Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 39-54, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Alexandre Mota 0001, Adalberto Farias, André Didier, Jim Woodcock 0001 |
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 235-249, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Data Flow Coverage for Circus-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 415-429, 2014, Springer, 978-3-642-54803-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Ana Cavalcanti 0001, Frank Zeyda, Andy J. Wellings, Jim Woodcock 0001, Kun Wei |
Safety-critical Java programs from Circus models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 49(5), pp. 614-667, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
The Circus Testing Theory Revisited in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, pp. 131-147, 2013, Springer, 978-3-642-41201-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Kun Wei |
Reactive Designs of Interrupts in Circus Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 373-390, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel |
Isabelle/Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Andrés Frias-Velázquez, Carlos Ortiz, Aleksandra Pizurica, Wilfried Philips, Gustavo Cerda |
Object identification by using orthonormal circus functions from the trace transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 19th IEEE International Conference on Image Processing, ICIP 2012, Lake Buena Vista, Orlando, FL, USA, September 30 - October 3, 2012, pp. 2153-2156, 2012, IEEE, 978-1-4673-2534-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Isabelle/Circus: A Process Specification and Verification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings, pp. 243-260, 2012, Springer, 978-3-642-27704-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Kun Wei, Jim Woodcock 0001, Ana Cavalcanti 0001 |
Circus Time with Reactive Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers, pp. 68-87, 2012, Springer, 978-3-642-35704-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Chris Marriott, Frank Zeyda, Ana Cavalcanti 0001 |
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 294-307, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | S. L. M. Barrocas, Marcel Oliveira |
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 15-36, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Testing for refinement in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 48(2), pp. 97-147, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran |
From control law diagrams to Ada via Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(4), pp. 465-512, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Michael J. Banks, Jeremy L. Jacob |
Specifying Confidentiality in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 215-230, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ana Cavalcanti 0001, Andy J. Wellings, Jim Woodcock 0001, Kun Wei, Frank Zeyda |
Safety-critical Java in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011, pp. 20-29, 2011, ACM, 978-1-4503-0731-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Kun Wei, Jim Woodcock 0001, Alan Burns 0001 |
Timed Circus: Timed CSP with the Miracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 55-64, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Yukihiro Nomura, Naoto Hayashi, Yoshitaka Masutani, Takeharu Yoshikawa, Mitsutaka Nemoto, Shohei Hanaoka, Soichiro Miki, Eriko Maeda, Kuni Ohtomo |
CIRCUS: an MDA Platform for Clinical Image Analysis in Hospitals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mass Data Anal. Images Signals ![In: Trans. Mass Data Anal. Images Signals 2(1), pp. 112-127, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Pawel Gancarski, Andrew Butterfield |
Prioritized slotted-Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, pp. 91-105, 2010, Springer, 978-3-642-14807-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Specification Coverage for Testing in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings, pp. 1-45, 2010, Springer, 978-3-642-16689-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Frank Zeyda, Ana Cavalcanti 0001 |
Automating Refinement of Circus Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 274-290, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Kun Wei, Jim Woodcock 0001, Alan Burns 0001 |
A Timed Model of Circus with the Reactive Design Miracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010, pp. 315-319, 2010, IEEE Computer Society, 978-0-7695-4153-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Robert J. Gluck |
Silver Apples, Electric Circus, Electronic Arts, and Commerce in Late 1960s New York. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2009 International Computer Music Conference, ICMC 2009, Montreal, Quebec, Canada, August 16-21, 2009, 2009, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Helena M. Mentis, Mary Beth Rosson |
"It's like a circus in here!": affect and information sharing in an emergency department. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4423-4428, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
collaboration, emotion, information sharing |
23 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
Compositional Specification of Parallel Components Using Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 47-72, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Marcel Oliveira, Ana Cavalcanti 0001 |
ArcAngelC: a Refinement Tactic Language for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 203-229, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ana Cavalcanti 0001 |
Stateflow Diagrams in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008, pp. 23-41, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Frank Zeyda, Ana Cavalcanti 0001 |
Encoding Circus Programs in ProofPowerZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers, pp. 218-237, 2008, Springer, 978-3-642-14520-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro |
CRefine: Support for the Circus Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 281-290, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Michael Eisenberg |
Computational Diversions: Circus Maximus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. Learn. ![In: Int. J. Comput. Math. Learn. 12(2), pp. 167-171, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Joe Marshall |
Eye-balls: computer vision in the circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 6th Conference on Creativity & Cognition, Washington, DC, USA, June 13-15, 2007, pp. 290, 2007, ACM, 978-1-59593-712-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
juggling, performance, computer vision, art |
23 | Manuela Xavier, Ana Cavalcanti 0001, Augusto Sampaio |
Type Checking Circus Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006, pp. 75-93, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Denotational Semantics for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 107-123, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Junko Kawashima |
Monster farm 5 circus caravan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Computer Animation Festival ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2006, Boston, Massachusetts, USA, July 30 - August 3, 2006, Computer Animation Festival, pp. 238, 2006, ACM, 978-1-59593-364-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|