Paul B. Gastin: search on Z-Library

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

Don't use scam websites

51

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 291 KB

english, 2010

52

Decidability of well-connectedness for distributed synthesis

Gastin, Paul, Sznajder, Nathalie

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 215 KB

english, 2012

53

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Kleene, Rabin, and Scott Are Available

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

54

Event clock message passing automata: a logical characterization and an emptiness checking algorithm

Akshay, S., Bollig, Benedikt, Gastin, Paul

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.35 MB

english, 2013

55

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || From Multi to Single Stack Automata

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

56

Adding pebbles to weighted automata: Easy specification & efficient evaluation

Gastin, Paul, Monmege, Benjamin

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 614 KB

english, 2014

57

Temporal logics for concurrent recursive programs: Satisfiability and model checking

Bollig, Benedikt, Cyriac, Aiswarya, Gastin, Paul, Zeitoun, Marc

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 423 KB

english, 2014

58

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Concurrency and Composition in a Stochastic World

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 329 KB

english, 2010

59

Predicting higher selection in elite junior Australian Rules football: The influence of physical performance and anthropometric attributes

Robertson, Sam, Woods, Carl, Gastin, Paul

Journal:

Journal of Science and Medicine in Sport

Year:

2014

Language:

english

File:

PDF, 451 KB

english, 2014

60

Convergent validity of a novel method for quantifying rowing training loads

Tran, Jacqueline, Rice, Anthony J., Main, Luana C., Gastin, Paul B.

Journal:

Journal of Sports Sciences

Year:

2015

Language:

english

File:

PDF, 154 KB

english, 2015

61

Validity of a trunk-mounted accelerometer to assess peak accelerations during walking, jogging and running

Wundersitz, Daniel W. T., Gastin, Paul B., Richter, Chris, Robertson, Samuel J., Netto, Kevin J.

Journal:

European Journal of Sport Science

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

62

Late maturers at a performance disadvantage to their more mature peers in junior Australian football

Gastin, Paul B., Bennett, Gary

Journal:

Journal of Sports Sciences

Year:

2014

Language:

english

File:

PDF, 229 KB

english, 2014

63

A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS

DIEKERT, VOLKER, GASTIN, PAUL, KUFLEITNER, MANFRED

Journal:

International Journal of Foundations of Computer Science

Year:

2008

Language:

english

File:

PDF, 2.00 MB

english, 2008

64

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Communicating Transactions

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 275 KB

english, 2010

65

A simple process algebra based on atomic actions with resources

GASTIN, PAUL, MISLOVE, MICHAEL

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 640 KB

english, 2004

66

Pebble Weighted Automata and Weighted Logics

Bollig, Benedikt, Gastin, Paul, Monmege, Benjamin, Zeitoun, Marc

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 507 KB

english, 2014

67

Fair Synthesis for Asynchronous Distributed Systems

Gastin, Paul, Sznajder, Nathalie

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 552 KB

english, 2013

68

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Logical characterization of weighted pebble walking automata

Bollig, Benedikt, Gastin, Paul, Monmege, Benjamin, Zeitoun, Marc

Year:

2014

Language:

english

File:

PDF, 414 KB

english, 2014

69

Checking conformance for time-constrained scenario-based specifications

Akshay, S., Gastin, Paul, Mukund, Madhavan, Narayan Kumar, K.

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 739 KB

english, 2015

70

AN EFFICIENT CRASH-TOLERANT SEQUENTIAL TRAVERSAL

GASTIN, PAUL, VILLAIN, VINCENT

Journal:

Parallel Processing Letters

Year:

1993

Language:

english

File:

PDF, 482 KB

english, 1993

71

Play Reviews

Liston, William, Taylor, Kathy, Smith, Peter, Peterson, Kaara, Debax, Jean-Paul, Niayesh, Ladan, Boquet, Guy, Schwartz-Gastine, Isabelle

Journal:

Cahiers Élisabéthains

Year:

2001

File:

PDF, 11.69 MB

2001

72

A unifying survey on weighted logics and weighted automata

Gastin, Paul, Monmege, Benjamin

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2015

Language:

english

File:

PDF, 703 KB

english, 2015

73

Increase in Injury Risk with Low Body Mass and Aerobic-Running Fitness in Elite Australian Football

Gastin, Paul B., Meyer, Denny, Huntsman, Emy, Cook, Jill

Journal:

International Journal of Sports Physiology and Performance

Year:

2015

Language:

english

File:

PDF, 306 KB

english, 2015

74

Profiling the Training Practices and Performance of Elite Rowers

Tran, Jacqueline, Rice, Anthony J., Main, Luana C., Gastin, Paul B.

Journal:

International Journal of Sports Physiology and Performance

Year:

2015

Language:

english

File:

PDF, 464 KB

english, 2015

75

Predictors of Individual Player Match Performance in Junior Australian Football

Tangalos, Christie, Robertson, Samuel J., Spittle, Michael, Gastin, Paul B.

Journal:

International Journal of Sports Physiology and Performance

Year:

2015

Language:

english

File:

PDF, 3.21 MB

english, 2015

76

Red, Amber or Green? Athlete Monitoring in Team Sport: The Need for Decision Support Systems

Robertson, Samuel, Bartlett, Jonathan D., Gastin, Paul B.

Journal:

International Journal of Sports Physiology and Performance

Year:

2016

Language:

english

File:

PDF, 529 KB

english, 2016

77

Match running performance and skill execution improves with age but not the number of disposals in young Australian footballers

Gastin, Paul B., Tangalos, Christie, Torres, Lorena, Robertson, Sam

