Winskel, H.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

A representation result for free cocompletions

A.John Power, Gian Luca Cattani, Glynn Winskel

Journal:

Journal of Pure and Applied Algebra

Year:

2000

Language:

english

File:

PDF, 110 KB

english, 2000

52

Presheaf models for CCS-like languages

Gian Luca Cattani, Glynn Winskel

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 450 KB

english, 2003

53

Models for concurrency: towards a classification

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.19 MB

english, 1996

54

An Operational Understanding of Bisimulation from Open Maps

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 29 KB

english, 1998

55

Compositional checking of satisfaction

Henrik Reif Andersen, Glynn Winskel

Journal:

Formal Methods in System Design

Year:

1992

Language:

english

File:

PDF, 1.49 MB

english, 1992

56

Reading in Thai: the case of misaligned vowels

Heather Winskel

Journal:

Reading and Writing

Year:

2009

Language:

english

File:

PDF, 1.63 MB

english, 2009

57

Reading and spelling acquisition in Thai children

Heather Winskel, Kanyarat Iemwanthong

Journal:

Reading and Writing

Year:

2010

Language:

english

File:

PDF, 2.20 MB

english, 2010

58

On powerdomains and modality

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 620 KB

english, 1985

59

A note on model checking the modal ν-calculus

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 695 KB

english, 1991

60

Limit Preservation from Naturality

Mario Caccamo, Glynn Winskel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 334 KB

english, 2005

61

Event Structures with Symmetry

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 676 KB

english, 2007

62

The Acquisition of Temporal Reference Cross-Linguistically Using Two Acting-Out Comprehension Tasks

Heather Winskel

Journal:

Journal of Psycholinguistic Research

Year:

2004

Language:

english

File:

PDF, 171 KB

english, 2004

63

Towards effective partnerships in a collaborative problem-solving task

Megan J. Schmitz, Heather Winskel

Journal:

British Journal of Educational Psychology

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

64

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Relations in Concurrency

Year:

2005

Language:

english

File:

PDF, 291 KB

english, 2005

65

CCS with Priority Choice

J. Camilleri, G. Winskel

Journal:

Information and Computation

Year:

1995

File:

PDF, 736 KB

1995

66

Bisimulation from Open Maps

André Joyal, Mogens Nielsen, Glynn Winskel

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 778 KB

english, 1996

67

GUEST EDITORIAL

Journal:

Information and Computation

Year:

2002

File:

PDF, 19 KB

2002

68

Deterministic concurrent strategies

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 232 KB

english, 2012

69

Theory and design of a mechanical blackbody for solar radiation

P.L. Winskell, S.T. Hsu

Journal:

Year:

1959

Language:

english

File:

PDF, 683 KB

english, 1959

70

Petri nets, algebras, morphisms, and compositionality

Journal:

Information and Computation

Year:

1987

Language:

english

File:

PDF, 2.09 MB

english, 1987

71

Domain theoretic models of polymorphism

Thierry Coquand, Carl Gunter, Glynn Winskel

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 2.12 MB

english, 1989

72

A compositional proof system on a category of labelled transition systems

Journal:

Information and Computation

Year:

1990

Language:

english

File:

PDF, 2.71 MB

english, 1990

73

Using information systems to solve recursive domain equations

Kim Guldstrand Larsen, Glynn Winskel

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.51 MB

english, 1991

74

Brendan Dooley,Editors, ,Energy and culture: perspectives on the power to work, Brendan Dooley (Ed.) (2006) Ashgate Publishing,Aldershot, UK 0 7546 4514 2 264 pp., £60.00.

Journal:

Science of The Total Environment

Year:

2007

Language:

english

File:

PDF, 93 KB

english, 2007

75

Making sense of condoms: Social representations in young people’s HIV-related narratives from six African countries

Kate Winskell, Oby Obyerodhyambo, Rob Stephenson

Journal:

Social Science & Medicine

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

76

Comparing HIV-related symbolic stigma in six African countries: Social representations in young people’s narratives

Kate Winskell, Elizabeth Hill, Oby Obyerodhyambo

Journal:

Social Science & Medicine

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

77

A relational model of non-deterministic dataflow

HILDEBRANDT, THOMAS T., PANANGADEN, PRAKASH, WINSKEL, GLYNN

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 708 KB

english, 2004

78

Learning pathways for energy supply technologies: Bridging between innovation studies and learning rates

Winskel, Mark, Markusson, Nils, Jeffrey, Henry, Candelise, Chiara, Dutton, Geoff, Howarth, Paul, Jablonski, Sophie, Kalyvas, Christos, Ward, David

Journal:

Technological Forecasting and Social Change

Year:

2014

Language:

english

File:

PDF, 658 KB

english, 2014

79

Innovation and cost reduction for marine renewable energy: A learning investment sensitivity analysis

