Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Yanjun Liu 0002, Chin-Chen Chang 0001 |
A turtle shell-based visual secret sharing scheme with reversibility and authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 77(19), pp. 25295-25310, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Shikui Wei, Yao Zhao 0001, Tao Yang, Zhili Zhou, Shiming Ge |
Enhancing heterogeneous similarity estimation via neighborhood reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 77(1), pp. 1437-1452, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Maoan Han, Tatjana Petek, Valery G. Romanovski |
Reversibility in polynomial systems of ODE's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 338, pp. 55-71, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Rolf Klein |
Reversibility properties of the fire-fighting problem in graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 67, pp. 38-41, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Ruoyu Liu, Yao Zhao 0001, Shikui Wei |
Enhance Neighbor Reversibility in Subspace Learning for Image Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Signal Process. ![In: IEEE J. Sel. Top. Signal Process. 12(6), pp. 1338-1350, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Antoni Augustynowicz, Jan M. Baetens, Bernard De Baets, Adam Dzedzej, Anna Nenca, Barbara Wolnik |
A Note on the Reversibility of 2D Cellular Automata on Hexagonal Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 13(5-6), pp. 521-525, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel |
Reversibility vs local creation/destruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.10330, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
A Theory of Reversibility for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.07100, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Simon Portegies Zwart, Tjarda Boekholt |
Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.00970, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Harun Siljak |
Reversibility in space, time, and computation: the case of underwater acoustic communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.04223, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Xuefeng Gao, Mert Gürbüzbalaban, Lingjiong Zhu |
Breaking Reversibility Accelerates Langevin Dynamics for Global Non-Convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.07725, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Ivo J. B. F. Adan, Ana Busic, Jean Mairesse, Gideon Weiss |
Reversibility and Further Properties of FCFS Infinite Bipartite Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 43(2), pp. 598-621, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Massimiliano Zanin, Alejandro Rodríguez González, Ernestina Menasalvas Ruiz, David Papo |
Assessing Time Series Reversibility through Permutation Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 20(9), pp. 665, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Simon Portegies Zwart, Tjarda Boekholt |
Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 61, pp. 160-166, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Kuhn 0001, Irek Ulidowski |
Local reversibility in a Calculus of Covalent Bonding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 151, pp. 18-47, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
Reversible computation vs. reversibility in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 151, pp. 48-60, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Martin Vassor, Jean-Bernard Stefani |
Checkpoint/Rollback vs Causally-Consistent Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 286-303, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Claudio Antares Mezzina |
On Reversibility and Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 67-83, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Harun Siljak |
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 346-352, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Zhengguo Xu, Ling You, Hui Zheng |
Quantifying the Reversibility of Protocol Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASS ![In: 15th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, MASS 2018, Chengdu, China, October 9-12, 2018, pp. 511-519, 2018, IEEE Computer Society, 978-1-5386-5580-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Mehdi Tarabi, Radmila Juric |
Software Architectures for Smart Applications in the Management of Chronic Diseases: A Study of Reversibility of Diabetes 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 51st Hawaii International Conference on System Sciences, HICSS 2018, Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018, pp. 1-10, 2018, ScholarSpace / AIS Electronic Library (AISeL). The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín |
A history and reversibility for quantum programming language QML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 25-39, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Filippo Cavallin |
Product-forms beyond quasi-reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
18 | Claudio Antares Mezzina, Jorge A. Pérez 0001 |
Reversibility in session-based concurrency: A fresh look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 90, pp. 2-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Clément Aubert, Ioana Cristescu |
Contextual equivalences in configuration structures and reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 86(1), pp. 77-106, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Jayanta Mondal, Debabala Swain, Dushant P. Singh, Sharmila Mohanty |
An improved LSB-based RDH technique with better reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Electron. Secur. Digit. Forensics ![In: Int. J. Electron. Secur. Digit. Forensics 9(3), pp. 254-268, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Bogdan Aman, Gabriel Ciobanu |
Reversibility in Parallel Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 23(7), pp. 692-703, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Andrea Marin, Sabina Rossi |
On the relations between Markov chain lumpability and reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 54(5), pp. 447-485, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Selman Uguz, Shovkat Redjepov, Ecem Acar, Hasan Akin |
Structure and Reversibility of 2D von Neumann Cellular Automata Over Triangular Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 27(6), pp. 1750083:1-1750083:17, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Jin Akiyama, Kiyoko Matsunaga |
Reversibility and foldability of Conway tiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 64, pp. 30-45, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Konstantinos Gourgoulias, Markos A. Katsoulakis, Luc Rey-Bellet |
Information criteria for quantifying loss of reversibility in parallelized KMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 328, pp. 438-454, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Jinkyu Lee 0001 |
Time-Reversibility for Real-Time Scheduling on Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 28(1), pp. 230-243, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Xue Cui, Takashi Shibata 0002 |
Investment strategies, reversibility, and asymmetric information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 263(3), pp. 1109-1122, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Davide Cingolani, Alessandro Pellegrini 0001, Francesco Quaglia |
Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 27(2), pp. 11, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Yakir Aharonov, Eliahu Cohen, Tomer Landsberger |
The Two-Time Interpretation and Macroscopic Time-Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 19(3), pp. 111, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Davide Cingolani, Alessandro Pellegrini 0001, Markus Schordan, Francesco Quaglia, David R. Jefferson |
Dealing with Reversibility of Shared Libraries in PDES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSIM-PADS ![In: Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, SIGSIM-PADS 2017, Singapore, May 24-26, 2017, pp. 41-52, 2017, ACM, 978-1-4503-4489-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Chi-Yao Weng, Cheng-Ta Huang, Hung-Wei Kao |
DCT-Based Compressed Image with Reversibility Using Modified Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP (1) ![In: Advances in Intelligent Information Hiding and Multimedia Signal Processing - Proceedings of the Thirteenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIH-MSP 2017, August, 12-15, 2017, Matsue, Shimane, Japan, Part I, pp. 214-221, 2017, Springer, 978-3-319-63855-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Claudio Antares Mezzina, Vasileios Koutavas |
A safety and liveness theory for total reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017, pp. 1-8, 2017, IEEE Computer Society, 978-1-5386-1924-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Bogdan Aman, Gabriel Ciobanu |
Controlled Reversibility in Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Conf. on Membrane Computing ![In: Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, pp. 40-53, 2017, Springer, 978-3-319-73358-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon |
On Liveness and Reversibility of Equal-Conflict Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 146(1), pp. 83-119, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Peter Ashwin, Christian Bick, Oleksandr Burylko |
Identical Phase Oscillator Networks: Bifurcations, Symmetry and Reversibility for Generalized Coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Appl. Math. Stat. ![In: Frontiers Appl. Math. Stat. 2, pp. 7, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
Reversibility in the higher-order π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 625, pp. 25-84, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Kamalika Bhattacharjee, Sukanta Das |
Reversibility of d-State Finite Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 11(2-3), pp. 213-245, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Alexis Bernadet, Ivan Lanese |
A Modular Formalization of Reversibility for Concurrent Models and Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016., pp. 98-112, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Asli Güçlükan Ilhan, Özgün Ünlü |
Multi-Valued Logic Gates, Continuous Sensitivity, Reversibility, and Threshold Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.05988, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Fumio Hiai, Milán Mosonyi |
Reversibility of stochastic maps via quantum divergences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.03089, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Mathilde Noual |
Shortest Trajectories and Reversibility in Boolean Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.02613, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Chih-Hung Chang, Hasan Akin |
Reversibility Problem of Multidimensional Finite Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.09572, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Claudio Antares Mezzina, Vasileios Koutavas |
A Safety and Liveness Theory for Total Reversibility (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.05555, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Konstantinos Gourgoulias, Markos A. Katsoulakis, Luc Rey-Bellet |
Information Criteria for quantifying loss of reversibility in parallelized KMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.02375, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Valery G. Romanovski, Douglas S. Shafer |
Complete integrability and time-reversibility of some 3-dim systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 51, pp. 27-33, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Federico Panichi, Luca Ciotti, Giorgio Turchetti |
Fidelity and reversibility in the restricted three body problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 35, pp. 53-68, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
Reversible Computation vs. Reversibility in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, pp. 105-118, 2016, Springer, 978-3-319-40577-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Doriana Medic, Claudio Antares Mezzina |
Static VS Dynamic Reversibility in CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, pp. 36-51, 2016, Springer, 978-3-319-40577-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Robert Wille, Aaron Lye, Philipp Niemann 0001 |
Checking Reversibility of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, pp. 322-337, 2016, Springer, 978-3-319-40577-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Davide Cingolani, Mauro Ianni, Alessandro Pellegrini 0001, Francesco Quaglia |
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, pp. 137-152, 2016, Springer, 978-3-319-40577-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Kuhn 0001, Irek Ulidowski |
A Calculus for Local Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, pp. 20-35, 2016, Springer, 978-3-319-40577-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Ronaldo de Castro Corrêa, Pedro Paulo Balbi de Oliveira |
Partial Reversibility of One-Dimensional Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata ![In: Cellular Automata and Discrete Complex Systems - 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings, pp. 120-134, 2016, Springer, 978-3-319-39299-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Simonetta Balsamo, Filippo Cavallin, Andrea Marin, Sabina Rossi |
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modelling Techniques and Applications - 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings, pp. 45-59, 2016, Springer, 978-3-319-43903-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Iain Phillips 0001, Irek Ulidowski |
Reversibility and asymmetric conflict in event structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(6), pp. 781-805, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Xingguo Zhu, Lu Yu 0003 |
A reversibility-gain model for integer Karhunen-Loève transform design in video coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 16(10), pp. 883-891, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Bin Yang 0007, Chao Wang 0020, Aiyun Xiang |
Reversibility of general 1D linear cellular automata over the binary field Z2 under null boundary conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 324, pp. 23-31, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Kuize Zhang, Lijun Zhang 0004 |
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 10(5-6), pp. 425-434, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Sabina Rossi, Andrea Marin |
On Discrete Time Reversibility modulo State Renaming and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Self Adapt. Syst. ![In: EAI Endorsed Trans. Self Adapt. Syst. 1(3), pp. e2, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Kamalika Bhattacharjee, Sukanta Das |
Reversibility of d-State Finite Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.01187, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Clément Aubert, Ioana Cristescu |
Contextual equivalences in configuration structures and reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.05750, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Eric Chitambar, Ben Fortescue, Min-Hsiu Hsieh |
A Classical Analog to Entanglement Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.04433, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Nidhal Hamrit, Simon Perdrix |
Reversibility in the Extended Measurement-based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.03008, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Antonio Algaba, I. Checa, Cristóbal García, Estanislao Gamero |
On orbital-reversibility for a class of planar dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 20(1), pp. 229-239, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Kuhn 0001, Irek Ulidowski |
Towards Modelling of Local Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, pp. 279-284, 2015, Springer, 978-3-319-20859-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Nidhal Hamrit, Simon Perdrix |
Reversibility in Extended Measurement-Based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, pp. 129-138, 2015, Springer, 978-3-319-20859-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi 0001 |
Causal-Consistent Reversibility in a Tuple-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, pp. 467-475, 2015, IEEE Computer Society, 978-1-4799-8491-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon |
On the Reversibility of Live Equal-Conflict Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings, pp. 234-253, 2015, Springer, 978-3-319-19487-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Sergio Pizziol, Catherine Tessier, Michael Feary, Frédéric Dehais |
Action reversibility in human-machine systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATACCS ![In: Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS 2015, Toulouse, France, September 30 - October 2, 2015, pp. 21-31, 2015, ACM, 978-1-4503-3562-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Davide Cingolani, Alessandro Pellegrini 0001, Francesco Quaglia |
RAMSES: Reversibility-Based Agent Modeling and Simulation Environment with Speculation-Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2015: Parallel Processing Workshops - Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers, pp. 466-478, 2015, Springer, 978-3-319-27307-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Davide Cingolani, Alessandro Pellegrini 0001, Francesco Quaglia |
Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSIM-PADS ![In: Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10 - 12, 2015, pp. 211-222, 2015, ACM, 978-1-4503-3583-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
When input-driven pushdown automata meet reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCMA ![In: Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings, pp. 141-157, 2015, Österreichische Computer Gesellschaft, 978-3-903035-07-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Marc Dymetman, Sriram Venkatapathy, Chunyang Xiao |
Reversibility reconsidered: finite-state factors for efficient probabilistic sampling in parsing and generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, September 17-21, 2015, pp. 1990-1995, 2015, The Association for Computational Linguistics, 978-1-941643-32-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Weiming Zhang 0001, Kede Ma, Nenghai Yu |
Reversibility improved data hiding in encrypted images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 94, pp. 118-127, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Fu-Hau Hsu, Min-Hao Wu, Cheng-Hsing Yang, Shiuh-Jeng Wang |
Visible watermarking with reversibility of multimedia images for ownership declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 70(1), pp. 247-268, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Sergey G. Nersesov, Venkatesh Deshmukh, Masood Ghasemi |
Output reversibility in linear discrete-time dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 351(9), pp. 4479-4494, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Bernold Fiedler |
Reversibility, Continued Fractions, and Infinite Meander Permutations of Planar Homoclinic Orbits in Linear Hyperbolic Anosov Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 24(8), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi 0001 |
Causal-Consistent Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 114, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Kenichi Morita |
Reversibility in space-bounded computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 43(7), pp. 697-712, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Fu-Hau Hsu, Min-Hao Wu, Cheng-Hsing Yang, Shiuh-Jeng Wang |
Image reversibility in data embedding on the basis of blocking-predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Peer-to-Peer Netw. Appl. ![In: Peer-to-Peer Netw. Appl. 7(4), pp. 723-736, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Averina Nicolae, Judith Wahrheit, Janina Bahnemann, An-Ping Zeng 0001, Elmar Heinzle |
Non-stationary 13C metabolic flux analysis of Chinese hamster ovary cells in batch culture using extracellular labeling highlights metabolic reversibility and compartmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Syst. Biol. ![In: BMC Syst. Biol. 8, pp. 50, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Martin Kutrib, Thomas Worsch |
Degrees of Reversibility for DFA and DPDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, pp. 40-53, 2014, Springer, 978-3-319-08493-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Morrison, Irek Ulidowski |
Arbitration and Reversibility of Parallel Delay-Insensitive Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, pp. 67-81, 2014, Springer, 978-3-319-08493-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Irek Ulidowski, Iain Phillips 0001, Shoji Yuen |
Concurrency and Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, pp. 1-14, 2014, Springer, 978-3-319-08493-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Andrea Marin, Sabina Rossi |
On the Relations between Lumpability and Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, MASCOTS 2014, Paris, France, September 9-11, 2014, pp. 427-432, 2014, IEEE Computer Society, 978-1-4799-5610-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon |
On the Reversibility of Well-Behaved Weighted Choice-Free Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings, pp. 334-353, 2014, Springer, 978-3-319-07733-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Biswanath Sethi, Nazim Fatès, Sukanta Das |
Reversibility of Elementary Cellular Automata under Fully Asynchronous Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings, pp. 39-49, 2014, Springer, 978-3-319-06088-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Martin Kutrib |
Aspects of Reversibility for Classical Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing with New Resources ![In: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, pp. 83-98, 2014, Springer, 978-3-319-13349-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Kosuke Ito, Wataru Kumagai, Masahito Hayashi |
Asymptotic reversibility of LOCC conversions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29 - July 4, 2014, pp. 531-535, 2014, IEEE, 978-1-4799-5186-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Sabina Rossi, Andrea Marin |
On Discrete Time Reversibility modulo State Renaming and its Applications. (DOI:10.4108/icst.valuetools.2014.258200 reused by journals/sas/RossiM15) ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014, Bratislava, Slovakia, December 9-11, 2014, 2014, ICST, 978-1-63190-057-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Ying Yang, Jian Chai, Qing Zhu, Quanying Lu |
Imperfect Price-Reversibility of Passenger Transportation Demand in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSO ![In: Seventh International Joint Conference on Computational Sciences and Optimization, CSO 2014, Beijing, China, July 4-6, 2014, pp. 131-134, 2014, IEEE Computer Society, 978-1-4799-5372-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jinkyu Lee 0001 |
Time-Reversibility of Schedulability Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, pp. 294-303, 2014, IEEE Computer Society, 978-1-4799-7287-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Masakazu Yamagishi |
Elliptic curves over finite fields and reversibility of additive cellular automata on square grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 19(1), pp. 105-119, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jérémi Dardé, Antti Hannukainen, Nuutti Hyvönen |
An $H_\mathsf{div}$-Based Mixed Quasi-reversibility Method for Solving Elliptic Cauchy Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 51(4), pp. 2123-2148, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Michael Rice |
On the Reversibility of Randomizers and Derandomizers in Aeronautical Telemetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 49(2), pp. 1385-1391, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|