Journal:

Journal of Sports Sciences

Year:

2017

Language:

english

File:

PDF, 1.42 MB

english, 2017

78

Rule modification in junior sport: Does it create differences in player movement?

Gastin, Paul B., Allan, Matthew D., Bellesini, Kylie, Spittle, Michael

Journal:

Journal of Science and Medicine in Sport

Year:

2017

Language:

english

File:

PDF, 509 KB

english, 2017

79

L’hyponatrémie modérée potentiellement médicamenteuse du sujet âgé : bénéfice de la réduction des médicaments

Paul, Laure Peyro Saint, Martin, Jocelyne, Gaillard, Cathy, Mosquet, Brigitte, Coquerel, Antoine, de la Gastine, Blandine

Journal:

Year:

2013

Language:

french

File:

PDF, 195 KB

french, 2013

80

Validity of the ActiGraph GT3X+ and BodyMedia SenseWear Armband to estimate energy expenditure during physical activity and sport

Gastin, Paul B., Cayzer, Cassy, Dwyer, Dan, Robertson, Sam

Journal:

Journal of Science and Medicine in Sport

Year:

2017

Language:

english

File:

PDF, 482 KB

english, 2017

81

An automata-theoretic approach to the verification of distributed algorithms

Aiswarya, C., Bollig, Benedikt, Gastin, Paul

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 1.62 MB

english, 2017

82

The Training Load of Aerial Skiing

Keaney, Eliza, Withers, Sylvie, Parker-Simmons, Susie, Gastin, Paul, Netto*, Kevin

Journal:

International Journal of Performance Analysis in Sport

Year:

2016

Language:

english

File:

PDF, 576 KB

english, 2016

83

Development of a golf-specific load monitoring tool: Content validity and feasibility

Williams, Scott B., Gastin, Paul B., Saw, Anna E., Robertson, Sam

Journal:

European Journal of Sport Science

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

84

The incidence, prevalence, severity, mechanism and body region of injury in elite junior Australian football players: A prospective cohort study over one season

Lathlean, Timothy J.H., Gastin, Paul B., Newstead, Stuart V., Finch, Caroline F.

Journal:

Journal of Science and Medicine in Sport

Year:

2018

Language:

english

File:

PDF, 768 KB

english, 2018

85

The influence of match characteristics and experience on decision-making performance in AFL umpires

Corrigan, Sean L., Dwyer, Dan B., Harvey, Briana, Gastin, Paul B.

Journal:

Journal of Science and Medicine in Sport

Year:

2018

Language:

english

File:

PDF, 543 KB

english, 2018

86

Athlete Self-Report Measure Use and Associated Psychological Alterations

Saw, Anna, Main, Luana, Robertson, Sam, Gastin, Paul

Journal:

Year:

2017

Language:

english

File:

PDF, 223 KB

english, 2017

87

Inertial Sensors are a Valid Tool to Detect and Consistently Quantify Jumping

Spangler, Rhys, Rantalainen, Timo, Gastin, Paul, Wundersitz, Daniel

Journal:

International Journal of Sports Medicine

Year:

2018

Language:

english

File:

PDF, 358 KB

english, 2018

88

The Australian high performance and sport science workforce: A national profile

Dwyer, Dan B., Bellesini, Kylie, Gastin, Paul, Kremer, Peter, Dawson, Andrew

Journal:

Journal of Science and Medicine in Sport

Year:

2018

Language:

english

File:

PDF, 409 KB

english, 2018

89

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Regular Transducer Expressions for Regular Transformations

Dave, Vrunda, Gastin, Paul, Krishna, Shankara Narayanan

Year:

2018

Language:

english

File:

PDF, 1.46 MB

english, 2018

90

Australian Football League Injury Characteristics Differ Between Matches and Training: A Longitudinal Analysis of Changes in the Setting, Site, and Time Span From 1997 to 2016

Hoffman, Daniel T., Dwyer, Dan B., Tran, Jacqueline, Clifton, Patrick, Gastin, Paul B.

Journal:

Orthopaedic Journal of Sports Medicine

Year:

2019

Language:

english

File:

PDF, 523 KB

english, 2019

91

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Timed Systems through the Lens of Logic

Akshay, S., Gastin, Paul, Juge, Vincent, Krishna, Shankara Narayanan

Year:

2019

Language:

english

File:

PDF, 52 KB

english, 2019

92

Construct validity and reliability of the Talent Development Environment Questionnaire in Caribbean youth track and field athletes

Thomas, Candice E., Abbott, Gavin, Gastin, Paul B., Main, Luana C., Brazo-Sayavera, Javier

Journal:

Year:

2020

File:

PDF, 541 KB

2020

93

IMPACT OF THE TALENT DEVELOPMENT ENVIRONMENT ON THE WELLBEING AND BURNOUT OF CARIBBEAN YOUTH TRACK AND FIELD ATHLETES

Thomas, Candice E, Gastin, Paul B, Abbott, Gavin, Main, Luana C

Journal:

European Journal of Sport Science

Year:

2020

File:

PDF, 710 KB

2020

94

Machine Learning Enabled Team Performance Analysis in the Dynamical Environment of Soccer

Kusmakar, Shitanshu, Shelyag, Sergiy, Zhu, Ye, Dwyer, Dan, Gastin, Paul, Angelova, Maia

Journal:

Year:

2020

File:

PDF, 1.91 MB

2020

95

Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic

Bollig, Benedikt, Fortin, Marie, Gastin, Paul

Journal:

Journal of Computer and System Sciences

Year:

2020

File:

PDF, 875 KB

2020