Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Heiko Mantel |
Unwinding Possibilistic Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings, pp. 238-254, 2000, Springer, 3-540-41031-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
unwinding, refinement, information flow, security models |
71 | David von Oheimb |
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings, pp. 225-243, 2004, Springer, 3-540-22987-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Unwinding Conditions for Security in Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, pp. 85-100, 2004, Springer, 3-540-26655-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
Modular verification of assembly code with stack-based control abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 401-414, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
assembly code verification, control abstractions, stack-based, modularity, proof-carrying code |
42 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 223-237, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani |
EDO: Exception-directed optimization in java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(1), pp. 70-105, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Feedback-directed dynamic optimization, exception handling, dynamic compilers, inlining |
36 | Silvia Crafa, Sabina Rossi |
A Theory of Noninterference for the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers, pp. 2-18, 2005, Springer, 3-540-30007-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Modelling Downgrading in Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 187-, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Yasuhiko Kitamura, Takuya Murao |
Agent Based Risk Management Methods for Speculative Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers, pp. 92-103, 2004, Springer, 3-540-25340-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Orna Kupferman |
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 325-338, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Richard A. Steenblik, Dar-Veig Ho |
Numerical modeling of the conformational transition of a spiral focusing surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 23rd Annual Simulation Symposium (ANSS-23 1990), Nashville, Tennessee, USA, 1990, pp. 127-134, 1990, IEEE Computer Society, 0-8186-2067-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
FORTRAN |
36 | Edmund M. Clarke, Yulin Feng |
Escher-a geometrical layout system for recursively defined circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(8), pp. 908-918, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Edmund M. Clarke, Yulin Feng |
Escher - a geometrical layout system for recursively defined circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, NV, USA, June, 1986., pp. 650-653, 1986, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Xiaodong Shao, Qinglei Hu, Daochun Li, Yang Shi 0001, Bowen Yi |
Composite Adaptive Control for Anti-Unwinding Attitude Maneuvers: An Exponential Stability Result Without Persistent Excitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 59(2), pp. 1051-1066, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yuxin Su 0002 |
Comments on "Anti-unwinding terminal sliding mode attitude tracking control for rigid spacecraft" [Automatica 145 (2022) 110567]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 156, pp. 111205, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Arul K. Mathivanan, Jasper De Viaene, Yentl Thielemans, Jeroen D. M. De Kooning, Kurt Stockman |
Non-linear Friction Characterisation of the Unwinding Group in a Web Processing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIM ![In: IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2023, Seattle, WA, USA, June 28-30, 2023, pp. 1260-1265, 2023, IEEE, 978-1-6654-7633-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar |
2LS: Arrays and Loop Unwinding - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, pp. 529-534, 2023, Springer, 978-3-031-30819-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026 |
Anti-Unwinding Sliding Mode Attitude Maneuver Control for Rigid Spacecraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(2), pp. 978-985, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026, Guang-Ren Duan 0001, Bin Li 0005 |
Anti-unwinding terminal sliding mode attitude tracking control for rigid spacecraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 145, pp. 110567, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Markku Suomalainen, Basak Sakcak, Adhi Widagdo, Juho Kalliokoski, Katherine J. Mimnaugh, Alexis P. Chambers, Timo Ojala, Steven M. LaValle |
Unwinding Rotations Improves User Comfort with Immersive Telepresence Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.02392, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
25 | Markku Suomalainen, Basak Sakcak, Adhi Widagdo, Juho Kalliokoski, Katherine J. Mimnaugh, Alexis P. Chambers, Timo Ojala, Steven M. LaValle |
Unwinding Rotations Improves User Comfort with Immersive Telepresence Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: ACM/IEEE International Conference on Human-Robot Interaction, HRI 2022, Sapporo, Hokkaido, Japan, March 7 - 10, 2022, pp. 511-520, 2022, IEEE / ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Yongfei Wu, Liming Zhang 0002, Tao Qian 0001, Xilin Liu, Qiwei Xie |
Content-adaptive image encryption with partial unwinding decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 181, pp. 107911, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026, Guangren Duan 0001 |
Anti-unwinding sliding mode attitude control via two modified Rodrigues parameter sets for spacecraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 129, pp. 109642, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ming Hsiung |
Unwinding Modal Paradoxes on Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 50(2), pp. 319-362, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xiaodong Shao, Qinglei Hu, Daochun Li, Yang Shi 0001, Bowen Yi |
Composite Adaptive Control for Anti-Unwinding Attitude Maneuvers: An Exponential Stability Result Without Persistent Excitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.09901, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Costanza Armanini, Conor Messer, Anup Teejo Mathew, Frédéric Boyer, Christian Duriez, Federico Renda |
Soft Robots Modeling: a Literature Unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.03645, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Robert H. C. Moir, Robert M. Corless, David J. Jeffrey |
An unwinding number pair for continuous expressions of integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 105, pp. 97-117, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yingying Xu, Bingyi Zhang, Guihong Feng |
Analysis of Unwinding Stator Module Combined Permanent Magnet Synchronous Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 191901-191909, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Cheng Jiang, Hengsheng Wang, Li-Wei Hou, Liang-Liang Jiang |
Sliding Mode Compensation Control for Diaphragm Tension in Unwinding Process of Lithium Battery Diaphragm Slitting Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 21302-21313, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Yong Hao, Yushan He, Yaen Xie, Cong Sun, Kun Zhao 0012 |
Neural-Network Based Finite-Time Coordinated Formation Control for Spacecraft Without Unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 127507-127518, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Julian Kilker |
Beyond accessibility Design ethics, edge users, and the role of active proxies in unwinding the spiral of exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 25(6), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026 |
Anti-Unwinding Sliding Mode Attitude Maneuver Control for Rigid Spacecraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.07001, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026 |
Sliding Mode Attitude Maneuver Control for Rigid Spacecraft without Unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.07929, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Théophile Bastian, Stephen Kell, Francesco Zappa Nardelli |
Reliable and fast DWARF-based stack unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 146:1-146:24, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Yanting Li, Jun-Wei Jin |
A Novel Two-Dimensional Unwinding Decomposition for Image Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 168700-168709, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Chunyu Tan, Liming Zhang 0002, Hau-Tieng Wu |
A Novel Blaschke Unwinding Adaptive-Fourier-Decomposition-Based Signal Compression Algorithm With Application on ECG Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 23(2), pp. 672-682, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Yanting Li, Liming Zhang 0002, Tao Qian 0001 |
2D Partial Unwinding - A Novel Non-Linear Phase Decomposition of Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 28(10), pp. 4762-4773, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Umair Javaid |
Anti-unwinding Attitude Control of Spacecraft using Back-Stepping Technique with Finite Time Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 15th International Conference on Control, Automation, Robotics and Vision, ICARCV 2018, Singapore, November 18-21, 2018, pp. 692-697, 2018, IEEE, 978-1-5386-9582-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Danko Ilik |
Perspectives for Proof Unwinding by Programming Languages Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(10), pp. 3483-3504, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Ronald R. Coifman, Stefan Steinerberger, Hau-Tieng Wu |
Carrier Frequencies, Holomorphy, and Unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 49(6), pp. 4838-4864, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Angeliki Aktypi, Jason R. C. Nurse, Michael Goldsmith |
Unwinding Ariadne's Identity Thread: Privacy Risks with Fitness Trackers and Online Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPS@CCS ![In: Proceedings of the 2017 on Multimedia Privacy and Security, MPS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 1-11, 2017, ACM, 978-1-4503-5206-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Danko Ilik |
Perspectives for proof unwinding by programming languages techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.09177, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Yangchun Fu, Junghwan Rhee, Zhiqiang Lin, Zhichun Li, Hui Zhang 0002, Guofei Jiang |
Detecting Stack Layout Corruptions with Robust Stack Unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Research in Attacks, Intrusions, and Defenses - 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings, pp. 71-94, 2016, Springer, 978-3-319-45718-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Robert H. C. Moir, Robert M. Corless, David J. Jeffrey |
Unwinding paths on the Riemann sphere for continuous integrals of rational functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 35, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Alberto Casagrande, Carla Piazza |
Unwinding biological systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 587, pp. 26-48, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Navid Dianati |
Unwinding the "hairball" graph: a pruning algorithm for weighted complex networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.04085, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Pasquale Noce |
The Ipurge Unwinding Theorem for CSP Noninterference Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Pasquale Noce |
The Generic Unwinding Theorem for CSP Noninterference Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Pasquale Noce |
The Inductive Unwinding Theorem for CSP Noninterference Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Verifying Concurrent Programs by Memory Unwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 551-565, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren |
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 34-42, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Mary Aprahamian, Nicholas J. Higham |
The Matrix Unwinding Function, with an Application to Computing the Matrix Exponential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 35(1), pp. 88-109, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | J. Frechard, Dominique Knittel, P. Dessagne, J. S. Pellé, G. Gaudiot, J. C. Caspar, G. Heitz |
Modelling and fast position control of a new unwinding-winding mechanism design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 90, pp. 116-131, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Christopher G. Mayhew, Ricardo G. Sanfelice, Andrew R. Teel |
On Path-Lifting Mechanisms and Unwinding in Quaternion-Based Attitude Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 58(5), pp. 1179-1191, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke |
Complexity and Unwinding for Intransitive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.1204, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | Zoë Terken, Roy Haex, Luuk Beursgens, Elvira Arslanova, Maria Vrachni, Jacques M. B. Terken, Dalila Szostak |
Unwinding after work: an in-car mood induction system for semi-autonomous driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI ![In: Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI '13, Eindhoven, The Netherlands, October 28-30, 2013, pp. 246-249, 2013, ACM, 978-1-4503-2478-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Vincent Gassmann, Dominique Knittel, Prabhakar R. Pagilla, Marie-Ange Bueno |
Fixed-Order H∞ Tension Control in the Unwinding Section of a Web Handling System Using a Pendulum Dancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 20(1), pp. 173-180, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Dimiter Milushev, Dave Clarke 0001 |
Coinductive Unwinding of Security-Relevant Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordSec ![In: Secure IT Systems - 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 - November 2, 2012. Proceedings, pp. 121-136, 2012, Springer, 978-3-642-34209-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Benjamin Wells |
Unwinding performance and power on Colossus, an unconventional computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 10(4), pp. 1383-1405, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Chenyi Zhang |
Conditional Information Flow Policies and Unwinding Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, pp. 227-241, 2011, Springer, 978-3-642-30064-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Christopher G. Mayhew, Ricardo G. Sanfelice, Andrew R. Teel |
On quaternion-based attitude control and the unwinding phenomenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2011, San Francisco, CA, USA, June 29 - July 1, 2011, pp. 299-304, 2011, IEEE, 978-1-4577-0081-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Chenyi Zhang |
Unwinding Conditional Noninterference ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.3893, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Teddy Furon, Gwenaël J. Doërr |
Tracing Pirated Content on the Internet: Unwinding Ariadne's Thread. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 8(5), pp. 69-71, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Vincent Gassmann, Dominique Knittel, Prabhakar R. Pagilla, Marie-Ange Bueno |
H∞ unwinding web tension control of a strip processing plant using a pendulum dancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009, pp. 901-906, 2009, IEEE, 978-1-4244-4523-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Grigori Mints |
Unwinding a Non-effective Cut Elimination Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 259-269, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yordan Kyosev, Michail Todorov |
Computational Model of 1D Continuum Motion. Case of Textile Yarn Unwinding Without Air Resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Applications ![In: Numerical Methods and Applications, 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, pp. 637-645, 2006, Springer, 978-3-540-70940-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Unwinding in Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEFISTO ![In: Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003, pp. 127-154, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Kristyna Stehlikova, Hana Kostrhunova, Jana Kasparkova, Viktor Brabec |
DNA bending and unwinding due to the major 1, 2-GG intrastrand cross-link formed by antitumor cis-diamminedichloroplatinum(II) are flanking-base independent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 30(13), pp. 2894-2898, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Yulin Xu, Michel de Mathelin, Dominique Knittel |
Adaptive rejection of quasi-periodic tension disturbances in the unwinding of a non-circular roll. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002., pp. 4009-4014, 2002, IEEE, 0-7803-7298-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Bindu Nanduri, Robert L. Eoff, Alan J. Tackett, Kevin D. Raney |
Measurement of steady-state kinetic parameters for DNA unwinding by the bacteriophage T4 Dda helicase: use of peptide nucleic acids to trap single-stranded DNA products of helicase reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 29(13), pp. 2829-2835, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Robert M. Corless, David J. Jeffrey |
The unwinding number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 30(2), pp. 28-35, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan K. Millen |
Unwinding Forward Correctability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 3(1), pp. 35-54, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Qiurong Xiao, Tyson V. Sharp, Ian W. Jeffrey, Marion C. James, Ger J. M. Pruijn, Walther J. van Venrooij, Michael J. Clemens |
The La antigen inhibits the activation of the interferon-inducible protein kinase PKR by sequestering and unwinding double-stranded RNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 22(13), pp. 2512-2518, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan K. Millen |
Unwinding Forward Correctability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Seventh IEEE Computer Security Foundations Workshop - CSFW'94, Franconia, New Hampshire, USA, June 14-16, 1994, Proceedings, pp. 2-10, 1994, IEEE Computer Society, 0-8186-6230-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Ulrich Kohlenbach |
Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 64(1), pp. 27-94, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Sandra Rawlings Murphy, Stephen D. Crocker, Timothy Redmond |
Unwinding and the LOCK Proof Referees Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 5th IEEE Computer Security Foundations Workshop - CSFW'92, Franconia, New Hampshire, USA, June 16-18, 1992, Proceedings, pp. 9-21, 1992, IEEE Computer Society, 0-8186-2850-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Margherita Bignami, D. P. Lane |
O6-methylguanine in the SV40 origin of replication inhibits binding but increases unwinding by viral large T antigen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 18(13), pp. 3785-3793, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups |
Noninterference and the Unwinding for LOCK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Second IEEE Computer Security Foundations Workshop - CSFW'89, Franconia, New Hampshire, USA, June 11-14, 1989, Proceedings, pp. 22-28, 1989, IEEE Computer Society, 0-8186-1955-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Alexandru Nicolau |
Loop Quantization: A Generalized Loop Unwinding Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 5(5), pp. 568-586, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Alexandru Nicolau |
Loop Quantization or Unwinding Done Right. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Supercomputing, 1st International Conference, Athens, Greece, June 8-12, 1987, Proceedings, pp. 294-308, 1987, Springer, 3-540-18991-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Joseph A. Goguen, José Meseguer 0001 |
Unwinding and Inference Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29 - May 2, 1984, pp. 75-87, 1984, IEEE Computer Society, 0-8186-0532-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
18 | Luís Dominguez |
Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 81-90, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Grigori Mints |
Proof Search Tree and Cut Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 521-536, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Schüle, Klaus Schneider 0001 |
Bounded model checking of infinite state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(1), pp. 51-81, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems |
18 | Ron van der Meyden |
What, Indeed, Is Intransitive Noninterference? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, pp. 235-250, 2007, Springer, 978-3-540-74834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Li Jiang, Lingdi Ping, Xuezeng Pan |
Extending intransitive noninterference with probabilities in information flow security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS ![In: Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA, pp. 337-343, 2007, IEEE Computer Society, 0-7695-3039-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Valery Sklyarov, Iouliia Skliarova |
Recursive and Iterative Algorithms for N-ary Search Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PPAI ![In: Toward Category-Level Object Recognition, pp. 81-90, 2006, Springer, 3-540-68794-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Christophe Doignon, Dominique Knittel |
A structured light vision system for out-of-plane vibration frequencies location of a moving web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 16(5), pp. 289-297, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Web vibrations, Winding systems, Structured light, 3-D reconstruction |
18 | Tobias Schüle, Klaus Schneider 0001 |
Bounded model checking of infinite state systems: exploiting the automata hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings, pp. 17-26, 2004, IEEE Computer Society, 0-7803-8509-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Graham Hutton, Joel J. Wright |
Compiling Exceptions Correctly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, pp. 211-227, 2004, Springer, 3-540-22380-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 264-264, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Dieter Hutter, Axel Schairer |
Possibilistic Information Flow Control in the Presence of Encrypted Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings, pp. 209-224, 2004, Springer, 3-540-22987-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Bogdan Smolka, Rastislav Lukac |
Segmentation of the Comet Assay Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (2) ![In: Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part II, pp. 124-131, 2004, Springer, 3-540-23240-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Knut Elgsaas, Håvard Hegna |
The Norwegian Computing Center and the Univac 1107 (1963-1970). ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Nordic Computing ![In: History of Nordic Computing, IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway, pp. 449-462, 2003, Springer, 0-387-24167-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Central computers, research policy, Simula 67, Univac 1107 |
18 | Pablo Giambiagi, Mads Dam |
On the Secure Implementation of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 144-158, 2003, Springer, 3-540-00886-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
A Proof System for Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 199-218, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer |
Authentication and Confidentiality via IPSEC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings, pp. 255-272, 2000, Springer, 3-540-41031-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Peter Y. A. Ryan |
Mathematical Models of Computer Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000], pp. 1-62, 2000, Springer, 3-540-42896-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
Reasoning about the Elementary Functions of Complex Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 115-126, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts |
18 | Peter Y. A. Ryan, Steve A. Schneider |
Process Algebra and Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 214-227, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|