Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | Peter Wegner |
Granularity of modules in object-based concurrent systems. ![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. 46-49, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
119 | Torvald Riegel, Christof Fetzer, Heiko Sturzrehm, Pascal Felber |
From causal to z-linearizable transactional 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. 340-341, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software transactional memory, linearizability |
107 | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
Line-up: a complete and automatic linearizability checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 330-340, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
thread safety, atomicity, linearizability |
103 | 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 |
86 | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
Comparison Under Abstraction for Verifying Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 477-490, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
86 | Marios Mavronicolas, Marina Papatriantafilou, Philippas Tsigas |
The Impact of Timing on Linearizability in Counting Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 684-688, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
86 | Hagit Attiya, Jennifer L. Welch |
Sequential Consistency versus Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 12(2), pp. 91-122, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
74 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 195-214, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
70 | 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 |
70 | 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 |
69 | Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001 |
Model Checking Linearizability via Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 321-337, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
69 | Maurice Herlihy, Jeannette M. Wing |
Linearizability: A Correctness Condition for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(3), pp. 463-492, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
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 |
|
57 | Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh |
Verifying linearizability with hindsight. ![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. 85-94, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hindsight, linearizability, wait-freedom, optimistic concurrency |
57 | Michel Raynal |
Sequential consistency as lazy linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 151-152, 2002, ACM, 1-58113-529-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
sequential consistency, linearizability |
54 | Michel Raynal, Matthieu Roy |
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, pp. 59-73, 2005, Springer, 3-540-28126-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability |
53 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Experience with Model Checking Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 261-278, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Youhui Zhang, Jinfeng Hu, Weimin Zheng |
The Flexible Replication Method in an Object-Oriented Data Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004, Proceedings, pp. 485-488, 2004, Springer, 3-540-23388-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Kenneth P. Birman |
Maintaining consistency in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
49 | Yatin P. Saraiya |
Hard Problems for Simple Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 64-73, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
49 | Gail E. Kaiser |
Transactions for concurrent object-oriented programming systems. ![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. 136-138, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Maurice Herlihy, Jeannette M. Wing |
Axioms for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 13-26, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
37 | Tom Ridge |
Verifying distributed systems: the operational approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 429-440, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
37 | Christian Cachin, Martin Geisler 0001 |
Integrity Protection for Revision Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings, pp. 382-399, 2009, 978-3-642-01956-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hash trees, memory checking, fork linearizability, storage security, applied cryptography |
37 | Martin T. Vechev, Eran Yahav |
Deriving linearizable fine-grained concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 125-135, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithms, model checking, data structures, concurrency, linearizability |
37 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 78-95, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
33 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 252-266, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Xiaoqiang Zhang, Lin Peng, Lunguo Xie |
Lowering Conflicts of High Contention Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 307-310, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | 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 |
33 | Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman |
Long-Lived Rambo: Trading Knowledge for Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity, 11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slovakia, June 21-23, 2004, Proceedings, pp. 185-196, 2004, Springer, 3-540-22230-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Jerry James, Ambuj K. Singh |
Fault Tolerance Bounds for Memory Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings, pp. 200-214, 1997, Springer, 3-540-63575-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Phillip B. Gibbons, Ephraim Korach |
On Testing Cache-Coherent Shared Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '94, Cape May, New Jersey, USA, June 27-29, 1994, pp. 177-188, 1994, ACM, 0-89791-671-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Hagit Attiya |
Implementing FIFO Queus and Stacks (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 5th International Workshop, WDAG '91, Delphi, Greece, October 7-9, 1991, Proceedings, pp. 80-94, 1991, Springer, 3-540-55236-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Shao Jie Zhang, Yang Liu 0003 |
Model Checking a Lazy Concurrent List-Based Set Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 43-52, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Concurrent List-Based Set Algorithm, PAT, Linearizability, Refinement Checking |
21 | Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink |
Brief announcement: a shared disk on distributed storage. ![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. 79-80, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers |
21 | Damien Imbs, Michel Raynal |
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 142-156, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system |
21 | Damien Imbs, Michel Raynal |
Software Transactional Memories: An Approach for Multicore Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings, pp. 26-40, 2009, Springer, 978-3-642-03274-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state |
21 | 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 |
21 | John Giacomoni, Tipp Moseley, Manish Vachharajani |
FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue. ![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. 43-52, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fastforward, multiprocessors, multicore, queue, lock-free, linearizability, nonblocking synchronization, pipeline parallel |
21 | Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri |
Combinable memory-block transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 23-34, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
memory-block transactions, priority write, read-modify-write, shared memory, transactional memory, queue, contention, combining, stack, linearizability, semaphore |
21 | Zhibek Kadyrsizova, Valery G. Romanovski |
Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 255-260, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
the center and linearizability problems, normal forms, ordinary differential equations, polynomial ideals |
21 | Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, Chandramohan A. Thekkath |
Graceful degradation via versions: specifications and implementations. ![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. 264-273, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, version, graceful degradation, linearizability |
21 | Roy Friedman, Michel Raynal, Corentin Travers |
Brief announcement: abstractions for implementing atomic objects in dynamic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 354, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
atomic object, dynamic system, asynchronous system, linearizability |
21 | Liqiang Wang, Scott D. Stoller |
Static analysis of atomicity for programs with non-blocking synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 61-71, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking |
21 | Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit |
Using elimination to implement scalable and lock-free FIFO queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA, pp. 253-262, 2005, ACM, 1-58113-986-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination |
21 | Chien-Hua Shann, Ting-Lu Huang, Cheng Chen |
A Practical Nonblocking Queue Algorithm Using Compare-and-Swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 470-475, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent queue, compare-and-swap, linearizability, nonblocking |
21 | Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda |
The Elusive Atomic Register. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(2), pp. 311-339, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
linearizability, atomic register, wait-free synchronization |
21 | Michiko Inoue, Wei Chen 0003 |
Linear-Time Snapshot Using Multi-writer Multi-reader Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings, pp. 130-140, 1994, Springer, 3-540-58449-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
atomic snapshot, lattice agreement problem, shared memory system, linearizability, wait-free algorithm |
20 | Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez |
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 2456-2484, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002 |
A Compositional Theory of Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 71(2), pp. 14:1-14:107, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Armando Castañeda, Constantin Enea |
Strong Linearizability using Primitives with Consensus Number 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13618, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Ike Mulder, Robbert Krebbers |
Proof Automation for Linearizability in Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA1), pp. 462-491, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis |
The Path to Durable Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 748-774, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002 |
A Compositional Theory of Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1089-1120, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Brigita Fercec, Maja Zulj, Jaume Giné |
Blow-Up Method for Linearizability of Resonant Differential Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 33(8), pp. 2350100:1-2350100:17, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Arik Rinberg, Idit Keidar |
Intermediate Value Linearizability: A Quantitative Correctness Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 70(2), pp. 17:1-17:21, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yangyang Wang, Zikai Wang, Yunpeng Chai, Xin Wang 0030 |
Rethink the Linearizability Constraints of Raft for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 35(11), pp. 11815-11829, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Domínguez, Aleksandar Nanevski |
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04720, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Gilde Valeria Rodríguez |
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.02638, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Domínguez, Aleksandar Nanevski |
Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04653, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Matthew D. Kvalheim, Philip Arathoon |
Linearizability of flows by embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18288, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Uri Abraham, Avi Hayoun |
Linearizability Analysis of the Contention-Friendly Binary Search Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.07758, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
A Linearizability-based Hierarchy for Concurrent Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 66(1), pp. 86-97, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan |
Efficient linearizability checking for actor-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 53(11), pp. 2163-2199, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Roland Meyer 0001, Anton Opaterny, Thomas Wies, Sebastian Wolff 0001 |
nekton: A Linearizability Proof Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 170-183, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Rudrapatna K. Shyamasundar |
ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023., pp. 557-566, 2023, SCITEPRESS, 978-989-758-666-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Katerina V. Sklyar, Svetlana Yu. Ignatovich, Grigory M. Sklyar |
Linearizability problem and invariants for multi-input non-autonomous control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 31st Mediterranean Conference on Control and Automatio, MED 2023, Limassol, Cyprus, June 26-29, 2023, pp. 998-1003, 2023, IEEE, 979-8-3503-1543-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yuxuan Qin, Weize Gao, ChonLam Lao, Wenfei Wu, Kai Chen |
In-Network Key-Value Cache with Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023, Ocean Flower Island, China, December 17-21, 2023, pp. 1935-1942, 2023, IEEE, 979-8-3503-3071-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Gilde Valeria Rodríguez |
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19-23, 2023, pp. 90-101, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Domínguez, Aleksandar Nanevski |
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, pp. 30:1-30:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-299-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Qiaowen Jia, Yi Lv, Peng Wu 0002, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang 0069 |
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 202-220, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis |
The Path to Durable Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.07631, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
A Snapshot-Based Introduction to the Linearizability Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings, pp. 3-15, 2022, Springer, 978-3-031-17435-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Xinwei Fu, Dongyoon Lee, Changwoo Min |
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022, pp. 195-211, 2022, USENIX Association, 978-1-939133-28-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Maja Zulj, Brigita Fercec, Matej Mencinger |
Linearizability of 2: -3 Resonant Systems with Quadratic Nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1510, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Rob Claes, Elias Jarlebring, Karl Meerbergen, Parikshit Upadhyaya |
Linearizability of eigenvector nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.10361, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Tangliu Wen |
A Simple Way to Verify Linearizability of Concurrent Stacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.05801, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Gal Sela 0001, Maurice Herlihy, Erez Petrank |
Linearizability: a Typo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.06737, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Vassos Hadzilacos, Xing Hu 0009, Sam Toueg |
On Register Linearizability and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.13242, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Shir Cohen, Idit Keidar |
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.10597, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | David Yu Cheng Chan, Vassos Hadzilacos, Xing Hu 0009, Sam Toueg |
An Impossibility Result on Strong Linearizability in Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.01651, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan |
Efficient Linearizability Checking for Actor-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.06407, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song |
Strict Linearizability and Abstract Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 32(1), pp. 1-35, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yangyang Wang, Zikai Wang, Yunpeng Chai, Xin Wang 0030 |
Rethink the Linearizability Constraints of Raft for Distributed Key-Value Stores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 37th IEEE International Conference on Data Engineering, ICDE 2021, Chania, Greece, April 19-22, 2021, pp. 1877-1882, 2021, IEEE, 978-1-7281-9184-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Conrad Gstöttner, Bernd Kolar, Markus Schöberl |
A Finite Test for the Linearizability of Two-Input Systems by a Two-Dimensional Endogenous Dynamic Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 2021 European Control Conference, ECC 2021, Virtual Event / Delft, The Netherlands, June 29 - July 2, 2021, pp. 970-977, 2021, IEEE, 978-9-4638-4236-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shir Cohen, Idit Keidar |
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. ![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. 18:1-18: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 | Vassos Hadzilacos, Xing Hu 0009, Sam Toueg |
On Register Linearizability and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, pp. 521-531, 2021, ACM, 978-1-4503-8548-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Gal Sela 0001, Maurice Herlihy, Erez Petrank |
Brief Announcement: Linearizability: A Typo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, pp. 561-564, 2021, ACM, 978-1-4503-8548-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Vassos Hadzilacos, Xing Hu 0009, Sam Toueg |
On Linearizability and the Termination of Randomized Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.15210, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Arik Rinberg, Idit Keidar |
Intermediate Value Linearizability: A Quantitative Correctness Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.12889, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels |
On the algorithmic linearizability of nonlinear ordinary differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 98, pp. 3-22, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Graeme Smith 0001, Kirsten Winter, Robert J. Colvin |
Linearizability on hardware weak memory models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 32(1), pp. 1-32, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
Root Causing Linearizability Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, pp. 350-375, 2020, Springer, 978-3-030-53287-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Arik Rinberg, Idit Keidar |
Intermediate Value Linearizability: A Quantitative Correctness Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference., pp. 2:1-2:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-168-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Hussain Ladhani, Jeffrey Jones, Joseph Staudinger, J. Stevenson Kenney |
Impact of the input baseband impedance on the intermodulation distortion and linearizability of RF power transistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RWS ![In: 2020 IEEE Radio and Wireless Symposium, RWS 2020, San Antonio, TX, USA, January 26-29, 2020, pp. 323-325, 2020, IEEE, 978-1-7281-1120-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Arik Rinberg, Idit Keidar |
Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: PODC '20: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, August 3-7, 2020, pp. 221-223, 2020, ACM, 978-1-4503-7582-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Katerina V. Sklyar, Svetlana Yu. Ignatovich |
On Linearizability Conditions for Non-autonomous Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KKA ![In: Advanced, Contemporary Control - Proceedings of KKA 2020 - The 20th Polish Control Conference, Łódź, Poland, 2020, pp. 625-637, 2020, Springer, 978-3-030-50935-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yang Liu 0277, Dmitry A. Lyakhov, Dominik L. Michels |
Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 421-430, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Hong-Gi Lee |
Verifiable Conditions for Discrete-Time Multioutput Observer Error Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 64(4), pp. 1632-1639, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang 0069 |
Replication-Aware Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.06560, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|