MacGillivray, Andrew, Jeffrey, Henry, Winskel, Mark, Bryden, Ian

Journal:

Technological Forecasting and Social Change

Year:

2014

Language:

english

File:

PDF, 1.83 MB

english, 2014

80

Corrigendum to “Learning pathways for energy supply technologies: Bridging between innovation studies and learning rates”

Winskel, Mark, Markusson, Nils, Jeffrey, Henry, Candelise, Chiara, Dutton, Geoff, Howarth, Paul, Jablonski, Sophie, Kalyvas, Christos, Ward, David

Journal:

Technological Forecasting and Social Change

Year:

2014

Language:

english

File:

PDF, 150 KB

english, 2014

81

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Structural recursive definitions in type theory

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 608 KB

english, 1998

82

Language Socialization of the Child through Caretaker-Child Personal Narratives: A Comparison of Thai and English

Winskel, H., Luksaneeyanawin, S., Yangklang, P.

Journal:

Year:

2006

Language:

english

File:

PDF, 245 KB

english, 2006

83

[Lecture Notes in Computer Science] Seminar on Concurrency Volume 197 || Lectures on a calculus for communicating systems

Brookes, Stephen D., Roscoe, Andrew William, Winskel, Glynn

Year:

1985

Language:

english

File:

PDF, 1.48 MB

english, 1985

84

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On computing the entropy of cellular automata

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 626 KB

english, 1998

85

Remaking the UK's energy technology innovation system: From the margins to the mainstream

Winskel, Mark, Radcliffe, Jonathan, Skea, Jim, Wang, Xinxin

Journal:

Year:

2014

Language:

english

File:

PDF, 1.24 MB

english, 2014

86

On Concurrent Games with Payoff

Clairambault, Pierre, Winskel, Glynn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 322 KB

english, 2013

87

Distributed Probabilistic and Quantum Strategies

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

88

On the determinacy of concurrent games on event structures with infinite winning sets

Gutierrez, Julian, Winskel, Glynn

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 362 KB

english, 2014

89

Reading and Writing in Southeast Asian Languages

Winskel, Heather

Journal:

Procedia - Social and Behavioral Sciences

Year:

2013

Language:

english

File:

PDF, 347 KB

english, 2013

90

Reducing the Cognitive Complexity in Reading the Arabic Script of Written Malay via Diacritics

Salehuddin, Khazriyati, Winskel, Heather

Journal:

Procedia - Social and Behavioral Sciences

Year:

2014

Language:

english

File:

PDF, 265 KB

english, 2014

91

Testing the flexibility of the modified receptive field (MRF) theory: Evidence from an unspaced orthography (Thai)

Winskel, Heather, Perea, Manuel, Peart, Emma

Journal:

Acta Psychologica

Year:

2014

Language:

english

File:

PDF, 599 KB

english, 2014

92

Notice to contributors

Winskel, Heather, Perea, Manuel, Peart, Emma

Journal:

Journal of Medieval History

Year:

1983

Language:

english

File:

PDF, 266 KB

english, 1983

93

How do Arab Speakers Cognitively Process Malay in the Arabic Script?

Salehuddin, Khazriyati, Winskel, Heather

Journal:

Procedia - Social and Behavioral Sciences

Year:

2014

Language:

english

File:

PDF, 213 KB

english, 2014

94

Containment in Rule-Based Models

Thompson-Walsh, C.D., Hayman, J., Winskel, G.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 351 KB

english, 2012

95

Analysing Uncertainties for CCS: From Historical Analogues to Future Deployment Pathways in the UK

Chalmers, Hannah, Gibbins, Jon, Gross, Rob, Haszeldine, Stuart, Heptonstall, Phil, Kern, Florian, Markusson, Nils, Pearson, Peter, Watson, Jim, Winskel, Mark

Journal:

Energy Procedia

Year:

2013

Language:

english

File:

PDF, 998 KB

english, 2013

96

Autonomy's End: Nuclear Power and the Privatization of the British Electricity Supply Industry

Journal:

Social Studies of Science

Year:

2002

Language:

english

File:

PDF, 2.55 MB

english, 2002

97

When Systems Are Overthrown: The 'Dash for Gas' in the British Electricity Supply Industry

Journal:

Social Studies of Science

Year:

2002

Language:

english

File:

PDF, 2.83 MB

english, 2002

98

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Quantum counting

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 621 KB

english, 1998

99

Constraining rule-based dynamics with types

DANOS, VINCENT, HARMER, RUSS, WINSKEL, GLYNN

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 325 KB

english, 2013

100

The emotional Stroop task and emotionality rating of negative and neutral words in late Thai–English bilinguals

Winskel, Heather

Journal:

International Journal of Psychology

Year:

2013

Language:

english

File:

PDF, 199 KB

english, 2013