Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Ye-Hong Chen, Yan Xia 0001, Jie Song 0003 |
Deterministic generation of singlet states for N-atoms in coupled cavities via quantum Zeno dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 13(8), pp. 1857-1877, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Cameron Nowzari, Jorge Cortés 0001 |
Zeno-free, distributed event-triggered communication and control for multi-agent average consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014, pp. 2148-2153, 2014, IEEE, 978-1-4799-3272-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Jon Pérez Laraudogoitia |
Zeno and flow of information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 190(3), pp. 439-447, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Harald Atmanspacher, Thomas Filk |
The Necker-Zeno Model for Bistable Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Top. Cogn. Sci. ![In: Top. Cogn. Sci. 5(4), pp. 800-817, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Andrew G. Lamperski, Aaron D. Ames |
Lyapunov Theory for Zeno Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 58(1), pp. 100-112, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Claudio De Persis, Rudolf Sailer, Fabian Wirth |
Parsimonious event-triggered distributed control: A Zeno free approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 49(7), pp. 2116-2124, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 228, pp. 83-119, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Rong-Can Yang, Gang Li, Tian-Cai Zhang |
Robust atomic entanglement in two coupled cavities via virtual excitations and quantum Zeno dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(1), pp. 493-504, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Zhi-Cheng Shi, Yan Xia 0001, Jie Song 0003, He-Shan Song |
Generation of three-atom singlet state in a bimodal cavity via quantum Zeno dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(1), pp. 411-424, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Qi-Cheng Wu, Yuan Wang, Xin Ji |
Preparation of three-qubit decoherence-free state via quantum Zeno dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(6), pp. 2121-2130, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Chaitanya Murti, Matthew M. Peet |
A sum-of-squares approach to the analysis of Zeno stability in polynomial hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 12th European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013, pp. 1657-1662, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames |
Enclosing the behavior of a hybrid system up to and beyond a Zeno point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSNA ![In: 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Taipei, Taiwan, August 19-20, 2013, pp. 120-125, 2013, IEEE Computer Society, 978-1-4799-0798-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Ranko Lazic 0001, Joël Ouaknine, James Worrell 0001 |
Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings, pp. 643-654, 2013, Springer, 978-3-642-40312-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | A. T. Dellis, I. K. Kominis |
The quantum Zeno effect immunizes the avian compass against the deleterious effects of exchange and dipolar interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 107(3), pp. 153-157, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Zhi-Cheng Shi, Yan Xia 0001, Jie Song 0003, He-Shan Song |
One-step implementation of the fredkin gate via quantum zeno dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 12(3-4), pp. 215-230, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Xiao-Qiang Shao, Tai-Yu Zheng, Shou Zhang |
Fast synthesis of the Fredkin gate via quantum Zeno dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 11(6), pp. 1797-1808, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Hao You, J. D. Franson |
Theoretical comparison of quantum Zeno gates and logic gates based on the cross-Kerr nonlinearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 11(6), pp. 1627-1651, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Shishir Nadubettu Yadukumar, Bhargav Kothapalli, Aaron D. Ames |
Zeno behavior in electromechanical hybrid systems: From theory to experimental validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012, pp. 2437-2442, 2012, IEEE, 978-1-4577-1095-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Vadim Azhmyakov, Félix A. Miranda-Villatoro |
Approximability and Variational Description of the Zeno Behavior in Affine Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012, pp. 307-312, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | William Sonnex, Sophia Drossopoulou, Susan Eisenbach |
Zeno: An Automated Prover for Properties of Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 407-421, 2012, Springer, 978-3-642-28755-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Nahum A. Torres, Nathan Clark, Isura Ranatunga, Dan O. Popa |
Implementation of interactive arm playback behaviors of social robot Zeno for autism spectrum disorder therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: The 5th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2012, Heraklion, Crete, Greece, June 6-9, 2012, pp. 21, 2012, ACM, 978-1-4503-1300-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Jonas Rinast, Sibylle Schupp |
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 220-235, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Yizhar Or, Andrew R. Teel |
Zeno Stability of the Set-Valued Bouncing Ball. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 56(2), pp. 447-452, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Yizhar Or, Aaron D. Ames |
Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 56(6), pp. 1322-1336, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Le Quang Thuan, M. Kanat Camlibel |
Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 56(8), pp. 1932-1936, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Lei Yu 0006, Jean-Pierre Barbot, Driss Boutat, Djamila Benmerzouk |
Observability Forms for Switched Systems With Zeno Phenomenon or High Switching Frequency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 56(2), pp. 436-441, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Peter Höfner, Bernhard Möller |
Fixing Zeno gaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(28), pp. 3303-3322, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Frédéric Herbreteau, B. Srivathsan |
Coarse abstractions make Zeno behaviours difficult to detect ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(1), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Aaron D. Ames |
Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 163-172, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Isura Ranatunga, Jartuwat Rajruangrabin, Dan O. Popa, Fillia Makedon |
Enhanced therapeutic interactivity using social robot Zeno. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: PETRA 2011, The 4th International Conference on PErvasive Technologies Related to Assistive Environments, Crete, Greece, May 25-27, 2011, pp. 57, 2011, ACM, 978-1-4503-0772-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Frédéric Herbreteau, B. Srivathsan |
Coarse Abstractions Make Zeno Behaviours Difficult to Detect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, pp. 92-107, 2011, Springer, 978-3-642-23216-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Martin Schaller, Karl Svozil |
Zeno Squeezing of Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 6(5), pp. 399-416, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Alex Monras, Oriol Romero-Isart |
Quantum information processing with quantum zeno many-body dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 10(3&4), pp. 201-222, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Deriving non-Zeno behaviour models from goal models using ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 22(3-4), pp. 217-241, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Evan M. Drumwright |
Avoiding Zeno's paradox in impulse-based rigid body simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010, pp. 5127-5132, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Johannes M. Schumacher |
Time-scaling symmetry and Zeno solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 45(5), pp. 1237-1242, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Erich Joos |
Quantum Zeno Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compendium of Quantum Physics ![In: Compendium of Quantum Physics, pp. 622-625, 2009, Springer, 978-3-540-70622-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Lei Yu 0006, Jean-Pierre Barbot, Driss Boutat, Djamila Benmerzouk |
Observability normal forms for a class of switched systems with zeno phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009, pp. 1766-1771, 2009, IEEE, 978-1-4244-4523-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Gang Zheng 0002, Lei Yu 0006, Driss Boutat, Jean-Pierre Barbot |
Algebraic observer for a class of switched systems with zeno phenomenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China, pp. 3876-3881, 2009, IEEE, 978-1-4244-3871-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Atul Singh, Pedro Fonseca 0001, Petr Kuznetsov, Rodrigo Rodrigues 0001, Petros Maniatis |
Zeno: Eventually Consistent Byzantine-Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009, April 22-24, 2009, Boston, MA, USA, pp. 169-184, 2009, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | David Atkinson |
A relativistic Zeno effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 160(1), pp. 5-12, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Petri nets and timed automata: On the discriminating power of zeno sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 206(1), pp. 73-107, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Andrew G. Lamperski, Aaron D. Ames |
Lyapunov-Like Conditions for the Existence of Zeno Behavior in Hybrid and Lagrangian Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 115-120, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Aaron D. Ames, Alessandro Abate, Shankar Sastry 0001 |
Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 4033-4038, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Petrus H. Potgieter |
Zeno machines and hypercomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 358(1), pp. 23-33, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Katie Atkinson, Trevor J. M. Bench-Capon |
Zeno Revisited: Representation of Persuasive Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2006: The Nineteenth Annual Conference on Legal Knowledge and Information Systems, Paris, France, 7-9 December 2006, pp. 1-10, 2006, IOS Press, 978-1-58603-698-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Alessandro Abate, Aaron D. Ames, Shankar Sastry 0001 |
A priori detection of Zeno behavior in communication networks modeled as hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2006, Minneapolis, MN, USA, 14-16 June, 2006, pp. 1-6, 2006, IEEE, 1-4244-0209-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Shou-tao Li, Yuan-chun Li, Hui-qiu Lu |
Mobile Robot Collision Avoidance Algorithm Based on Hybrid Zeno Behavior Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2006, Kunming, China, 17-20 December 2006, pp. 474-479, 2006, IEEE Computer Society, 1-4244-0570-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita |
Analysis of Zeno behaviors in a class of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 50(3), pp. 376-383, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jinglai Shen, Jong-Shi Pang |
Linear Complementarity Systems: Zeno States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 44(3), pp. 1040-1066, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Aaron D. Ames, Shankar Sastry 0001 |
Characterization of Zeno behavior in hybrid systems using homological methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2005, Portland, OR, USA, 8-10 June, 2005, pp. 1160-1165, 2005, IEEE, 0-7803-9098-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Aaron D. Ames, Alessandro Abate, Shankar Sastry 0001 |
Sufficient Conditions for the Existence of Zeno Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 696-701, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Howard Bowman, Rodolfo Gómez 0001, Li Su 0002 |
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 25-47, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Petrus H. Potgieter |
Zeno machines and hypercomputation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0412022, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | S. A. Gurvitz |
Quantum Description of Classical Apparatus: Zeno Effect and Decoherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 2(1-2), pp. 15-35, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita |
Analysis of Zeno behaviors in hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 2379-2384, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Thomas F. Gordon, Angi Voß, Gernot Richter, Oliver Märker |
Zeno: Groupware for Discourses on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 15(2), pp. 43-45, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
21 | Helmut Rauch |
Unavoidable Quantum Losses in Zeno-like Neutron Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybern. Syst. ![In: Cybern. Syst. 32(3), pp. 367-383, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | M. Kanat Camlibel, Johannes M. Schumacher |
On the Zeno behavior of linear complementarity systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 346-351, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Oliver Märker |
Zeno - GeoMediation im WWW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 14(1), pp. 50-51, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Thomas F. Gordon, Nikos I. Karacapilidis |
The Zeno Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 13(3), pp. 20-29, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
21 | F. Walter Meyerstein |
Is movement an illusion? Zeno's paradox: From a modern viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 4(4), pp. 26-30, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Joseph S. Alper, Mark Bridger |
Mathematics, Models and Zeno's Paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 110(1), pp. 143-166, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Thomas F. Gordon, Nikos I. Karacapilidis |
The Zeno Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Sixth International Conference on Artificial Intelligence and Law, ICAIL '97, Melbourne, Vicoria, Australia, June 30 - July 3, 1997, pp. 10-18, 1997, ACM, 0-89791-924-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Craig Harrison |
The three arrows of Zeno. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 107(2), pp. 271-292, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | J. Eugene Ball, G. J. Williams, James R. Low |
Preliminary ZENO language description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 14(9), pp. 17-34, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Farn Wang |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 485-489, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation |
15 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Discretization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 69-83, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Marc Schoenauer, Pierre Savéant, Vincent Vidal 0001 |
Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Metaheuristics for Hard Optimization ![In: Advances in Metaheuristics for Hard Optimization, pp. 179-198, 2008, Springer, 978-3-540-72959-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Julien Cristau, Florian Horn 0001 |
On Reachability Games of Ordinal Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 211-221, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Parity Games: Complexity and Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 124-140, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Timed substitutions for regular signal-event languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 31(2), pp. 101-134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Signal-event word, Refinement, Abstraction, Timed automata, Substitution |
15 | Marcin Jurdzinski, Ashutosh Trivedi 0001 |
Reachability-Time Games on Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 838-849, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski |
Impulse Differential Inclusions Driven by Discrete Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 385-398, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky, Martin Grimeland |
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre de A. Barbosa, Bernardo Lulo Jr., Aércio Ferreira de Lima |
Symbolic and numeric quantum circuit simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICQNM ![In: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007, January 2-6, 2007, Guadeloupe, French Caribbean, pp. 6, 2007, IEEE Computer Society, 0-7695-2759-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby |
Timed Concurrent Game Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 445-459, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Katsunori Nakamura, Akira Fusaoka |
Reasoning About Hybrid Systems Based on a Nonstandard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 749-754, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of Actions in System Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(2), pp. 73-130, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney |
PARMENIDES: Facilitating Deliberation in Democracies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 14(4), pp. 261-275, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
argumentation, practical reasoning, deliberative democracy |
15 | Jérôme Durand-Lose |
Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings, pp. 644-653, 2006, Springer, 3-540-34021-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Cachat |
Controller Synthesis and Ordinal Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 215-228, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Edward A. Lee |
Discrete event models: getting the semantics right. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojun Liu 0001, Eleftherios Matsikoudis, Edward A. Lee |
Modeling Timed Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 1-15, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Intersection of Regular Signal-Event (Timed) Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 52-66, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jake K. Aggarwal |
Human Activity Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings, pp. 39, 2005, Springer, 3-540-30506-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Aaron D. Ames, Shankar Sastry 0001 |
A Homology Theory for Hybrid Systems: Hybrid Homology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 86-102, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Katsunori Nakamura, Akira Fusaoka |
On Transfinite Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 495-510, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesh Mysore, Amir Pnueli |
Refining the Undecidability Frontier of Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 261-272, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Shou-tao Li, Yuan-chun Li |
Hierarchical Fuzzy Behavior-Based Control Method for Autonomous Mobile Robot Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: Advances in Machine Learning and Cybernetics, 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers, pp. 101-111, 2005, Springer, 3-540-33584-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Katsunori Nakamura, Akira Fusaoka |
On Description and Reasoning About Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 274-283, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Franck Cassez, Thomas A. Henzinger, Jean-François Raskin |
A Comparison of Control Problems for Timed and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings, pp. 134-148, 2002, Springer, 3-540-43321-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Stavros Tripakis |
Fault Diagnosis for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 205-224, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault diagnosis, Timed Automata, Partial observability |
15 | Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli |
Optimal Control Using Bisimulations: Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 175-188, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Yonit Kesten, Zohar Manna, Amir Pnueli |
Verification of Clocked and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(11), pp. 837-912, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry 0001, John Lygeros |
Towards a Geometric Theory of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 421-436, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Joseph S. Miller |
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 296-309, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Bart Verheij |
Automated argument assistance for lawyers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 43-52, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Howard Bowman, Joost-Pieter Katoen |
A True Concurrency Semantics for ET-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 228-238, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Günter Mahler, Ilki Kim |
Correlation between Correlations: Process and Time in Quantum Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QCQC ![In: Quantum Computing and Quantum Communications, First NASA International Conference, QCQC'98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers, pp. 89-102, 1998, Springer, 3-540-65514-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|