Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

voronov's library [70 articles]

Recent papers added to voronov's library.
  • Checking Safety Properties Using Induction and a SAT-Solver
    Formal Methods in Computer-Aided Design (2000), pp. 127-144.
    by Mary Sheeran, Satnam Singh, Gunnar Stålmarck
    posted to temporal solver sat induction by voronov on 2008-09-15 08:30:10 as **
  • On the synthesis of safe control policies in decentralized control of discrete-event systems
    Automatic Control, IEEE Transactions on, Vol. 48, No. 6. (2003), pp. 1064-1068.
    posted to des by voronov on 2008-05-26 13:14:54 as **
  • Online supervision of discrete event systems
    American Control Conference, 2003. Proceedings of the 2003, Vol. 2 (2003), pp. 1685-1690.
    by R Minhas, WM Wonham
    posted to des limitedlookahead llp modular online sat by voronov on 2008-05-26 10:58:22 as **
  • PSPACE-completeness of Modular Supervisory Control Problems*
    Discrete Event Dynamic Systems, Vol. 15, No. 2. (June 2005), pp. 145-167.
    by Kurt Rohloff, Stephane Lafortune
    posted to no-tag by voronov on 2008-05-26 10:39:27 as **
  • Online Supervisory Control of Hybrid Systems Using Embedded Simulation
    Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 137-142.
    by JP Millan, SD O'Young
    posted to des limitedlookahead llp sat by voronov on 2008-05-26 10:35:29 as read
  • Bounded Model Checking
    ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
    by A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
    posted to sat by voronov on 2008-05-16 09:25:00 as ** along with 1 person shimomura
  • A survey of recent advances in SAT-based formal verification
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 2. (30 April 2005), pp. 156-173.
    by Mukul R Prasad, Armin Biere, Aarti Gupta
    posted to sat by voronov on 2008-05-16 09:17:51 as **
  • Formalization of PLC programs to sustain reliability
    Robotics, Automation and Mechatronics, 2004 IEEE Conference on, Vol. 2 (2004), pp. 613-618 vol.2.
    by MB Younis, G Frey
    posted to automata formal-verification plc semantics by voronov on 2008-05-06 14:17:14 as **
  • Efficient representation for formal verification of PLC programs
    Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 182-187.
    by V Gourcuff, O De Smet, JM Faure
    posted to formal-verification model-checking plc by voronov on 2008-05-06 13:54:08 as **
  • Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
    Lecture Notes in Computer Science, Vol. 1551 (January 1998), 76.
    by Wolfram Kahl
    posted to typesetting by voronov on 2008-05-02 23:21:02 as ** along with 2 people and 1 group dherman mxp NU-PRL
  • An Expert's Guide to the Lout Document Formatting System
    (1995)
    posted to typesetting by voronov on 2008-05-02 23:09:12 as **
  • The Future of Document Formatting
    by Jeffrey H Kingston
    posted to typesetting by voronov on 2008-05-02 23:08:27 as **
  • The Design and Implementation of the Lout Document Formatting Language
    Soft\-waredash Prac\-tice and Experience, Vol. 23, No. 9. (1993), pp. 1001-1041.
    by Jeffrey H Kingston
    posted to layout lout tex typesetting by voronov on 2008-05-02 23:05:31 as **
  • Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
    Lecture Notes in Computer Science, Vol. 1551 (1999), pp. 76-90.
    by Wolfram Kahl
    posted to functional-programming haskell layout typesetting by voronov on 2008-05-02 23:00:49 as **
  • A Functional Description of TEX's Formula Layout
    Journal of Functional Programming, Vol. 7, No. 5. (1997), pp. 451-485.
    by Reinhold Heckmann, Reinhard Wilhelm
  • JavaScript: The Good Parts
    (02 May 2008)
    by Douglas Crockford
    posted to code javascript parsing by voronov on 2008-05-01 09:46:42 as ** along with 1 person samsalisbury
  • Top down operator precedence
    (1973), pp. 41-51.
    by Vaughan R Pratt
    posted to no-tag by voronov on 2008-04-30 20:32:22 as ** along with 1 person mwmarkland
  • Methods for Dielectric Reconstruction in Microwave Tomography
    Antennas and Propagation, 2007. EuCAP 2007. The Second European Conference on (2007), pp. 1-6.
    by A Fhager, A Voronov, C Chen, M Persson
    posted to fdtd me microwave tomography by voronov on 2008-04-29 14:59:16 as **
  • Towards an Automatic Sign Language Recognition System Using Subunits
    (2001), pp. 64-75.
    by Britta Bauer, Karl F Kraiss
    posted to formal-verification plc sfc smv by voronov on 2008-04-28 17:43:11 as ***
  • Communicating sequential processes
    Commun. ACM, Vol. 26, No. 1. (January 1983), pp. 100-106.
    by CAR Hoare
    posted to communication concurrent formla-verification sequence by voronov on 2008-04-28 17:32:55 as **
  • Software Verification for Programmable Logic Controllers
    (2003)
    by Ralf Huuck
    posted to automation formal-verification plc by voronov on 2008-04-28 17:27:36 as **
  • Improving automation software dependability: A role for formal methods?
    Control Engineering Practice, Vol. 15, No. 11. (November 2007), pp. 1403-1415.
    by Timothy L Johnson
    posted to automation formal-verification plc by voronov on 2008-04-28 17:09:10 as **
  • Safe programming of PLC using formal verification methods
    (2000), pp. 73-78.
    by O De Smet, S Couffin, O Rossi, G Canet, JJ Lesage, Ph, H Papini
    posted to formal-verification ld ltl plc safete sfc by voronov on 2008-04-28 16:50:52 as **
  • Algebra of Programming, The
    (26 September 1996)
    by Richard Bird, Oege de Moor
  • Scheduling of discrete event systems using mixed integer linear programming
    Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 76-81.
    posted to des optimization robots sat scheduling supremica by voronov on 2008-04-17 12:05:55 as **
  • Variable lookahead supervisory control with state information
    Automatic Control, IEEE Transactions on, Vol. 39, No. 12. (1994), pp. 2398-2410.
    by NB Hadj-Alouane, S Lafortune, Feng Lin
    posted to sat supervisory by voronov on 2008-04-16 20:57:31 as **
  • Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
    (2001), pp. 473-478.
    by Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
  • Algorithm + strategy = parallelism
    Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
    by PW Trinder, K Hammond, HW Loidl, Peyton
    posted to haskell hdv hpc parallel by voronov on 2008-03-26 10:59:46 as ** along with 2 people mcclurmc spl
  • Hardware/Software Approach to Molecular Dynamics on Reconfigurable Computers
    (2006), pp. 23-34.
    by Ronald Scrofano, Maya Gokhale, Frans Trouw, Viktor K Prasanna
    posted to fpga hpc md by voronov on 2008-03-12 17:00:08 as **
  • Parallel implementation of Hartree–Fock and density functional theory analytical second derivatives
    Molecular Physics, Vol. 102, No. 23. (2004), pp. 2475-2484.
    by Jon Baker, Krzysztof Wolinski, Massimo Malagoli, Peter Pulay
    posted to dft hpc by voronov on 2008-03-11 19:14:36 as **
  • notes Computational Chemistry: Reviews of Current Trends (Computational Chemistry, Reviews of Current Trends, Volume 7)
    (01 September 2002)
    by Jerzy Leszczynski
    posted to dft dna hpc md by voronov on 2008-03-11 19:12:00 as **
  • Scalability of a low-cost multi-Teraflop Linux cluster for high-end classical atomistic and quantum mechanical simulations
    Parallel and Distributed Processing Symposium, 2003. Proceedings. International (2003), 8 pp..
    by H Kikuchi, RK Kalia, A Nakano, P Vashishta, F Shimojo, S Saini
    posted to hpc md qm by voronov on 2008-03-11 19:05:22 as **
  • An approach to scalable molecular dynamics simulation using supercomputing adaptive processing elements
    Field Programmable Logic and Applications, 2005. International Conference on (2005), pp. 711-712.
    by LE Cordova, DA Buell
    posted to fpga hpc md by voronov on 2008-03-11 19:01:45 as **
  • Ab initio quantum chemistry on PC-based parallel supercomputers
    Parallel Computing, Vol. 26, No. 7-8. (July 2000), pp. 1011-1024.
    by Jon Baker, Matt Shirel
    posted to no-tag by voronov on 2008-03-11 19:01:21 as **
  • Embedded divide-and-conquer algorithm on hierarchical real-space grids: parallel molecular dynamics simulation based on linear-scaling density functional theory
    Computer Physics Communications, Vol. 167, No. 3. (1 May 2005), pp. 151-164.
    by Fuyuki Shimojo, Rajiv K Kalia, Aiichiro Nakano, Priya Vashishta
    posted to dft hpc md by voronov on 2008-03-11 18:52:02 as ** along with 1 person OndrejMarsalek
  • An Open Source IEC 61131-3 Integrated Development Environment
    Industrial Informatics, 2007 5th IEEE International Conference on, Vol. 1 (2007), pp. 183-187.
    by Edouard Tisserant, Laurent Bessard, Mario de Sousa
    posted to open plc software standard by voronov on 2008-03-03 00:23:32 as **
  • Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
    Control Engineering Practice, Vol. 15, No. 11. (November 2007), pp. 1416-1426.
    posted to no-tag by voronov on 2008-02-14 14:56:25 as ****
  • Efficient supervisory synthesis of large systems
    Control Engineering Practice, Vol. 14, No. 10. (October 2006), pp. 1157-1167.
    by Arash Vahidi, Martin Fabian, Bengt Lennartson
    posted to bdd chalmers supervisory synthesis by voronov on 2008-02-11 12:17:42 as ** along with 1 person fernand0
  • Limited lookahead policies in supervisory control of discrete event systems
    Automatic Control, IEEE Transactions on, Vol. 37, No. 12. (1992), pp. 1921-1935.
    by SL Chung, S Lafortune, F Lin
  • March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver
    Theory and Applications of Satisfiability Testing (2005), pp. 345-359.
    by Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren
    posted to sat sat-solver solver by voronov on 2008-02-10 23:35:57 as **
  • Efficient reachability analysis on modular discrete-event systems using binary decision diagrams
    Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 288-293.
    posted to bdd chalmers supremica by voronov on 2008-02-10 22:28:05 as **
  • Symbolic Synthesis of Supervisory Controllers
    (1992), pp. 2789-2793.
    posted to no-tag by voronov on 2008-02-10 22:21:36 as **
  • Symbolic model checking: 10<sup>20</sup> states and beyond
    Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439.
    by JR Burch, EM Clarke, KL Mcmillan, DL Dill, LJ Hwang
    posted to bdd sat symbolicmodelchecking by voronov on 2008-02-10 21:36:53 as **
  • The complexity of theorem-proving procedures
    (1971), pp. 151-158.
    by Stephen A Cook
  • A machine program for theorem-proving
    Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397.
    by Martin Davis, George Logemann, Donald Loveland
    posted to dll sat by voronov on 2008-02-10 21:00:23 as ** along with 1 person bfraser
  • Planning as satisfiability
    (1992), pp. 359-363.
    by Henry Kautz, Bart Selman
    posted to planning sat by voronov on 2008-02-08 23:49:44 as read along with 1 person ug44sxs
  • Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
    (1996), pp. 1194-1201.
    by Henry Kautz, Bart Selman
    edited by Howard Shrobe, Ted Senator
    posted to planning sat by voronov on 2008-02-08 23:46:33 as read along with 1 person cyph3r
  • Diagnosability testing with satisfiability algorithms
    (2007)
    edited by M Veloso
    posted to bibtex-import by voronov on 2008-02-08 17:29:57 as **
  • Automatic SAT-Compilation of Planning Problems
    (1997), pp. 1169-1177.
    by Michael Ernst, Todd D Millstein, Daniel S Weld
    posted to sat by voronov on 2008-01-29 14:19:05 as **
  • Minimum length synchronizing sequences of finite state machine
    (1993), pp. 463-468.
    by June-Kyung Rho, Fabio Somenzi, Carl Pixley
    posted to bdd des synchronization by voronov on 2008-01-29 14:05:44 as **
  • Note: You may cite this page as: http://www.citeulike.org/user/voronov

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.