The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Linearizability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1994 (17) 1996-2004 (22) 2005-2007 (16) 2008-2009 (21) 2010-2011 (16) 2012-2013 (18) 2014 (20) 2015 (21) 2016 (16) 2017 (20) 2018 (17) 2019-2020 (20) 2021-2022 (17) 2023 (20) 2024 (3)
Publication types (Num. hits)
article(97) incollection(3) inproceedings(163) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(39) DISC(17) PODC(16) SPAA(6) CONCUR(5) OPODIS(5) PLDI(5) Proc. ACM Program. Lang.(5) CAV(4) Formal Aspects Comput.(4) IEEE Trans. Autom. Control.(4) IFM(4) J. ACM(4) CAV (2)(3) ESOP(3) FM(3) More (+10 of total 118)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 144 occurrences of 101 keywords

Results
Found 264 publication records. Showing 264 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
131Peter Wegner Granularity of modules in object-based concurrent systems. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
119Torvald Riegel, Christof Fetzer, Heiko Sturzrehm, Pascal Felber From causal to z-linearizable transactional memory. Search on Bibsonomy PODC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software transactional memory, linearizability
107Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan Line-up: a complete and automatic linearizability checker. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF thread safety, atomicity, linearizability
103Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld Sequentially consistent versus linearizable counting networks. Search on Bibsonomy Distributed Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
86Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav Comparison Under Abstraction for Verifying Linearizability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
86Marios Mavronicolas, Marina Papatriantafilou, Philippas Tsigas The Impact of Timing on Linearizability in Counting Networks. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
86Hagit Attiya, Jennifer L. Welch Sequential Consistency versus Linearizability. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
74John Derrick, Gerhard Schellhorn, Heike Wehrheim Proving Linearizability Via Non-atomic Refinement. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF refinement, CSP, Object-Z, linearizability, concurrent access
70Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri Eventually linearizable shared objects. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF eventual linearizability, availability, graceful degradation
70Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri Abortable Fork-Linearizable Storage. Search on Bibsonomy OPODIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
69Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001 Model Checking Linearizability via Refinement. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
69Maurice Herlihy, Jeannette M. Wing Linearizability: A Correctness Condition for Concurrent Objects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
66Maurice Herlihy, Jeannette M. Wing Linearizable concurrent objects. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
57Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh Verifying linearizability with hindsight. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hindsight, linearizability, wait-freedom, optimistic concurrency
57Michel Raynal Sequential consistency as lazy linearizability. Search on Bibsonomy SPAA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF sequential consistency, linearizability
54Michel Raynal, Matthieu Roy Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. Search on Bibsonomy PaCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability
53Martin T. Vechev, Eran Yahav, Greta Yorsh Experience with Model Checking Linearizability. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Youhui Zhang, Jinfeng Hu, Weimin Zheng The Flexible Replication Method in an Object-Oriented Data Storage System. Search on Bibsonomy NPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Kenneth P. Birman Maintaining consistency in distributed systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
49Yatin P. Saraiya Hard Problems for Simple Logic Programs. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Datalog
49Gail E. Kaiser Transactions for concurrent object-oriented programming systems. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
49Maurice Herlihy, Jeannette M. Wing Axioms for Concurrent Objects. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
37Tom Ridge Verifying distributed systems: the operational approach. Search on Bibsonomy POPL The full citation details ... 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
37Christian Cachin, Martin Geisler 0001 Integrity Protection for Revision Control. Search on Bibsonomy ACNS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hash trees, memory checking, fork linearizability, storage security, applied cryptography
37Martin T. Vechev, Eran Yahav Deriving linearizable fine-grained concurrent objects. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithms, model checking, data structures, concurrency, linearizability
37John Derrick, Gerhard Schellhorn, Heike Wehrheim Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
33Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for Concurrent Objects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Xiaoqiang Zhang, Lin Peng, Lunguo Xie Lowering Conflicts of High Contention Software Transactional Memory. Search on Bibsonomy CSSE (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Christian Cachin, Abhi Shelat, Alexander Shraer Efficient fork-linearizable access to untrusted shared memory. Search on Bibsonomy PODC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF arbitrary failures, fork-consistency, storage emulations
33Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman Long-Lived Rambo: Trading Knowledge for Communication. Search on Bibsonomy SIROCCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Jerry James, Ambuj K. Singh Fault Tolerance Bounds for Memory Consistency. Search on Bibsonomy WDAG The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Phillip B. Gibbons, Ephraim Korach On Testing Cache-Coherent Shared Memories. Search on Bibsonomy SPAA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Hagit Attiya Implementing FIFO Queus and Stacks (Extended Abstract). Search on Bibsonomy WDAG The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
21Shao Jie Zhang, Yang Liu 0003 Model Checking a Lazy Concurrent List-Based Set Algorithm. Search on Bibsonomy SSIRI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Concurrent List-Based Set Algorithm, PAT, Linearizability, Refinement Checking
21Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink Brief announcement: a shared disk on distributed storage. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers
21Damien Imbs, Michel Raynal Help When Needed, But No More: Efficient Read/Write Partial Snapshot. Search on Bibsonomy DISC The full citation details ... 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
21Damien Imbs, Michel Raynal Software Transactional Memories: An Approach for Multicore Programming. Search on Bibsonomy PaCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
21Luís E. T. Rodrigues, Nuno Carvalho, Emili Miedes Supporting Linearizable Semantics in Replicated Databases. Search on Bibsonomy NCA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF linearizability, database replication
21John Giacomoni, Tipp Moseley, Manish Vachharajani FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fastforward, multiprocessors, multicore, queue, lock-free, linearizability, nonblocking synchronization, pipeline parallel
21Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri Combinable memory-block transactions. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF memory-block transactions, priority write, read-modify-write, shared memory, transactional memory, queue, contention, combining, stack, linearizability, semaphore
21Zhibek Kadyrsizova, Valery G. Romanovski Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF the center and linearizability problems, normal forms, ordinary differential equations, polynomial ideals
21Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, Chandramohan A. Thekkath Graceful degradation via versions: specifications and implementations. Search on Bibsonomy PODC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fault tolerance, version, graceful degradation, linearizability
21Roy Friedman, Michel Raynal, Corentin Travers Brief announcement: abstractions for implementing atomic objects in dynamic systems. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF atomic object, dynamic system, asynchronous system, linearizability
21Liqiang Wang, Scott D. Stoller Static analysis of atomicity for programs with non-blocking synchronization. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
21Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit Using elimination to implement scalable and lock-free FIFO queues. Search on Bibsonomy SPAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
21Chien-Hua Shann, Ting-Lu Huang, Cheng Chen A Practical Nonblocking Queue Algorithm Using Compare-and-Swap. Search on Bibsonomy ICPADS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrent queue, compare-and-swap, linearizability, nonblocking
21Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda The Elusive Atomic Register. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF linearizability, atomic register, wait-free synchronization
21Michiko Inoue, Wei Chen 0003 Linear-Time Snapshot Using Multi-writer Multi-reader Registers. Search on Bibsonomy WDAG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF atomic snapshot, lattice agreement problem, shared memory system, linearizability, wait-free algorithm
20Prasad 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 Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002 A Compositional Theory of Linearizability. Search on Bibsonomy J. ACM The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Hagit Attiya, Armando Castañeda, Constantin Enea Strong Linearizability using Primitives with Consensus Number 2. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Ike Mulder, Robbert Krebbers Proof Automation for Linearizability in Separation Logic. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis The Path to Durable Linearizability. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002 A Compositional Theory of Linearizability. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Brigita Fercec, Maja Zulj, Jaume Giné Blow-Up Method for Linearizability of Resonant Differential Systems. Search on Bibsonomy Int. J. Bifurc. Chaos The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Arik Rinberg, Idit Keidar Intermediate Value Linearizability: A Quantitative Correctness Criterion. Search on Bibsonomy J. ACM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Yangyang Wang, Zikai Wang, Yunpeng Chai, Xin Wang 0030 Rethink the Linearizability Constraints of Raft for Distributed Systems. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jesús Domínguez, Aleksandar Nanevski Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Armando Castañeda, Gilde Valeria Rodríguez Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jesús Domínguez, Aleksandar Nanevski Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Matthew D. Kvalheim, Philip Arathoon Linearizability of flows by embeddings. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Uri Abraham, Avi Hayoun Linearizability Analysis of the Contention-Friendly Binary Search Tree. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Armando Castañeda, Sergio Rajsbaum, Michel Raynal A Linearizability-based Hierarchy for Concurrent Specifications. Search on Bibsonomy Commun. ACM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan Efficient linearizability checking for actor-based systems. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Roland Meyer 0001, Anton Opaterny, Thomas Wies, Sebastian Wolff 0001 nekton: A Linearizability Proof Checker. Search on Bibsonomy CAV (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Rudrapatna K. Shyamasundar ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract. Search on Bibsonomy SECRYPT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Katerina V. Sklyar, Svetlana Yu. Ignatovich, Grigory M. Sklyar Linearizability problem and invariants for multi-input non-autonomous control systems. Search on Bibsonomy MED The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Yuxuan Qin, Weize Gao, ChonLam Lao, Wenfei Wu, Kai Chen In-Network Key-Value Cache with Linearizability. Search on Bibsonomy ICPADS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Armando Castañeda, Gilde Valeria Rodríguez Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. Search on Bibsonomy PODC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jesús Domínguez, Aleksandar Nanevski Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack. Search on Bibsonomy CONCUR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Qiaowen 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 TASE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis The Path to Durable Linearizability. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Armando Castañeda, Sergio Rajsbaum, Michel Raynal A Snapshot-Based Introduction to the Linearizability Hierarchy. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Xinwei Fu, Dongyoon Lee, Changwoo Min DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. Search on Bibsonomy OSDI The full citation details ... 2022 DBLP  BibTeX  RDF
20Maja Zulj, Brigita Fercec, Matej Mencinger Linearizability of 2: -3 Resonant Systems with Quadratic Nonlinearities. Search on Bibsonomy Symmetry The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Rob Claes, Elias Jarlebring, Karl Meerbergen, Parikshit Upadhyaya Linearizability of eigenvector nonlinearities. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Tangliu Wen A Simple Way to Verify Linearizability of Concurrent Stacks. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Gal Sela 0001, Maurice Herlihy, Erez Petrank Linearizability: a Typo. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Vassos Hadzilacos, Xing Hu 0009, Sam Toueg On Register Linearizability and Termination. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Shir Cohen, Idit Keidar Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20David Yu Cheng Chan, Vassos Hadzilacos, Xing Hu 0009, Sam Toueg An Impossibility Result on Strong Linearizability in Message-Passing Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan Efficient Linearizability Checking for Actor-based Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song Strict Linearizability and Abstract Atomicity. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Yangyang Wang, Zikai Wang, Yunpeng Chai, Xin Wang 0030 Rethink the Linearizability Constraints of Raft for Distributed Key-Value Stores. Search on Bibsonomy ICDE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Conrad 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 ECC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Shir Cohen, Idit Keidar Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. Search on Bibsonomy DISC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Vassos Hadzilacos, Xing Hu 0009, Sam Toueg On Register Linearizability and Termination. Search on Bibsonomy PODC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Gal Sela 0001, Maurice Herlihy, Erez Petrank Brief Announcement: Linearizability: A Typo. Search on Bibsonomy PODC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Vassos Hadzilacos, Xing Hu 0009, Sam Toueg On Linearizability and the Termination of Randomized Algorithms. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
20Arik Rinberg, Idit Keidar Intermediate Value Linearizability: A Quantitative Correctness Criterion. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
20Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels On the algorithmic linearizability of nonlinear ordinary differential equations. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Graeme Smith 0001, Kirsten Winter, Robert J. Colvin Linearizability on hardware weak memory models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil Root Causing Linearizability Violations. Search on Bibsonomy CAV (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Arik Rinberg, Idit Keidar Intermediate Value Linearizability: A Quantitative Correctness Criterion. Search on Bibsonomy DISC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Hussain 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 RWS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Arik Rinberg, Idit Keidar Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. Search on Bibsonomy PODC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Katerina V. Sklyar, Svetlana Yu. Ignatovich On Linearizability Conditions for Non-autonomous Control Systems. Search on Bibsonomy KKA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Yang Liu 0277, Dmitry A. Lyakhov, Dominik L. Michels Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. Search on Bibsonomy CASC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Hong-Gi Lee Verifiable Conditions for Discrete-Time Multioutput Observer Error Linearizability. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang 0069 Replication-Aware Linearizability. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 264 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license