BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
animation
Google animation

Tag #animation

148 papers:

CoGCIG-2018-StreckW #markov #using
Using Discrete Time Markov Chains for Control of Idle Character Animation (AS, TW), pp. 1–4.
ICPRICPR-2018-XiaoW #network #speech
Dense Convolutional Recurrent Neural Network for Generalized Speech Animation (LX, ZW), pp. 633–638.
AIIDEAIIDE-2016-DurupinarWNB #game studies
An Environment for Transforming Game Character Animations Based on Nationality and Profession Personality Stereotypes (FD, KW, AN, NIB), pp. 155–161.
CoGVS-Games-2016-LiangDCZCT #game studies #generative #interactive #ontology
Ontology-Based Interactive Animation/Game Generation for Chinese Shadow Play Preservation (HL, SD, JC, JJZ0, CC, RT), pp. 1–9.
CoGVS-Games-2016-LiangDCZCT16a #game studies #generative #interactive #ontology
Ontology-Based Interactive Animation/Game Generation for Chinese Shadow Play Preservation (HL, SD, JC, JJZ0, CC, RT), pp. 1–9.
MoDELSMoDELS-2016-DasGJBHD #code generation #development #embedded #modelling #monitoring #realtime #runtime
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
HCIHIMI-IKC-2015-MakiY #3d #artificial reality #definite clause grammar
Virtual Aquarium: Mixed Reality Consisting of 3DCG Animation and Underwater Integral Photography (NM, KY), pp. 447–456.
HCILCT-2015-AltanC #analysis #education
An Eye-Tracking Analysis of Spatial Contiguity Effect in Educational Animations (TA, ), pp. 3–13.
SACSAC-2015-JoselliJC #data type #gpu #named #proximity
NGrid: a proximity data structure for fluids animation with GPU computing (MJ, JRdSJ, EC), pp. 1303–1308.
TAPTAP-2015-DutleMNB #validation
Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
CHICHI-2014-0002ACC #3d #named
MotionMontage: a system to annotate and combine motion takes for 3D animations (AG, MA, BC, MFC), pp. 2017–2026.
CHICHI-2014-NakajimaSI #authoring
Offline painted media for digital animation authoring (MN, DS, TI), pp. 321–330.
HCIHCI-AS-2014-MurrayWHSMGBTSCSH #interactive #people #physics #process #question
Can a Theory-Informed Interactive Animation Increase Intentions to Engage in Physical Activity in Young People with Asthma? (JM, BW, GH, SS, JM, DG, GB, ST, FS, LC, AS, SH), pp. 289–300.
HCILCT-NLE-2014-BattaiolaAP #design #education #process
Canvas to Improve the Design Process of Educational Animation (ALB, MMA, REP), pp. 13–24.
ICPRICPR-2014-MustiZP #3d #estimation #image #speech #visual notation
Facial 3D Shape Estimation from Images for Visual Speech Animation (UM, ZZ, MP), pp. 40–45.
ICPRICPR-2014-PanagiotakisAM #novel #segmentation
Temporal Segmentation and Seamless Stitching of Motion Patterns for Synthesizing Novel Animations of Periodic Dances (CP, AAA, DM), pp. 1892–1897.
LOPSTRLOPSTR-2014-SharafAF #constraints #named
CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
SACSAC-2014-CimanGG #case study #development #mobile #platform
Cross-platform mobile development: a study on apps with animations (MC, OG, NG), pp. 757–759.
FDGFDG-2013-Serra
Intelligent facial animation (JS), pp. 493–495.
CoGVS-Games-2013-DuarteRCM #3d #evaluation #framework #overview
Survey and Evaluation of Mpeg-4 Based 3D Character Animation Frameworks (RLPD, AER, CC0, MM), pp. 1–8.
CHICHI-2013-SaNC #mobile
Mobile advertising: evaluating the effects of animation, user and content relevance (MdS, VN, EFC), pp. 2487–2496.
ITiCSEITiCSE-2012-MussaiL #concept #learning #object-oriented
An animation as an illustrate tool for learning concepts in oop (YM, NL), p. 386.
ITiCSEITiCSE-2012-Rosenbloom
Breadth first search (animation and obstacle avoidance) (AR), p. 375.
ITiCSEITiCSE-2012-Urquiza-FuentesV #education #effectiveness
Comparing the effectiveness of different educational uses of program animations (JUF, JÁVI), pp. 174–179.
ICPRICPR-2012-HirokiPS #development #interface
A puppet interface for the development of an intuitive computer animation system (NH, NP, MS), pp. 3136–3139.
SACSAC-2012-DandamudiWH #comprehension #framework #source code
An animation framework for improving the comprehension of TinyOS programs (SD, SKW, JOH), pp. 1625–1631.
ITiCSEITiCSE-2011-Djordjevic #java
Animation projects in CS1 from scheme to Java (MD), p. 343.
ITiCSEITiCSE-2011-RosslingMS #algorithm #automation #named
AnimalSense: combining automated exercise evaluations with algorithm animations (GR, MM, JS), pp. 298–302.
ITiCSEITiCSE-2011-Urquiza-FuentesMVR #compilation #education
Improving compilers education through symbol tables animations (JUF, FM, JÁVI, MRS), pp. 203–207.
FDGFDG-2011-HashI #experience
Reactive animation and gameplay experience (CH, KI), pp. 328–330.
FDGFDG-2011-Maraffi #approach #design #named
Performatology: an arts approach to designing performative embodied agents (PEAs) for procedural character animation (CTM), pp. 235–237.
CoGVS-Games-2011-KravtsovFAPC #approach #game studies #hybrid #interactive
A New Hybrid Approach to the Animation of Complex Character Interactions in Games (DK, OF, VA, AAP, PC), pp. 8–15.
CoGVS-Games-2011-MoyaGTCR #3d
Animation of 3D Avatars for Rehabilitation of the Upper Limbs (SM, SG, DT, RC, MR), pp. 168–171.
CHICHI-2011-KaziCZDL #multi #named
SandCanvas: a multi-touch art medium inspired by sand animation (RHK, KCC, SZ, RCD, KLL), pp. 1283–1292.
HCIIDGD-2011-AndaloV
Animating Our Island’s Culture — Spreading and Socializing Our Island’s Culture through Digital Animation (FA, MLHV), pp. 467–472.
ASEASE-2011-MacleanIG #correctness #functional #pointer #source code
The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
SOFTVISSOFTVIS-2010-ChengTWH #automation #debugging #named
xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
SEKESEKE-2010-Yeh #human-computer #interactive #learning
The effects of human-computer interaction modes for weak learners in an animation learning environment (YFY), pp. 18–23.
ECMFAECMFA-2010-CregutCPFP #framework #generative #platform
Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
DATEDATE-2010-GrottesiMRB #parallel
Parallel subdivision surface rendering and animation on the Cell BE processor (RG, SM, MR, LB), pp. 178–183.
FDGFDG-2009-BastenE #distance #metric
Evaluating distance metrics for animation blending (BJHvB, AE), pp. 199–206.
CASECASE-2009-JohnsonM #automation #optimisation #synthesis #using
Automated trajectory synthesis from animation data using trajectory optimization (ERJ, TDM), pp. 274–279.
MBTMBT-2009-DadeauT #named #testing
jSynoPSys — A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines (FD, RT), pp. 117–132.
ITiCSEITiCSE-2008-Moreno #process
Program animation activities in Moodle (AM), p. 361.
ITiCSEITiCSE-2008-Velazquez-IturbidePU #algorithm #named #recursion
SRec: an animation system of recursion for algorithm courses (JÁVI, APC, JUF), pp. 225–229.
AIIDEAIIDE-2008-Horswill #interactive #lightweight #physics
Lightweight Procedural Animation with Believable Physical Interactions (IH).
GT-VCGT-VC-2007-ErmelE08 #behaviour
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
SACSAC-2008-NogueiraVN
A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SACSAC-2008-RochaR #evaluation #using
An evaluation of a collision handling system using sphere-trees for plausible rigid body animation (RdSR, MAFR), pp. 1241–1245.
ICLPICLP-2008-CliffeVBP #declarative #named #programming #set #using #visualisation
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.
ITiCSEITiCSE-2007-AdelmannBL #framework #idea #interactive #named #performance #sketching
IDEA: a framework for the fast creation of interactive animations by pen sketching (RA, TB, TL), pp. 291–295.
ITiCSEITiCSE-2007-RosslingKS #algorithm #flexibility #generative #performance
Easy, fast, and flexible algorithm animation generation (GR, SK, SS), p. 357.
SIGITESIGITE-2007-GuimaraesM #database #education #security #using
Using animation courseware in the teaching of database security (MAMG, MM), pp. 253–258.
CoGCIG-2007-HastingsGS #design #representation
NEAT Particles: Design, Representation, and Animation of Particle System Effects (EJH, RKG, KOS), pp. 154–160.
HCIDHM-2007-GeTYS #3d #modelling
Color 3D Digital Human Modeling and Its Applications to Animation and Anthropometry (BzG, QgT, KDY, YcS), pp. 82–91.
HCIDHM-2007-KurodaOKTOY #coordination
Finding Origin Points for New Coordinate System Suitable for Sign Animation (TK, KO, RK, TT, NO, HY), pp. 415–422.
HCIHCI-IDU-2007-WangSJRA
Perception of Movements and Transformations in Flash Animations of Older Adults (LW, HS, LJ, PLPR, YA), pp. 966–975.
HCIOCSC-2007-VilhjalmssonMS #composition #social #towards
Social Puppets: Towards Modular Social Animation for Agents and Avatars (HHV, CM, PS), pp. 192–201.
SACSAC-2007-NunesVN #flexibility #representation
A flexible representation of controllers for physically-based animation of virtual humans (RFN, CAV, JBCN), pp. 30–36.
ICLPICLP-2007-West #logic programming #programming language #specification #using
The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.
ITiCSEITiCSE-2006-Boisvert #communication #development #web
Web animation to communicate iterative development (CB), pp. 173–177.
ITiCSEITiCSE-2006-Moses #approach #programming
Animation programming: an alternative approach to CS1 (LM), p. 317.
SCAMSCAM-2006-BinkleyHK #approximate #static analysis
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
SOFTVISSOFTVIS-2006-KaravirtaKM #algorithm #taxonomy
Taxonomy of algorithm animation languages (VK, AK, LM), pp. 77–85.
SOFTVISSOFTVIS-2006-LiuV #control flow #debugging #low level
Animation of control flow for low-level debugging (HL, FSV), pp. 157–158.
SOFTVISSOFTVIS-2006-RhodesKR #algorithm #comprehension #interactive
The importance of interactive questioning techniques in the comprehension of algorithm animations (PR, EK, BR), pp. 183–184.
SOFTVISSOFTVIS-2006-SajaniemiBG #object-oriented #source code
Metaphor-based animation of OO programs (JS, PB, PG), pp. 173–174.
ICPRICPR-v1-2006-BeaumesnilL #3d #realtime
Real Time Tracking for 3D Realistic Lip Animation (BB, FL), pp. 219–222.
ICPRICPR-v1-2006-BuenaposadaM #independence #performance #using
Performance driven facial animation using illumination independent appearance-based tracking (JMB, EM), pp. 303–306.
ICPRICPR-v1-2006-XieL #markov #modelling #speech #using
Speech Animation Using Coupled Hidden Markov Models (LX, ZQL), pp. 1128–1131.
ITiCSEITiCSE-2005-Urquiza-FuentesV #reuse
Reusable collections of web-based program animations (JUF, JÁVI), p. 386.
FMFM-2005-BouquetDLU #ml #specification
Symbolic Animation of JML Specifications (FB, FD, BL, MU), pp. 75–90.
DiGRADiGRA-2005-ValliusM #design #game studies
Between a rock and a hard place - the role of animation design in game production (LV, TM).
SOFTVISSOFTVIS-2005-JohannesSW #algorithm #analysis #using #visualisation
Algorithm animation using shape analysis: visualising abstract executions (DJ, RS, RW), pp. 17–26.
ICSEICSE-2005-ChatleyUKM #requirements #validation #web
Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
DocEngDocEng-2004-KingST #behaviour #functional #programming #realtime #xml
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.
ITiCSEITiCSE-2004-MorenoMBS
Program animation in jeliot 3 (AM, NM, MBA, ES), p. 265.
CHICHI-2004-HamalainenLNH #named
Animaatiokone: an installation for creating clay animation (PH, ML, AN, JH), pp. 17–24.
ICPRICPR-v1-2004-CoskerMRH #markov #speech #using
Speech Driven Facial Animation using a Hidden Markov Coarticulation Model (DC, ADM, PLR, YH), pp. 128–131.
RERE-2004-UchitelCKM #requirements #validation
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
RERE-2004-VanLMP #requirements
Goal-Oriented Requirements Animation (HTV, AvL, PM, CP), pp. 218–228.
TACASTACAS-2004-Muller-OlmY #game studies #model checking #named
MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.
ITiCSEITiCSE-2003-Sojka
Animations in PDF (PS), p. 263.
SEFMSEFM-2003-McCombS #specification #using
Animation of Object-Z Specifications Using a Z Animator (TM, GS), p. 191–?.
SEFMSEFM-2003-MillerS #process #specification #testing
Supporting the Software Testing Process through Specification Animation (TM, PAS), pp. 14–23.
SOFTVISSOFTVIS-2003-SajaniemiK
Program Animation Based on the Roles of Variables (JS, MK), pp. 7–16.
LOPSTRLOPSTR-2003-Ellman #automaton #hybrid #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 54–55.
ASEASE-2003-Ellman #automaton #hybrid #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.
FASEFASE-2003-GargantiniR #automation #modelling #specification
Automatic Model Driven Animation of SCR Specifications (AG, ER), pp. 294–309.
IWPCIWPC-2002-BurdOW #comprehension #diagrams #sequence chart #using
Evaluating Using Animation to Improve Understanding of Sequence Diagrams (EB, DO, AW), pp. 107–113.
ICPRICPR-v2-2002-KovacsS #detection #probability
Creating Animations Combining Stochastic Paintbrush Transformation and Motion Detection (LK, TS), p. 1090–?.
ASEASE-2002-EllmanDF #knowledge-based #simulation #source code #synthesis
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.
ITiCSEITiCSE-2001-CiesielskiM #algorithm #learning #student #using
Using animation of state space algorithms to overcome student learning difficulties (VC, PM), pp. 97–100.
ITiCSEITiCSE-2001-KoldehofeT #distributed #interactive #using
Using actors in an interactive animation in a graduate course on distributed system (BK, PT), pp. 149–152.
ITiCSEITiCSE-2001-KorhonenMS #algorithm #concept #matrix #named #simulation
Matrix — concept animation and algorithm simulation system (AK, LM, RS), p. 180.
VISSOFTSVIS-2001-Ben-AriMST
Perspectives on Program Animation with Jeliot (MBA, NM, ES, JT), pp. 31–45.
VISSOFTSVIS-2001-FleischerK #algorithm #education
Algorithm Animation for Teaching (RF, LK), pp. 113–128.
VISSOFTSVIS-2001-Francik #algorithm #data flow #using
Algorithm Animation Using Data Flow Tracing (JF), pp. 73–87.
VISSOFTSVIS-2001-KerrenS #algorithm
Algorithm Animation — Introduction (AK, JTS), pp. 1–15.
VISSOFTSVIS-2001-Tal #algorithm
Algorithm Animation Systems for Constrained Domains (AT), pp. 101–112.
DACDAC-2001-Najork #algorithm
Web-based Algorithm Animation (MN), pp. 506–511.
ITiCSEITiCSE-2000-RosslingSF #algorithm
The ANIMAL algorithm animation tool (GR, MS, BF), pp. 37–40.
IWPCIWPC-2000-Sneed #comprehension
Source Animation as a Means of Program Comprehension (HMS), pp. 179–187.
IFMIFM-2000-Bowen #hardware #logic programming #semantics #specification
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
ICPRICPR-v4-2000-MiyasakaKHA #3d #image #metric #re-engineering #realtime
Reconstruction of Realistic 3D Surface Model and 3D Animation from Range Images Obtained by Real Time 3D Measurement System (TM, KK, MH, KA), pp. 4594–4598.
ICSEICSE-2000-MageePGK #behaviour #modelling #visual notation
Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.
SACSAC-2000-LimT #evolution #interactive #problem
Solve Customers’ Problems: Interactive Evolution for Tinkering with Computer Animation (ISL, DT), pp. 404–407.
ITiCSEITiCSE-1999-SternSN #algorithm #complexity
A strategy for managing content complexity in algorithm animation (LS, HS, LN), pp. 127–130.
CIAAWIA-1999-BrauneDKW #automaton #finite #generative #learning
Animation of the Generation and Computation of Finite Automata for Learning Software (BB, SD, AK, RW), pp. 39–47.
AGTIVEAGTIVE-1999-RodgersV #algorithm #graph
Graph Algorithm Animation with Grrr (PJR, NV), pp. 379–393.
HCIHCI-EI-1999-KawanoK #comprehension
The Effects of Facial Expression on Understanding Japanese Sign Language Animation (SK, TK), pp. 783–787.
HCIHCI-EI-1999-SegenK #gesture #interactive #interface #using
Dextrous Interaction with Computer Animations using Vision-Based Gesture Interface (JS, SK), pp. 281–285.
UMLUML-1999-GogollaRR #3d #diagrams #towards #uml
Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.
PADLPADL-1999-Elliott #functional
From Functional Animation to Sprite-Based Display (CE), pp. 61–75.
ITiCSEITiCSE-1998-DybdahlST #on the
On animation features of Excel (AD, ES, JT), pp. 77–80.
ICPRICPR-1998-BernoggerYBP #eye tracking
Eye tracking and animation for MPEG-4 coding (SB, LY, AB, AP), pp. 1281–1284.
ICPRICPR-1998-NagelWWL #3d #automation #modelling
Automated modelling of real human faces for 3D animation (BN, JW, SW, CEL), pp. 693–696.
PPDPALP-PLILP-1998-Elliott #functional #implementation
Functional Implementations of Continuos Modeled Animation (CE), pp. 284–299.
AdaSIGAda-1998-Crawford #algorithm
Algorithm Animation with Symbol Processing Robots (BSC), pp. 217–218.
AdaSIGAda-1998-JarcF #ada #algorithm #data type #empirical
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course (DJJ, MBF), pp. 68–74.
ASEASE-1998-HazelST #requirements #specification #using #verification
Requirements Engineering and Verification using Specification Animation (DH, PAS, OT), pp. 302–305.
SACSAC-1998-RobbinsR #information management #using #visualisation
Web-based dynamic information visualization using exact-time animation (KAR, SR), pp. 744–751.
ITiCSEITiCSE-1997-RautamaST #algorithm
Excel as an algorithm animation environment (ER, ES, JT), pp. 24–26.
ICFPICFP-1997-ElliottH #functional
Functional Reactive Animation (CE, PH), pp. 263–273.
HCIHCI-SEC-1997-JonesD #interface #named #realtime
MARTI: Man-Machine Animation Real-Time Interface: The Illusion of Life (CMJ, SSD), pp. 841–844.
ITiCSEITiCSE-1996-JacksonM #algorithm #network
Algorithm animation of neural networks (DJ, IGM), pp. 39–41.
ITiCSEITiCSE-1996-Rodger
Integrating animations into courses (SHR), pp. 72–74.
ITiCSEITiCSE-1996-WilsonAK #algorithm #comprehension #overview
Review of animation systems for algorithm understanding (JDW, RMA, IRK), pp. 75–77.
CHICHI-1996-Gonzalez #question #user interface
Does Animation in User Interfaces Improve Decision Making? (CG), pp. 27–34.
CHICHI-1995-HalgrenFT
Amazing Animation: Movie Making for Kids (SLH, TF, DT), pp. 519–524.
CHICHI-1995-KurlanderL #interface
Planning-Based Control of Interface Animation (DK, DTL), pp. 472–479.
ASEKBSE-1995-Ledru #specification
Specification and Animation of a Bank Transfer (YL), pp. 192–199.
HCIHCI-SHI-1993-MoriiKT #detection #evaluation #eye tracking #realtime #using
Evaluation of a Gaze Using Real-Time CG Eye-Animation Combined with Eye Movement Detector (KM, FK, NT), pp. 1103–1108.
HCIHCI-SHI-1993-MorishimaH #communication #human-computer #synthesis
Facial Animation Synthesis for Human-Machine Communication System (SM, HH), pp. 1085–1090.
CHIINTERCHI-1993-StaskoBL #algorithm #analysis #empirical #learning
Do algorithm animations assist learning?: an empirical study and analysis (JTS, ANB, CL), pp. 61–66.
CAiSECAiSE-1993-CroshereRB #communication #information management #simulation
An Animation Facility to Simulate an Information and Communication System (RC, RPvdR, AB), pp. 547–568.
SEKESEKE-1993-CanforaCCS #ada #interactive #reverse engineering #source code
Reverse Engineering and Interactive Animation of Ada Programs (GC, AC, UdC, LS), pp. 507–516.
TOOLSTOOLS-EUROPE-1993-HillG #multi #object-oriented #simulation
A Multi-Domain Tool for Object-Oriented Simulation Animation (DRCH, MG), pp. 181–195.
TOOLSTOOLS-PACIFIC-1993-Peeters #design #implementation #interactive #object-oriented
Design and Implementation of an Object-Oriented, Interactive Animation System (EP), pp. 255–267.
ICSEICSE-1993-MukherjeaS #algorithm #comprehension #debugging
Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding (SM, JTS), pp. 456–465.
TOOLSTOOLS-PACIFIC-1992-NobleG
An Introduction to the Tarraingím Program Animation Environment (JN, LG), pp. 37–50.
RTARTA-1991-Billaud #graph grammar #interactive #named #term rewriting
ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities (MB), pp. 437–438.
CHICHI-1991-RobertsonMC91a #3d #interactive #using #visualisation
Information visualization using 3D interactive animation (GGR, JDM, SKC), pp. 461–462.
CHICHI-1991-Stasko #algorithm #using
Using direct manipulation to build algorithm animations by demonstration (JTS), pp. 307–314.
PPDPPLILP-1991-Loyola #debugging #execution #logic programming
Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.
ICLPISLP-1991-FeldmanS #debugging #visual notation
Temporal Debugging and its Visual Animation (YF, EYS), pp. 3–17.
ICSEICSE-1990-CostaCB #logic
Logical Animation (MCC, JC, JB), pp. 144–149.
FPCAFPCA-1989-Arya #functional #process
Processes in a Functional Animation System (KA), pp. 382–395.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.