Article

A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time

Authors:

J. Mitchell,

M. Mitchell,

A. ScedrovAuthors Info & Claims

FOCS '98: Proceedings of the 39th Annual Symposium on Foundations of Computer Science

Page 725

Published: 08 November 1998 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Heraud SNowak D(2011)A formalization of polytime functionsProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033952(119-134)Online publication date: 22-Aug-2011
https://dl.acm.org/doi/10.5555/2033939.2033952
Dal Lago UParisen Toldin P(2011)A higher-order characterization of probabilistic polynomial timeProceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis10.1007/978-3-642-32495-6_1(1-18)Online publication date: 19-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-32495-6_1
Nowak DZhang Y(2010)A calculus for game-based security proofsProceedings of the 4th international conference on Provable security10.5555/1927915.1927920(35-52)Online publication date: 13-Oct-2010
https://dl.acm.org/doi/10.5555/1927915.1927920
Show More Cited By

Recommendations

Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time

In this paper we study planar polynomial differential systems of this form: dXdt=X@?=A(X,Y),dYdt=Y@?=B(X,Y), where A,B@?Z[X,Y] and degA@?d, degB@?d, @?A@?"~@?H and@?B@?"~@?H. A lot of properties of planar polynomial differential systems are related to ...
Characterisation of titanium disilicide thin films

Properties of TiN/TiSi"2 thin films prepared on phosphorus-doped Si (100) substrates by sputtering of Ti film followed by a rapid thermal annealing in NH"3 atmosphere at different conditions were studied. Thickness of as-deposited Ti layers was 40 and ...
Electrodeposition and Characterisation of Nickel, Germanium and Tin Thin Films

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FOCS '98: Proceedings of the 39th Annual Symposium on Foundations of Computer Science

November 1998

ISBN:0818691727

Publisher

IEEE Computer Society

United States

Publication History

Published: 08 November 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Heraud SNowak D(2011)A formalization of polytime functionsProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033952(119-134)Online publication date: 22-Aug-2011
https://dl.acm.org/doi/10.5555/2033939.2033952
Dal Lago UParisen Toldin P(2011)A higher-order characterization of probabilistic polynomial timeProceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis10.1007/978-3-642-32495-6_1(1-18)Online publication date: 19-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-32495-6_1
Nowak DZhang Y(2010)A calculus for game-based security proofsProceedings of the 4th international conference on Provable security10.5555/1927915.1927920(35-52)Online publication date: 13-Oct-2010
https://dl.acm.org/doi/10.5555/1927915.1927920
Backes MHofheinz DUnruh DAl-Shaer EJha SKeromytis A(2009)CoSPProceedings of the 16th ACM conference on Computer and communications security10.1145/1653662.1653672(66-78)Online publication date: 9-Nov-2009
https://dl.acm.org/doi/10.1145/1653662.1653672
Rajsbaum S(2006)ACM SIGACT news distributed computing column 24ACM SIGACT News10.1145/1189056.118907437:4(58-84)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1145/1189056.1189074
Backes MLaud PJuels AWright RDe Capitani di Vimercati S(2006)Computationally sound secrecy proofs by mechanized flow analysisProceedings of the 13th ACM conference on Computer and communications security10.1145/1180405.1180450(370-379)Online publication date: 30-Oct-2006
https://dl.acm.org/doi/10.1145/1180405.1180450
Backes M(2006)Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security ProofElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.11.054155(111-145)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1016/j.entcs.2005.11.054
Datta ADerek AMitchell JRamanathan AScedrov A(2006)Games and the impossibility of realizable ideal functionalityProceedings of the Third conference on Theory of Cryptography10.1007/11681878_19(360-379)Online publication date: 4-Mar-2006
https://dl.acm.org/doi/10.1007/11681878_19
Backes MPfitzmann BWaidner M(2005)Justifying a dolev-yao model under active attacksFoundations of Security Analysis and Design III10.5555/2137760.2137762(1-41)Online publication date: 1-Jan-2005
https://dl.acm.org/doi/10.5555/2137760.2137762
Datta AKüsters RMitchell JRamanathan A(2005)On the relationships between notions of simulation-based securityProceedings of the Second international conference on Theory of Cryptography10.1007/978-3-540-30576-7_26(476-494)Online publication date: 10-Feb-2005
https://dl.acm.org/doi/10.1007/978-3-540-30576-7_26
Show More Cited By

Abstract

Cited By

Recommendations

Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time

Characterisation of titanium disilicide thin films

Electrodeposition and Characterisation of Nickel, Germanium and Tin Thin Films

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations