E-LIB Suche - Ergebnisse für: Aiken, Alexander

1

P23 The SMASH survey: Subscription Models for Antibiotics i..:

Baltas, Ioannis ; Gilchrist, Mark ; Aiken, Alexander
JAC-Antimicrobial Resistance. 5 (2023) Supplement_1 - p. , 2023

2

Abstracts from the 6th Infection Control Africa Network Con..:

Wangai, Helen ; Kiberenge, Felister ; Elobu, Alex...
Antimicrobial Resistance & Infection Control. 6 (2017) S1 - p. , 2017

Link: https://doi.org/10.1186/..

3

The Imported Fever Service; a UK-wide system for improved m..:

Aiken, Alexander ; Lambourne, Jonathan ; Semper, Amanda...
Journal of Infection. 67 (2013) 4 - p. 346-347 , 2013

Link: https://doi.org/10.1016/..

4

The first-order theory of subtyping constraints:

Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim..
ACM SIGPLAN Notices. 37 (2002) 1 - p. 203-216 , 2002

Link: https://doi.org/10.1145/..

5

The first-order theory of subtyping constraints:

, In: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim.. - p. 203-216 , 2002

Link: https://dl.acm.org/doi/1..

6

DataSplash: A Direct Manipulation Environment for Programmi..:

WOODRUFF, ALLISON ; OLSTON, CHRIS ; AIKEN, ALEXANDER...
Journal of Visual Languages & Computing. 12 (2001) 5 - p. 551-571 , 2001

Link: https://doi.org/10.1006/..

7

Type systems for distributed data structures:

, In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Liblit, Ben ; Aiken, Alexander - p. 199-213 , 2000

Link: https://dl.acm.org/doi/1..

8

Detecting races in Relay Ladder Logic programs:

Aiken, Alexander ; Fähndrich, Manuel ; Su, Zhendong
International Journal on Software Tools for Technology Transfer. 3 (2000) 1 - p. 93-105 , 2000

Link: https://doi.org/10.1007/..

9

Projection merging : reducing redundancies in inclusion ..:

, In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Su, Zhendong ; Fähndrich, Manuel ; Aiken, Alexander - p. 81-95 , 2000

Link: https://dl.acm.org/doi/1..

10

Introduction to set constraint-based program analysis:

Aiken, Alexander
Science of Computer Programming. 35 (1999) 2-3 - p. 79-111 , 1999

Link: https://doi.org/10.1016/..

11

A theory of type qualifiers:

, In: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation,

Foster, Jeffrey S. ; Fähndrich, Manuel ; Aiken, Alexander - p. 192-203 , 1999

Link: https://dl.acm.org/doi/1..

12

A theory of type qualifiers:

Foster, Jeffrey S. ; Fähndrich, Manuel ; Aiken, Alexander
ACM SIGPLAN Notices. 34 (1999) 5 - p. 192-203 , 1999

Link: https://doi.org/10.1145/..

13

DataSplash:

, In: Proceedings of the 1998 ACM SIGMOD international conference on Management of data,

Olston, Chris ; Woodruff, Allison ; Aiken, Alexander... - p. 550-552 , 1998

Link: https://dl.acm.org/doi/1..

14

Partial online cycle elimination in inclusion constraint gr..:

, In: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation,

Fähndrich, Manuel ; Foster, Jeffrey S. ; Su, Zhendong. - p. 85-96 , 1998

Link: https://dl.acm.org/doi/1..

15

DataSplash:

Olston, Chris ; Woodruff, Allison ; Aiken, Alexander...
ACM SIGMOD Record. 27 (1998) 2 - p. 550-552 , 1998

Link: https://doi.org/10.1145/..