- Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications Ana Medina Ayala Sean B. Andersson Calin Belta Fri 02 March 2012
- Symbolic Optimal Control Gunther Reissig Matthias Rungger Fri 02 March 2012
- Verification of Detectability for Unambiguous Weighted Automata Aiwen Lai Sebastien Lahaye Alessandro Giua Fri 02 March 2012
- Hierarchical approach to exact symbolic analysis of large analog circuits S.X.-D. Tan Weikun Guo Zhenyu Qi Fri 02 March 2012
- A Protocol for Packet Network Intercommunication V. Cerf R. Kahn Fri 02 March 2012
- The modified nodal approach to network analysis Chung-Wen Ho A. Ruehli P. Brennan Fri 02 March 2012
- Flowgraph analysis of large electronic networks J. Starzyk A. Konczykowska Fri 02 March 2012
- Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab Robbert van Renesse Nicolas Schiper Fred B. Schneider Fri 02 March 2012
- Test-based model generation for legacy systems H. Hungar T. Margaria B. Steffen Fri 02 March 2012
- Determinization of Fuzzy Automata by Means of the Degrees of Language Inclusion Ivana Micic Zorana Jancic Jelena Ignjatovic Miroslav Ciric Fri 02 March 2012
- Quantified propositional temporal logic with repeating states T. French Fri 02 March 2012
- Model checking /spl mu/-calculus in well-structured transition systems E.V. Kouzmin N.V. Shilov V.A. Sokolov Fri 02 March 2012
- LOLA: Runtime Monitoring of Synchronous Systems B. DtextquotesingleAngelo S. Sankaranarayanan C. Sanchez W. Robinson B. Finkbeiner H.B. Sipma S. Mehrotra Z. Manna Fri 02 March 2012
- Temporal Logic with Predicate łambda-Abstraction A. Lisitsa I. Potapov Fri 02 March 2012
- Counting LTL Francois Laroussinie Antoine Meyer Eudes Petonnet Fri 02 March 2012
- Robustness Analysis for Scheduling Problems Using the Inverse Method Laurent Fribourg Romain Soulat David Lesens Pierre Moro Fri 02 March 2012
- Three models for the description of language N. Chomsky Fri 02 March 2012
- On secret sharing systems E. Karnin J. Greene M. Hellman Fri 02 March 2012
- On the equivalence between Berlekamptextquotesingles and Euclidtextquotesingles algorithms (Corresp.) J. Dornstetter Fri 02 March 2012
- Efficient Revalidation of XML Documents Mukund Raghavachari Oded Shmueli Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
