io-port.net

io-port 05970356 Simao, Adenilso (ed.); Morgan, Carroll (ed.)

Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26‒30, 2011. Revised selected papers. (English)

Lecture Notes in Computer Science 7021. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). x, 205~p. EUR~49.22 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70883029 Latulipe, Celine; Carroll, Erin A.; Lottridge, Danielle M.

Love, hate, arousal and engagement: exploring audience responses to performing arts (English)

CHI, 1845-1854 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70885977 Latulipe, Celine; Carroll, Erin A.; Lottridge, Danielle M.

Evaluating longitudinal projects combining technology with temporal arts (English)

CHI, 1835-1844 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71013055 Carroll, Erin A.; Latulipe, Celine

Capturing ’in the moment’ creativity through data triangulation (English)

Creativity & Cognition, 321-322 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71013231 Carroll, Erin A.

Convergence of self-report and physiological responses for evaluating creativity support tools (English)

Creativity & Cognition, 455-456 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71013254 Singh, Vikash; Latulipe, Celine; Carroll, Erin A.; Lottridge, Danielle M.

The choreographer’s notebook: a video annotation system for dancers and choreographers (English)

Creativity & Cognition, 197-206 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71013475 Latulipe, Celine; Wilson, David; Gonzalez, Berto; Harris, Adam; Carroll, Erin A.; Huskey, Sybil; Word, Melissa; Beasley, Robert; Nifong, Nathan

Soundpainter (English)

Creativity & Cognition, 439-440 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70880721 Latulipe, Celine; Wilson, David C.; Huskey, Sybil; Word, Melissa; Carroll, Arthur; Carroll, Erin A.; Gonzalez, Berto; Singh, Vikash; Wirth, Mike; Lottridge, Danielle M.

Exploring the design space in technology-augmented dance (English)

CHI Extended Abstracts, 2995-3000 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05590805 Leucker, Martin (ed.); Morgan, Carroll (ed.)

Theoretical aspects of computing ‒ ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16‒20, 2009. Proceedings. (English)

Lecture Notes in Computer Science 5684. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). xii, 357~p. EUR~56.66 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70886791 Carroll, Erin A.; Latulipe, Celine

The creativity support index (English)

CHI Extended Abstracts, 4009-4014 (2009).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71013190 Carroll, Erin A.; Latulipe, Celine; Fung, Richard; Terry, Michael A.

Creativity factor evaluation: towards a standardized survey metric for creativity support (English)

Creativity & Cognition, 127-136 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70967492 Wilson, David C.; Lipford, Heather Richter; Carroll, Erin A.; Karr, Pamela; Najjar, Nadia

Charting new ground: modeling user behavior in interactive geovisualization (English)

GIS, 61 (2008).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50340647 Kahai, Surinder S.; Carroll, Elizabeth; Jestice, Rebecca

Team collaboration in virtual worlds (English)

DATA BASE 38, No. 4, 61-68 (2007).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70668766 Carroll, Edward R.

Estimating software based on use case points (English)

OOPSLA Companion, 257-265 (2005).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01878568 McIver, Annabelle (ed.); Morgan, Carroll (ed.)

Programming methodology. (English)

Monographs in Computer Science. New York, NY: Springer. xvii, 469 p. EUR 69.95/net; \sterling 49.00; sFr 116.50; \$ 64.95 (2003).

Classification: D.0 D.1 F.3.1 A.1 Reviewer: Ivan Martinec (Praha)

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 00738375 Morgan, Carroll (ed.); Vickers, Trevor (ed.)

On the refinement calculus. (English)

Formal Approaches to Computing and Information Technology (FACIT). Berlin: Springer-Verlag. xi, 159 p. DM 68.00; öS 530.40; sFr 75.00 (1994).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 00497680 Morgan, Carroll (ed.); Vickers, Trevor (ed.)

On the refinement calculus. 2nd printing. (English)

Formal Approaches to Computing and Information Technology (FACIT). London: Springer-Verlag. xi, 159 p. DM 68.00; öS 530.40; sFr 75.00 (1994).

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 00478086 Bird, Richard S. (ed.); Morgan, C.Carroll (ed.); Woodcock, James C.P. (ed.)

Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings. (English)

Lecture Notes in Computer Science. 669. Berlin: Springer-Verlag. VIII, 378 p. DM 72.00 /sc (1993).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 00049800 Morgan, Carroll (ed.); Woodcock, Jim C. P. (ed.)

3rd refinement workshop. Proceedings, 9-11 January 1990, Hursley Park, GB. (English)

Workshops in Computing. London etc.: Springer-Verlag (in coll. with the British Computer Society) (ISBN 3-540-19624-2). VII, 197~p. DM~60.00 (1991).

19

PDF XML AMS-TeX TEXT BIBTeX

io-port 03782818 Coleman, N.P.; Carroll, E.; Lee, D.; Lee, K.

Applications of delay feedback in control systems design. (English)

Trans. 26th Conf. Army Math., Hanover/N.H. 1980, ARO Rep. 81-1, 115-140 (1981).

20

PDF XML AMS-TeX TEXT BIBTeX