Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Danny Hendler, Nir Shavit, Lena Yerushalmi |
A scalable lock-free stack algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain, pp. 206-215, 2004, ACM, 1-58113-840-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Maurice Herlihy, Jeannette M. Wing |
Linearizable concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 133-135, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
62 | Maurice Herlihy, Eric Koskinen |
Transactional boosting: a methodology for highly-concurrent transactional objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 207-216, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms |
62 | Maria Eleftheriou, Marios Mavronicolas |
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, pp. 327-341, 1999, Springer, 3-540-66531-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
51 | Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri |
Abortable Fork-Linearizable Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings, pp. 255-269, 2009, Springer, 978-3-642-10876-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration |
51 | Luís E. T. Rodrigues, Nuno Carvalho, Emili Miedes |
Supporting Linearizable Semantics in Replicated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, NCA 2008, July 10-12, 2008, Cambridge, Massachusetts, USA, pp. 263-266, 2008, IEEE Computer Society, 978-0-7695-3192-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linearizability, database replication |
51 | Christian Cachin, Abhi Shelat, Alexander Shraer |
Efficient fork-linearizable access to untrusted shared memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 129-138, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
arbitrary failures, fork-consistency, storage emulations |
51 | Maurice Herlihy, Nir Shavit, Orli Waarts |
Low Contention Linearizable Counting ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 526-535, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
network gates, nonblocking construction, wait free construction, asynchronous concurrent processes, real-time order, linearizable counting networks, data structures |
46 | James Aspnes, Hagit Attiya, Keren Censor |
Max registers, counters, and monotone circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 36-45, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
max registers, distributed computing, shared memory, counters, monotone circuits |
46 | Marios Mavronicolas, Dan Roth |
Efficient, Strongly Consistent Implementations of Shared Memory (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992, Proceedings, pp. 346-361, 1992, Springer, 3-540-56188-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri |
Eventually linearizable shared objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 95-104, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
eventual linearizability, availability, graceful degradation |
35 | Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld |
Sequentially consistent versus linearizable counting networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 21(4), pp. 249-269, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks |
31 | Danny Hendler, Shay Kutten |
Bounded-wait combining: constructing robust and high-throughput shared objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 21(6), pp. 405-431, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Alysson Neves Bessani, Miguel Correia 0001, Joni da Silva Fraga, Lau Cheuk Lung |
Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA, pp. 231-238, 2007, IEEE Computer Society, 0-7695-2922-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Moshe Hoffman, Ori Shalev, Nir Shavit |
The Baskets Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings, pp. 401-414, 2007, Springer, 978-3-540-77095-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Synchronization, Lock-free, CAS, Compare and Swap, Non-blocking, Concurrent Data Structures, FIFO queue |
31 | Danny Hendler, Shay Kutten |
Constructing Shared Objects That Are Both Robust and High-Throughput. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings, pp. 428-442, 2006, Springer, 3-540-44624-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons |
Scalable Room Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(5), pp. 397-430, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Phillip B. Gibbons, John L. Bruno, Steven Phillips |
Black-Box Correctness Tests for Basic Parallel Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 35(4), pp. 391-432, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Kurt-Ulrich Witt |
On Linearizing Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980, pp. 32-41, 1980, Springer, 3-540-10291-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Panagiota Fatourou, Nikolaos D. Kallimanis |
Time-optimal, space-efficient single-scanner snapshots & multi-scanner snapshots using CAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 33-42, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
linearizable objects, single-scanner, wait-free implementations, distributed algorithms, asynchronous, snapshots, compare-and-swap (CAS) |
31 | Matei David |
Brief announcement: a single enqueuer wait-free queue implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 370, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
common2, implementation, queue, wait-free, linearizable |
20 | Haijing Wang, Jinzhu Peng, Fangfang Zhang 0004, Yaonan Wang 0001 |
Safety-Based Dynamic Output Feedback Tracking Control of Time-Varying Input-Output Linearizable Systems With Output Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 71(1), pp. 365-369, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada |
Learning to Control Known Feedback Linearizable Systems From Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(1), pp. 189-201, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Shreyas N. B., David Martín de Diego, Ravi Banavar 0001 |
Feedback Linearizable Discretizations of Second Order Mechanical Systems using Retraction Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18422, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Dmitry A. Lyakhov, Dominik L. Michels |
On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.01798, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch |
Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.14120, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Cong Liu, Jian Xu |
On the linearizable initial-boundary value problems for the Sasa-Satsuma equation on the half-line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 150, pp. 108941, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Romolo Marotta, Mauro Ianni, Alessandro Pellegrini 0001, Francesco Quaglia |
A Conflict-Resilient Lock-Free Linearizable Calendar Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Parallel Comput. ![In: ACM Trans. Parallel Comput. 11(1), pp. 4:1-4:32, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Alquraan, Sreeharsha Udayashankar, Virendra J. Marathe, Bernard Wong 0001, Samer Al-Kiswany |
LoLKV: The Logless, Linearizable, RDMA-based Key-Value Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024, Santa Clara, CA, April 15-17, 2024., pp. 41-54, 2024, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
20 | Ashutosh Jindal, Ravi N. Banavar, David Martín de Diego |
Constructing Feedback Linearizable Discretizations for Continuous-Time Systems Using Retraction Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2467-2472, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
Set-Linearizable Implementations from Read/Write Operations: Sets, Fetch &Increment, Stacks and Queues with Multiplicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 36(2), pp. 89-106, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mohammad Alsalti, Victor G. Lopez, Julian Berberich, Frank Allgöwer, Matthias A. Müller 0001 |
Data-Based Control of Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(11), pp. 7014-7021, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ashutosh Jindal, Ravi N. Banavar, David Martín de Diego |
Constructing Feedback Linearizable Discretizations for Continuous-Time Systems using Retraction Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09149, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile |
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08813, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez |
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.00737, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ryuta Moriyasu, Masayuki Kusunoki, Kenji Kashima |
Learning Exactly Linearizable Deep Dynamics Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18261, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Karthik Shenoy, Akshit Saradagi, Ramkrishna Pasumarthy, Vijaysekhar Chellaboina |
Model-Free Control Design for Feedback-Linearizable SISO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.06076, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Vinícius Lima 0002, Dzung T. Phan, Lam M. Nguyen, Jayant Kalagnanam |
Optimal Control via Linearizable Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 100-105, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Joshua Guarnieri, Aleksey Charapko |
Linearizable Low-latency Reads at the Edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 77-83, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jian Yi, Qing Li 0006, Bin Zhang, Yong Jiang 0001, Dan Zhao, Yuan Yang 0001, Zhenhui Yuan |
Gleaning the Consensus for Linearizable and Conflict-Free Per-Replica Local Reads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNet ![In: Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023, Hong Kong, China, June 29-30, 2023, pp. 143-149, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Adnane Khattabi Riffi |
On improving complexity of linearizable and wait-free implementations of concurrent objects by relaxing their specifications. (Amélioration de complexité d'implémentations linéarisables et wait-free d'objets concurrents en relaxant leurs spécifications). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
20 | Rob Claes, Elias Jarlebring, Karl Meerbergen, Parikshit Upadhyaya |
Linearizable Eigenvector Nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 43(2), pp. 764-786, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jacob Nelson-Slivon, Ahmed Hassan, Roberto Palmieri |
Technical Report: Bundling Linked Data Structures for Linearizable Range Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.00874, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Mohammad Alsalti, Victor G. Lopez, Julian Berberich, Frank Allgöwer, Matthias A. Müller 0001 |
Data-based Control of Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.01148, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Mattia Cenedese, Joar Axås, Bastian Bäuerlein, Kerstin Avila, George Haller |
Data-Driven Modeling and Prediction of Non-Linearizable Dynamics via Spectral Submanifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.04976, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Mohammad Alsalti, Victor G. Lopez, Julian Berberich, Frank Allgöwer, Matthias A. Müller 0001 |
Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.06339, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Siddhartha Visveswara Jayanti |
Generalized Wake-Up: Amortized Shared Memory Lower Bounds for Linearizable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.07561, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | HamidReza Zare, Viveck R. Cadambe, Bhuvan Urgaonkar, Nader Alfares, Praneet Soni, Chetan Sharma, Arif Merchant |
LEGOStore: A Linearizable Geo-Distributed Store Combining Replication and Erasure Coding. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 15(10), pp. 2201-2215, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Chi Zhai, Chunxi Yang, Jing Na |
Bifurcation Control on the Un-Linearizable Dynamic System via Washout Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(23), pp. 9334, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada |
Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022, pp. 8577-8583, 2022, IEEE, 978-1-7281-9681-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jennifer L. Welch |
Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 36th International Symposium on Distributed Computing, DISC 2022, October 25-27, 2022, Augusta, Georgia, USA., pp. 3:1-3:1, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-255-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Constantin Enea, Jennifer L. Welch |
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022, pp. 209-219, 2022, ACM, 978-1-4503-9262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Sophie Tarbouriech, Christophe Prieur 0001, Isabelle Queinnec, Luca Zaccarian, Germain Garcia |
Control of Uncertain Nonlinear Fully Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HANDY ![In: Hybrid and Networked Dynamical Systems - Modeling, Analysis and Control, HANDY 2022 Workshop, June 20-22, 2022, Toulouse, France., pp. 179-197, 2022, Springer, 978-3-031-49554-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | C. Chaitali, J. Swapnil, Syed Shadab, S. R. Wagh, Navdeep M. Singh |
Adaptive Control of Feedback Linearizable Systems with Finite-time Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANZCC ![In: Australian & New Zealand Control Conference, ANZCC 2022, Gold Coast, Australia, November 24-25, 2022, pp. 75-80, 2022, IEEE, 978-1-6654-9887-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jacob Nelson-Slivon, Ahmed Hassan, Roberto Palmieri |
Bundling linked data structures for linearizable range queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022, pp. 368-384, 2022, ACM, 978-1-4503-9204-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Xiao Liu, Zhao Huang, Quan Wang 0006, Nan Luo |
An Optimized Key-Value Raft Algorithm for Satisfying Linearizable Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NaNA ![In: International Conference on Networking and Network Applications, NaNA 2022, Urumqi, China, December 3-5, 2022, pp. 522-527, 2022, IEEE, 978-1-6654-6131-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Valery I. Korobov |
Almost linearizable control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 33(3), pp. 473-497, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Bapi Chatterjee, Ivan Walulya, Philippas Tsigas |
Concurrent linearizable nearest neighbour search in LockFree-kD-tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 886, pp. 27-48, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Christian Berger 0006, Hans P. Reiser, Alysson Bessani |
Making Reads in BFT State Machine Replication Fast, Linearizable, and Live. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.11144, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Hagit Attiya, Constantin Enea, Jennifer L. Welch |
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.06614, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | HamidReza Zare, Viveck R. Cadambe, Bhuvan Urgaonkar, Chetan Sharma, Praneet Soni, Nader Alfares, Arif Merchant |
LEGOStore: A Linearizable Geo-Distributed Store Combining Replication and Erasure Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.12009, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Hagit Attiya, Constantin Enea, Jennifer L. Welch |
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.15554, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Anderson Bento, Lucas Oliveira, Ignácio Rubio Scola, Valter J. S. Leite, Fernando A. C. Gomide |
Evolving granular control with high-gain observers for feedback linearizable nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Syst. ![In: Evol. Syst. 12(4), pp. 935-948, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Alimzhan Sultangazin, Lucas Fraile, Paulo Tabuada |
Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations *. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 5789-5794, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Constantin Enea, Jennifer L. Welch |
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference)., pp. 7:1-7:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-210-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Eranda Çela, Bettina Klinz, Stefan Lendl, James B. Orlin, Gerhard J. Woeginger, Lasse Wulf |
Linearizable Special Cases of the Quadratic Shortest Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science - 47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers, pp. 245-256, 2021, Springer, 978-3-030-86837-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Steven Munsu Hwang, Philipp Woelfel |
Strongly Linearizable Linked List and Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 25th International Conference on Principles of Distributed Systems, OPODIS 2021, December 13-15, 2021, Strasbourg, France., pp. 28:1-28:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-219-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Barnabás Finta, Bálint Kiss |
Mu-synthesis based cascaded robust controller design for exact linearizable dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMAR ![In: 25th International Conference on Methods and Models in Automation and Robotics, MMAR 2021, Międzyzdroje, Poland, August 23-26, 2021, pp. 354-359, 2021, IEEE, 978-1-7281-7380-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jacob Nelson 0002, Ahmed Hassan, Roberto Palmieri |
Bundled references: an abstraction for highly-concurrent linearizable range queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Virtual Event, Republic of Korea, February 27- March 3, 2021, pp. 448-450, 2021, ACM, 978-1-4503-8294-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Christian Berger 0006, Hans P. Reiser, Alysson Bessani |
Making Reads in BFT State Machine Replication Fast, Linearizable, and Live. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 40th International Symposium on Reliable Distributed Systems, SRDS 2021, Chicago, IL, USA, September 20-23, 2021, pp. 1-12, 2021, IEEE, 978-1-6654-3819-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Cristiano Maria Verrelli |
Comments on "Repetitive learning control for a class of partially linearizable uncertain nonlinear systems", [Automatica, 85 (2017) 397-404]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 111, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Antonios Katsarakis, Vasilis Gavrielatos, M. R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, Vijay Nagarajan |
Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.09804, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Paulo Tabuada, Lucas Fraile |
Data-driven Stabilization of SISO Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.14240, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Haosen Wen, Wentao Cai 0002, Mingzhe Du, Louis Jenkins, Benjamin Valpey, Michael L. Scott |
Montage: A General System for Buffered Durably Linearizable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.13701, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Jacob Nelson 0002, Ahmed Hassan, Roberto Palmieri |
Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.15438, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Tyler Westenbroek, Eric Mazumdar, David Fridovich-Keil, Valmik Prabhu, Claire J. Tomlin, S. Shankar Sastry |
Technical Report: Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.02766, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Tiago M. Vale, João Leitão 0001, Nuno M. Preguiça, Rodrigo Rodrigues 0001, Ricardo J. Dias, João M. Lourenço |
Lazy State Determination: More concurrency for contending linearizable transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.09733, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Madan Mohan Rayguru, Indra Narayan Kar |
High Gain Observer-Based Saturated Controller for Feedback Linearizable System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 67-II(1), pp. 122-126, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | David Fridovich-Keil, Vicenc Rubies-Royo, Claire J. Tomlin |
An Iterative Quadratic Method for General-Sum Differential Games with Feedback Linearizable Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020, pp. 2216-2222, 2020, IEEE, 978-1-7281-7395-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kenneth F. Caluya, Abhishek Halder |
Finite Horizon Density Steering for Multi-input State Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 3577-3582, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Tianqi Zheng, John W. Simpson-Porco, Enrique Mallada |
Implicit Trajectory Planning for Feedback Linearizable Systems: A Time-varying Optimization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 4677-4682, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Tyler Westenbroek, Eric Mazumdar, David Fridovich-Keil, Valmik Prabhu, Claire J. Tomlin, S. Shankar Sastry |
Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 118-125, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Matthew Rodriguez, Michael F. Spear |
Optimizing Linearizable Bulk Operations on Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: ICPP 2020: 49th International Conference on Parallel Processing, Edmonton, AB, Canada, August 17-20, 2020, pp. 24:1-24:10, 2020, ACM, 978-1-4503-8816-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marcin Nowicki, Witold Respondek |
A Classification of Feedback Linearizable Mechanical Systems with 2 Degrees of Freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KKA ![In: Advanced, Contemporary Control - Proceedings of KKA 2020 - The 20th Polish Control Conference, Łódź, Poland, 2020, pp. 638-650, 2020, Springer, 978-3-030-50935-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Antonios Katsarakis, Vasilis Gavrielatos, M. R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, Vijay Nagarajan |
Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, March 16-20, 2020., pp. 201-217, 2020, ACM, 978-1-4503-7102-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Xiushan Cai, Jie Wu 0021, Xisheng Zhan 0001, Xian-He Zhang |
Inverse optimal control for linearizable nonlinear systems with input delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 55(4), pp. 727-739, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Zongli Lin |
A Further Result on Semi-global Stabilization of Minimum-Phase Input-Output Linearizable Nonlinear Systems by Linear Partial State Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 64(8), pp. 3492-3497, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Zunino, Klaus Mosegaard |
An efficient method to solve large linearizable inverse problems under Gaussian and separability assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 122, pp. 77-86, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Wuxi Shi |
Observer-based adaptive fuzzy prescribed performance control for feedback linearizable MIMO nonlinear systems with unknown control direction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 368, pp. 99-113, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David Fridovich-Keil, Vicenc Rubies-Royo, Claire J. Tomlin |
An Iterative Quadratic Method for General-Sum Differential Games with Feedback Linearizable Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00681, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Tianqi Zheng, John W. Simpson-Porco, Enrique Mallada |
Implicit Trajectory Planning for Feedback Linearizable Systems: A Time-varying Optimization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00678, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Kenneth F. Caluya, Abhishek Halder |
Finite Horizon Density Control for Static State Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.02272, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Kenneth F. Caluya, Abhishek Halder |
Finite Horizon Density Steering for Multi-input State Feedback Linearizable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.12511, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Sean Ovens, Philipp Woelfel |
Strongly Linearizable Implementations of Snapshots and Other Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.10826, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Jan Skrzypczak, Florian Schintke, Thorsten Schütt |
Linearizable State Machine Replication of State-Based CRDTs without Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.08733, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Paulo Tabuada, Lucas Fraile |
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.01959, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Bapi Chatterjee, Sathya Peri, Muktikanta Sa, Nandini Singhal |
A simple and practical concurrent non-blocking unbounded graph with linearizable reachability qeries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 20th International Conference on Distributed Computing and Networking, ICDCN 2019, Bangalore, India, January 04-07, 2019, pp. 168-177, 2019, ACM, 978-1-4503-6094-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Paulo Tabuada, Lucas Fraile |
Data-driven control for SISO feedback linearizable systems with unknown control gain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 1803-1808, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jan Skrzypczak, Florian Schintke, Thorsten Schütt |
Linearizable State Machine Replication of State-Based CRDTs without Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019., pp. 455-457, 2019, ACM, 978-1-4503-6217-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Sean Ovens, Philipp Woelfel |
Strongly Linearizable Implementations of Snapshots and Other Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019., pp. 197-206, 2019, ACM, 978-1-4503-6217-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|