Efficient verification using generalized partial order analysis

Proceedings Design, Automation and Test in Europe ◽

10.1109/date.1998.655947 ◽

2002 ◽

Author(s):

S. Vercauteren ◽

D. Verkest ◽

G. de Jong ◽

B. Lin

Keyword(s):

Partial Order ◽

Order Analysis ◽

Efficient Verification

Download Full-text

Efficient verification of security protocols using partial-order reductions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-002-0103-4 ◽

2003 ◽

Vol 4 (2) ◽

pp. 173-188 ◽

Author(s):

Edmund Clarke ◽

Somesh Jha ◽

Will Marrero

Keyword(s):

Partial Order ◽

Security Protocols ◽

Efficient Verification

Download Full-text

QSAR, Complex Networks, Principal Components and Partial Order Analysis of Drug Cardiotoxicity with Proteome Mass- Spectra Topological Indices

Recent Trends on QSAR in the Pharmaceutical Perceptions ◽

10.2174/978160805379711201010003 ◽

2012 ◽

pp. 3-50

Keyword(s):

Complex Networks ◽

Partial Order ◽

Principal Components ◽

Mass Spectra ◽

Topological Indices ◽

Download Full-text

PyHasse Software for Partial Order Analysis: Scientific Background and Description of Selected Modules

Multi-indicator Systems and Modelling in Partial Order ◽

10.1007/978-1-4614-8223-9_19 ◽

2013 ◽

pp. 389-423 ◽

Author(s):

Rainer Brüggemann ◽

Lars Carlsen ◽

Kristina Voigt ◽

Ralf Wieland

Keyword(s):

Partial Order ◽

Order Analysis ◽

Scientific Background

Download Full-text

Partial-order analysis of fiscal capacity of states

Journal of Applied Statistics ◽

10.1080/757582837 ◽

1990 ◽

Vol 17 (2) ◽

pp. 255-262

Author(s):

William F. Roller

Keyword(s):

Partial Order ◽

Fiscal Capacity ◽

Download Full-text

Partial Order Analysis of the Government Dependence of the Sustainable Development Performance in Germany’s Federal States

Partial Order Concepts in Applied Sciences ◽

10.1007/978-3-319-45421-4_15 ◽

2016 ◽

pp. 219-228

Author(s):

Alexander Hilckmann ◽

Vanessa Bach ◽

Rainer Bruggemann ◽

Robert Ackermann ◽

Matthias Finkbeiner

Keyword(s):

Sustainable Development ◽

Partial Order ◽

The Sustainable Development ◽

Federal States ◽

Order Analysis ◽

Download Full-text

Partial order analysis of crime indicators

Social Indicators Research ◽

10.1007/bf00574618 ◽

1985 ◽

Vol 16 (2) ◽

pp. 195-199 ◽

Author(s):

Shlomit Levy

Keyword(s):

Partial Order ◽

Download Full-text

Responsible consumption and production in the European Union. A partial order analysis of Eurostat SDG 12 data

Green Finance ◽

10.3934/gf.2021003 ◽

2021 ◽

Vol 3 (1) ◽

pp. 28-45

Author(s):

Lars Carlsen ◽

Keyword(s):

European Union ◽

Partial Order ◽

The European Union ◽

Order Analysis ◽

Responsible Consumption

Download Full-text

A Spatial Typology of Israel on the Basis of Partial-Order Analysis

Geographical Analysis ◽

10.1111/j.1538-4632.1986.tb00105.x ◽

2010 ◽

Vol 18 (4) ◽

pp. 324-342 ◽

Author(s):

Gabriel Lipshitz

Keyword(s):

Partial Order ◽

Download Full-text

A Rank Order Analysis of the Symptoms of Alcoholism

Quarterly Journal of Studies on Alcohol ◽

10.15288/qjsa.1958.19.636 ◽

1958 ◽

Vol 19 (4) ◽

pp. 636-648 ◽

Author(s):

Harrison M. Trice ◽

J. Richard Wahl

Keyword(s):

Download Full-text

Moment Restraint and Second- Order Analysis of a Cantilevered Precast Column Supported by an Isolated Footing

PCI Journal ◽

10.15554/pcij.11012002.80.93 ◽

2002 ◽

Vol 47 (6) ◽

pp. 80-93 ◽

Author(s):

J. Dario Aristizabal-Ochoa

Keyword(s):

Second Order ◽

Order Analysis ◽

Download Full-text