I agree that this site is using cookies. You can find further informations here.
X
Baxter, James
87  results:
Bookchapter (Online) X
Search for persons X
?
1

Model-Based Engineering for Robotics with RoboChart and Rob..:

, In: Formal Methods for an Informal World; Lecture Notes in Computer Science,
Cavalcanti, Ana ; Attala, Ziggy ; Baxter, James.. - p. 106-151 , 2023
Link: https://doi.org/10.1007/..
 
?
2

RoboWorld: Where Can My Robot Work?:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Cavalcanti, Ana ; Baxter, James ; Carvalho, Gustavo - p. 3-22 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Evergreen Review, 1957–1984: Beckett and the American 'Unde..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 27-101 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Paul Auster, Lydia Davis and Beckett's Post-Millennial Lega..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 209-241 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Problems and Pratfalls: Robert Coover, Donald Barthelme and..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 103-131 , 2021
Link: https://doi.org/10.1007/..
 
?
6

A 'Postmodern Icon'?:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 243-255 , 2021
Link: https://doi.org/10.1007/..
 
?
7

'…between zero and one': Opposing Tendencies in the Exhaust..:

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 133-169 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Beckett in America: 'somehow not the right country…':

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 1-25 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Don DeLillo's Reinvention of 'Beckett World':

, In: Samuel Beckett's Legacies in American Fiction,
Baxter, James - p. 171-207 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Automated Algebraic Reasoning for Collections and Local Var..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,
Foster, Simon ; Baxter, James - p. 100-116 , 2020
Link: https://doi.org/10.1007/..
 
?
11

RoboStar Technology: A Roboticist's Toolbox for Combined Pr..:

, In: Software Engineering for Robotics,
Cavalcanti, Ana ; Barnett, Will ; Baxter, James... - p. 249-293 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Testing Robots Using CSP:

, In: Tests and Proofs; Lecture Notes in Computer Science,
Cavalcanti, Ana ; Baxter, James ; Hierons, Robert M.. - p. 21-38 , 2019
Link: https://doi.org/10.1007/..
 
?
13

The Role of Excipients in the Microstructure of Topical Sem..:

, In: The Role of Microstructure in Topical Drug Product Development; AAPS Advances in the Pharmaceutical Sciences Series,
Ethier, Amy ; Bansal, Padam ; Baxter, James... - p. 155-193 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Automating Verification of State Machines with Reactive Des..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Foster, Simon ; Baxter, James ; Cavalcanti, Ana.. - p. 137-155 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Safety-Critical Java Virtual Machine Services:

, In: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems,
Baxter, James ; Cavalcanti, Ana ; Wellings, Andy. - p. 1-10 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15