Robustness Against Transactional Causal Consistency
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
On the Path-Width of Integer Linear Programming
Enea, Constantin, Habermehl, Peter, Inverso, Omar, Parlato, Gennaro
Published in Electronic proceedings in theoretical computer science (24.08.2014)
Published in Electronic proceedings in theoretical computer science (24.08.2014)
Get full text
Journal Article
On the complexity of checking transactional consistency
Biswas, Ranadeep, Enea, Constantin
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
Scenario-Based Proofs for Concurrent Objects
Enea, Constantin, Koskinen, Eric
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
REGLEMENTĂRI PRIVIND CONTROLUL INTERN AL SOCIETĂȚILOR COMERCIALE
Enea, Constantin
Published in Analele Universitatii "Constantin Brâncusi" din Târgu Jiu. Serie Stiinte Juridice (01.04.2019)
Get full text
Published in Analele Universitatii "Constantin Brâncusi" din Târgu Jiu. Serie Stiinte Juridice (01.04.2019)
Journal Article
Weak-consistency specification via visibility relaxation
Emmi, Michael, Enea, Constantin
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
Sound, complete, and tractable linearizability monitoring for concurrent collections
Emmi, Michael, Enea, Constantin
Published in Proceedings of ACM on programming languages (01.01.2018)
Published in Proceedings of ACM on programming languages (01.01.2018)
Get full text
Journal Article
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Bouajjani, Ahmed, Dragoi, Cezara, Enea, Constantin, Jurski, Yan, Sighireanu, Mihaela
Published in Logical methods in computer science (22.04.2009)
Published in Logical methods in computer science (22.04.2009)
Get full text
Journal Article
ROLE OF THE STRATEGY IN THE FUTURE PERFORMANCE OF THE COMPANY
ENEA CONSTANTIN, ENEA CONSTANTA
Published in Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie (01.12.2019)
Get full text
Published in Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie (01.12.2019)
Journal Article
Checking causal consistency of distributed databases
Zennou, Rachid, Biswas, Ranadeep, Bouajjani, Ahmed, Enea, Constantin, Erradi, Mohammed
Published in Computing (01.10.2022)
Published in Computing (01.10.2022)
Get full text
Journal Article