|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 977-993, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management |
24 | Toshihide Ibaraki, Tiko Kameda, Naoki Katoh |
Cautious Transaction Schedulers for Database Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 997-1009, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
cautious schedulers, WW, write-write constraints, WRW, WW-scheduler, polynomial-time scheduling algorithm, read sets, write sets, scheduling, computational complexity, computational complexity, distributed databases, distributed databases, NP-complete, database theory, transaction schedulers, database concurrency control |
24 | Antoni W. Mazurkiewicz |
Basic notions of trace theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 285-363, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Petri nets, concurrency, processes, traces, partial ordering |
24 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Partial orderings descriptions and observations of nondeterministic concurrent processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 438-466, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages |
24 | Hartmut Ehrig, Barry K. Rosen |
Concurrency of Manipulations in Multidimensional Information Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978, pp. 165-176, 1978, Springer, 0-387-08921-7. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Multidimensional Information Structures, Applications of Category Theory, Parallelism, Concurrency, Graph Grammars, Church-Rosser-Properties |
24 | Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001 |
PRES: probabilistic replay with execution sketching on multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, pp. 177-192, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
replay, concurrency bug |
24 | Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh |
Capturing business transaction requirements in use case models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 602-606, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency, requirements, use cases, business transactions |
24 | Peter Grogono, Brian Shearing |
Concurrent software engineering: preparing for paradigm shift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2008, Montreal, Quebec, Canada, May 12-13, 2008, Proceedings, pp. 99-108, 2008, ACM, 978-1-60558-101-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency, software development, programming languages, evolvability, paradigm shift |
24 | Armand Navabi, Xiangyu Zhang 0001, Suresh Jagannathan |
Quasi-static scheduling for safe futures. ![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. 23-32, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency control, future, static program analysis |
24 | Pavel Parízek, Frantisek Plásil |
Partial Verification of Software Components: Heuristics for Environment Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 75-82, 2007, IEEE Computer Society, 0-7695-2977-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrency errors, model checking, static analysis, software components, Java PathFinder |
24 | James B. Lim, Ali R. Hurson |
Transaction Processing in Mobile, Heterogeneous Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(6), pp. 1330-1346, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
global information sharing process, caching and prefetching, simulation and analysis, concurrency control, Mobile computing environment |
24 | Horst F. Wedde, Sabine Böhm, Wolfgang Freund |
Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 169-178, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems |
24 | Anindya Datta, Sang Hyuk Son, Vijay Kumar 0002 |
Is a Bird in the Hand Worth More than Two in the Bush? Limitations of Priority Cognizance in Conflict Resolution for Firm Real-Time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(5), pp. 482-502, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, concurrency control, Real-time database systems |
24 | Xin Zhang 0002, Elke A. Rundensteiner |
DyDa: Dynamic Data Warehouse Maintenance in a Fully Concurrent Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, Second International Conference, DaWaK 2000, London, UK, September 4-6, 2000, Proceedings, pp. 94-103, 2000, Springer, 3-540-67980-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Data Updates and Schema Changes, Concurrency, Data Warehousing, View Maintenance |
24 | Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz |
Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(2), pp. 199-230, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
beyond serializability, concurrency control, multidatabases, database consistency |
24 | Didier Buchs, C. Buffard, Pascal Racloz |
Modeling and Validation of Tasks with Algebraic Structured Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 284-297, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task |
24 | D. M. Marcynuk, D. Michael Miller |
The OR-k method for on-line checking of programmable logic arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(1), pp. 53-65, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
fault secure design, on-line checking, concurrency, programmable logic array |
24 | Gerhard Weikum |
Principles and Realization Strategies of Multilevel Transaction Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 16(1), pp. 132-180, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
atomicity persistence concurrency control, multilevel transactions, persistence, serializability |
24 | Michel Dubois 0001, Christoph Scheurich |
Memory Access Dependencies in Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 660-673, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
memory access dependencies, logical concurrency model, pipelining, multiprocessing systems, rules, shared-memory multiprocessors, multiprogramming, storage allocation, multiprocessor architectures, private caches |
24 | Derek L. Eager, Kenneth C. Sevcik |
Achieving Robustness in Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(3), pp. 354-381, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
searializability, robustness, concurrency control, network partitioning |
23 | Christie Marr |
Capturing Conflict and Confusion in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 413-438, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion |
23 | Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son |
Real-time transaction processing with partial validation at mobile clients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 473-, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time transaction processing, partial validation, conflicting mobile transactions, data conflict detection, two-stage validation mechanism, processing resources, communication resources, transaction execution schedules, unnecessary transaction aborts, avoidable delay removal, asymmetric communication, schedule, real-time systems, mobile computing, data integrity, delays, concurrency control, wireless communication, transaction processing, client-server systems, deadlines, access protocols, mobile computing environments, mobile clients, concurrency control protocols |
23 | LihChyun Shu, Michal Young |
Chopping and versioning real-time transactions to avoid remote blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 93-101, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control |
23 | Thomas F. Keefe, Wei-Tek Tsai |
A multiversion transaction scheduler for centralized multilevel secure database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 206-213, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions |
23 | Haengrae Cho, Yoo-Sung Kim, Songchun Moon |
Prototyping DIME: a tightly coupled heterogeneous distributed database system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 296-303, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
tightly coupled, DIME, heterogeneous distributed database, global retrieval operations, global update operations, international standard protocols, remote database access, distributed databases, concurrency control, concurrency control, transaction processing, data distribution, software prototyping, distributed transaction processing |
23 | Shin-Mu Tseng, Yeh-Hao Chin, Wei-Pang Yang |
Scheduling real-time transactions with dynamic values: a performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 60-67, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
scheduling, scheduling, real-time systems, concurrency control, concurrency control, transactions, transaction processing, real-time scheduling, software performance evaluation, real-time databases, real-time transactions, priority ordering |
23 | Sujata Banerjee, Panos K. Chrysanthis |
Data sharing and recovery in gigabit-networked databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 204, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
wide area gigabit networks, very high speed networks, gigabit-networked databases, lock-based concurrency control protocol, log-based recovery protocol, sequential phases, concurrency control, message passing, data sharing, distributed information systems, data access, data recovery, database servers |
23 | Crispin Cowan, Hanan Lutfiyya, Michael A. Bauer 0001 |
Performance Benefits of Optimistic Programming: A Measure of HOPE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), Washington, DC, USA, August 2-4, 1995., pp. 197-204, 1995, IEEE Computer Society, 0-8186-7088-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimistic programming, inter-node communications latency, parallel programming, concurrency, concurrency control, programming environments, programming environment, latency, software performance evaluation, programming model, prototype implementation, performance benefits |
23 | Ben C. Moszkowski |
Compositional reasoning about projected and infinite time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 238-245, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic |
23 | Mohan Ahuja |
An Implementation of F-Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(6), pp. 658-667, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
F-channels, alternatepaths, distributed algorithms, distributed algorithms, concurrency, concurrency control, communication channel |
23 | Slawomir Pilarski, Tiko Kameda |
Checkpointing for Distributed Databases: Starting from the Basics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(5), pp. 602-610, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
consistent snapshots, transaction-consistent checkpoints, distributed databases, distributed databases, concurrency control, checkpointing, database theory, timestamping, two-phase locking, concurrency control protocols |
23 | Mukesh Singhal |
Update Transport: A New Technique for Update Synchronization in Replicated Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1325-1336, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
update transport, update synchronization, replicated database systems, fully distributed approach, user requests, low communication overhead, fully distributed algorithm, semidistributed algorithm, fully distributed model, update execution, moderate input/output overhead, parallelism, distributed databases, concurrency control, concurrency control, performance model, redundancy, performance study |
23 | Bruno Ciciani, Daniel M. Dias, Balakrishna R. Iyer, Philip S. Yu |
A Hybrid Distributed Centralized System Structure for Transaction Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 791-806, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
hybrid distributed centralized system structure, central system, non-local data, transaction processing applications, reservation systems, coherency control protocol, local transactions, distributed systems, concurrency, integrity, locality, data integrity, distributed processing, concurrency control, transaction processing, banking, remote accesses, insurance |
23 | Maurice Herlihy, Martin S. McKendry |
Timestamp-Based Orphan Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(7), pp. 825-831, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing |
23 | Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin |
On Distributing JASMIN's Optimistic Multiversioning Page Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 696-704, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules |
23 | Toshimi Minoura, S. Sitharama Iyengar |
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 47-59, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
time abstraction techniques, multilevel concurrent systems, bounced-buffer monitor, multilevel concurrency scheme, distributed databases, concurrency control, database system, data abstraction |
21 | Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar |
When Concurrency Matters: Behaviour-Oriented Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 1531-1560, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Bernd-Holger Schlingloff, Thomas Vogel 0001, Andrzej Skowron (eds.) |
Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![Springer, 978-3-031-26650-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | César Barrón-Rubio, Ernesto López-Mellado |
Inferring Activity Concurrency Relations from Incomplete Event Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED/PN4TT@Petri Nets ![In: Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Eduard Kamburjan, Nathan Wasser |
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., pp. 1-16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Filip Strömbäck, Linda Mannila, Mariam Kamkar |
The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatics Educ. ![In: Informatics Educ. 20(4), pp. 683-715, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Elena N. Bozhenkova, Irina B. Virbitskaite |
Extended Future in Testing Semantics for Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 65-89, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Heinrich Mellmann, Volha Taliaronak, Verena V. Hafner |
Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 145-173, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Lukasz Skowronek, Pawel Góra, Marcin Mozejko, Arkadiusz Klemenko |
Graph-Based Sparse Neural Networks for Traffic Signal Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 203-227, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Damas P. Gruska |
Security Enforcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 123-143, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Viju Sudhi, Libin Kutty, Robin Gröpler |
Natural Language Processing for Requirements Formalization: How to Derive New Approaches? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 1-27, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Soma Dutta |
An Example of Computation in Interactive Granular Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 47-63, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Roman R. Redziejowski |
Left Recursion by Recursive Ascent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 29-46, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Eyad Kannout, Marek Grzegorowski, Hung Son Nguyen |
Toward Recommender Systems Scalability and Efficacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 91-121, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Agnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka |
A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P (Revised Selected Papers) ![In: Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany, pp. 175-201, 2021, Springer, 978-3-031-26650-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Dilley, Julien Lange |
Bounded verification of message-passing concurrency in Go using Promela and Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., pp. 34-45, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Gorrieri |
Interleaving vs True Concurrency: Some Instructive Security Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings, pp. 131-152, 2020, Springer, 978-3-030-51830-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ningnan Zhou, Xuan Zhou 0001, Kian-Lee Tan, Shan Wang 0001 |
Transparent Concurrency Control: Decoupling Concurrency Control from DBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.00609, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Daniel Moldt, Ekkart Kindler, Manuel Wimmer (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.) |
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar |
A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICER ![In: Proceedings of the 2019 ACM Conference on International Computing Education Research, ICER 2019, Toronto, ON, Canada, August 12-14, 2019, pp. 229-237, 2019, ACM, 978-1-4503-6185-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Elena Gómez-Martínez, Juan de Lara, Esther Guerra |
Towards Extensible Structural Analysis of Petri Net Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 37-46, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Talal Alharbi, Maciej Koutny |
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 93-108, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Federica Adobbati, Luca Bernardinello, Lucia Pomello |
An Asynchronous Game on Distributed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 17-36, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza |
PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 73-90, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki |
Petri Meta-Compiler - A Recursive Approach to System Design and Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 109-126, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Jan Mendling |
Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 11-12, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Wen Zeng, Vasileios Germanos |
Modelling Hybrid Cyber Kill Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 143-160, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt |
A First Prototype for the Visualization of the Reachability Graph of Reference Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 165-166, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Torsten Liebke, Karsten Wolf |
Solving E (φUψ) using the CEGAR Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 47-56, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Maxi Weichenhain, Wolfgang Fengler 0001 |
A Petri Net Table Model Applied to Classic and Agile Project Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 127-142, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle |
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 57-72, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Hans Vangheluwe |
Petri Nets in Multi-Paradigm Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 13-14, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon |
Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 163-164, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel |
Two Operations for Stable Structures of Elementary Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 36-53, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili |
Emails Analysis for Business Process Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 54-70, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Alessandro Berti, Wil M. P. van der Aalst |
Reviving Token-based Replay: Increasing Speed While Improving Diagnostics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 87-103, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa |
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 6-22, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Jörg Desel |
Can a Single Transition Stop an Entire Net? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 23-35, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Ronny Tredup, Christian Rosenke |
On the Hardness of Synthesizing Boolean Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 71-86, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Daniel Moldt, Ekkart Kindler, Heiko Rölke (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.) |
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Konstantin Läufer, George K. Thiruvathukal |
Managing Concurrency in Mobile User Interfaces with Examples in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Topics in Parallel and Distributed Computing ![In: Topics in Parallel and Distributed Computing, Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms., pp. 243-285, 2018, Springer, 978-3-319-93108-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler |
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 95-104, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Rozália Lakner, Ferenc Friedler, Botond Bertók |
P-graph Algorithms for Petri Net Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 173-174, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Talal Alharbi, Maciej Koutny |
Visualising Data Sets in Structured Occurrence Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 121-132, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann |
Investigation of Containerizing Distributed Petri Net Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 133-142, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Karsten Wolf |
A Simple Abstract Interpretation for Petri Net Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 163-170, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva |
The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 143-162, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs |
Petri Sport: A Sport for Petri Netters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 35-56, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Ramchandra Phawade |
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 77-98, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz |
Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 57-76, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle |
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 99-118, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa |
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 15-34, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello |
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 23-38, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Wil M. P. van der Aalst |
Relating Process Models and Event Logs - 21 Conformance Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 56-74, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa |
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 75-90, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel |
On the Decomposition of Regional Events in Elementary Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 39-55, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara |
Reversing Computations Modelled by Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 91-111, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Pieter M. Kwantes, Jetty Kleijn |
On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 6-22, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.) |
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Daniel Moldt, Lawrence Cabac, Heiko Rölke (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Dixin Tang, Hao Jiang 0021, Aaron J. Elmore |
Adaptive Concurrency Control: Despite the Looking Glass, One Concurrency Control Does Not Fit All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDR ![In: 8th Biennial Conference on Innovative Data Systems Research, CIDR 2017, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings, 2017, www.cidrdb.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Karsten Wolf |
Model Checking Concurrency and Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings, pp. 159-178, 2017, Springer, 978-3-319-57860-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen 0001, John Wickerson |
Forward Progress on GPU Concurrency (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, pp. 1:1-1:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-048-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
|
|