AAAAAA

   
Results: 1-11 |
Results: 11
STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH
Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P
Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625
ON THE LEARNABILITY OF INFINITARY REGULAR SETS
Authors: MALER O PNUELI A
Citation: O. Maler et A. Pnueli, ON THE LEARNABILITY OF INFINITARY REGULAR SETS, Information and computation, 118(2), 1995, pp. 316-326
MAGNETO-CHARGE-TRANSPORT FROM TWISTING ARGUMENTS
Authors: PNUELI A
Citation: A. Pnueli, MAGNETO-CHARGE-TRANSPORT FROM TWISTING ARGUMENTS, Journal of physics. A, mathematical and general, 28(7), 1995, pp. 2015-2024
SPECIAL ISSUE ON HYBRID SYSTEMS - PREFACE
Authors: PNUELI A SIFAKIS J
Citation: A. Pnueli et J. Sifakis, SPECIAL ISSUE ON HYBRID SYSTEMS - PREFACE, Theoretical computer science, 138(1), 1995, pp. 1-2
REACHABILITY ANALYSIS OF DYNAMICAL-SYSTEMS HAVING PIECEWISE-CONSTANT DERIVATIVES
Authors: ASARIN E MALER O PNUELI A
Citation: E. Asarin et al., REACHABILITY ANALYSIS OF DYNAMICAL-SYSTEMS HAVING PIECEWISE-CONSTANT DERIVATIVES, Theoretical computer science, 138(1), 1995, pp. 35-65
TEMPORAL PROOF METHODOLOGIES FOR TIMED TRANSITION-SYSTEMS
Authors: HENZINGER TA MANNA Z PNUELI A
Citation: Ta. Henzinger et al., TEMPORAL PROOF METHODOLOGIES FOR TIMED TRANSITION-SYSTEMS, Information and computation, 112(2), 1994, pp. 273-337
ADIABATIC CHARGE-TRANSPORT, THE ETA INVARIANT, AND HALL CONDUCTANCE FOR SPINORS
Authors: PNUELI A
Citation: A. Pnueli, ADIABATIC CHARGE-TRANSPORT, THE ETA INVARIANT, AND HALL CONDUCTANCE FOR SPINORS, Journal of physics. A, mathematical and general, 27(7), 1994, pp. 2593-2604
SPINORS AND SCALARS ON RIEMANN SURFACES
Authors: PNUELI A
Citation: A. Pnueli, SPINORS AND SCALARS ON RIEMANN SURFACES, Journal of physics. A, mathematical and general, 27(4), 1994, pp. 1345-1352
PROVING PARTIAL ORDER PROPERTIES
Authors: PELED D PNUELI A
Citation: D. Peled et A. Pnueli, PROVING PARTIAL ORDER PROPERTIES, Theoretical computer science, 126(2), 1994, pp. 143-182
SCATTERING MATRICES AND CONDUCTANCES OF LEAKY TORI
Authors: PNUELI A
Citation: A. Pnueli, SCATTERING MATRICES AND CONDUCTANCES OF LEAKY TORI, Annals of physics, 231(1), 1994, pp. 56-83
MODELS FOR REACTIVITY
Authors: MANNA Z PNUELI A
Citation: Z. Manna et A. Pnueli, MODELS FOR REACTIVITY, Acta informatica, 30(7), 1993, pp. 609-678
Risultati: 1-11 |