|
|
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 |
28 | Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XII |
Trans. Petri Nets and Other Models of Concurrency |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Gibson-Robinson, Philippa J. Hopcroft, Ranko Lazic 0001 (eds.) |
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Carroll Morgan |
A Demonic Lattice of Information. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Ranko Lazic 0001, Patrick Totzke |
What Makes Petri Nets Harder to Verify: Stack or Data? |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Michael W. Mislove |
Discrete Random Variables Over Domains, Revisited. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Peter Y. A. Ryan |
A Brief History of Security Protocols. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Antti Valmari |
More Stubborn Set Methods for Process Algebras. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jay Yantchev, Atanas N. Parashkevov |
Virtualization Based Development. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Henri Hansen |
Abstractions for Transition Systems with Applications to Stubborn Sets. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Joshua D. Guttman |
Information Flow, Distributed Systems, and Refinement, by Example. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Gavin Lowe |
Analysing Lock-Free Linearizable Datatypes Using CSP. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang 0001 |
A Specification Theory of Real-Time Processes. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jifeng He 0001, Qin Li 0002 |
A Hybrid Relational Modelling Language. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Olga Chen, Catherine Meadows 0001, Gautam Trivedi |
Stealthy Protocols: Metrics and Open Problems. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio |
FDR: From Theory to Industrial Application. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Rob J. van Glabbeek |
A Branching Time Model of CSP. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Simon Foster 0001, Jim Woodcock 0001 |
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. |
Concurrency, Security, and Puzzles |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Jörg Desel, Jetty Kleijn (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XI |
Trans. Petri Nets and Other Models of Concurrency |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Jörg Desel, Serge Haddad (eds.) |
Transactions on Petri Nets and Other Models of Concurrency X |
Trans. Petri Nets and Other Models of Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott (eds.) |
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Jayadev Misra |
A Denotational Semantic Theory of Concurrent Systems. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott |
Two Decades of Maude. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott |
José Meseguer: Scientist and Friend Extraordinaire. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Kokichi Futatsugi |
Generic Proof Scores for Generate & Check Method in CafeOBJ. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Rolf Hennicker, Annabelle Klarl, Martin Wirsing |
Model-Checking Helena Ensembles with Spin. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Catherine Meadows 0001 |
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Peter D. Mosses, Ferdinand Vesely |
Weak Bisimulation as a Congruence in MSOS. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse |
Alice and Bob Meet Equational Theories. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Stefanie Neubert, Lenz Belzner, Martin Wirsing |
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Michael LeMay, Carl A. Gunter |
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
A Normal Form for Stateful Connectors. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Falke 0001, Deepak Kapur |
When Is a Formula a Loop Invariant? |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki |
Modularity of Ontologies in an Arbitrary Institution. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Kyungmin Bae, Peter Csaba Ölveczky |
Hybrid Multirate PALS. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino |
Debits and Credits in Petri Nets and Linear Logic. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak |
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Camilo Rocha |
The Formal System of Dijkstra and Scholten. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Grigore Rosu |
From Rewriting Logic, to Programming Language Semantics, to Program Verification. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Raúl Gutiérrez, Salvador Lucas |
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Marisa Navarro, Fernando Orejas, Elvira Pino |
Satisfiability of Constraint Specifications on XML Documents. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
Discretionary Information Flow Control for Interaction-Oriented Specifications. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves |
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Thomas J. Anastasio |
Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Shuo Chen 0001 |
Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans |
On First-Order Model-Based Reasoning. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Erwin Engeler |
Formal Universes. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Hélène Kirchner |
Rewriting Strategies and Strategic Rewrite Programs. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Serge Haddad, Alex Yakovlev (eds.) |
Transactions on Petri Nets and Other Models of Concurrency IX |
Trans. Petri Nets and Other Models of Concurrency |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (eds.) |
Transactions on Petri Nets and Other Models of Concurrency VII |
Trans. Petri Nets and Other Models of Concurrency |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev (eds.) |
Transactions on Petri Nets and Other Models of Concurrency VIII |
Trans. Petri Nets and Other Models of Concurrency |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.) |
Transactions on Petri Nets and Other Models of Concurrency V |
Trans. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (eds.) |
Transactions on Petri Nets and Other Models of Concurrency VI |
Trans. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.) |
Transactions on Petri Nets and Other Models of Concurrency IV |
Trans. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) |
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001 |
A Small Step for Mankind. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | E. Allen Emerson |
Meanings of Model Checking. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe |
Concurrent Objects à la Carte. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Dines Bjørner, Asger Eir |
Compositionality: Ontology and Mereology of Domains. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Peter van Emde Boas |
Playing Savitch and Cooking Games. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Manfred Broy |
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Proving the Refuted: Symbolic Model Checkers as Proof Generators. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jan Peleska 0001 |
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Hans Langmaack |
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Counterexample Guided Path Reduction for Static Program Analysis. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Ernst-Rüdiger Olderog, Andreas Podelski |
Explicit Fair Scheduling for Dynamic Control. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Kai Engelhardt, Ralf Huuck |
Smaller Abstractions for FOR ALL CTL* without Next. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jozef Hooman, Marcel Verhoef |
Formal Semantics of a VDM Extension for Distributed Embedded Systems. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
Computer Science and State Machines. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland |
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech |
Automated Proofs for Asymmetric Encryption. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Dennis Dams, Ulrich Hannemann, Martin Steffen |
A Bibliography of Willem-Paul de Roever. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Shivali Agarwal, R. K. Shyamasundar |
A Proof System for a PGAS Language. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | David Harel, Amir Kantor, Shahar Maoz |
On the Power of Play-Out for Scenario-Based Programs. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Jensen, Jonathan Billington, Maciej Koutny (eds.) |
Transactions on Petri Nets and Other Models of Concurrency III |
Trans. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (eds.) |
Transactions on Petri Nets and Other Models of Concurrency I |
Trans. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Pierpaolo Degano, Rocco De Nicola, José Meseguer 0001 (eds.) |
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg |
Graph Transformation Units - An Overview. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Arend Rensink |
Explicit State Model Checking for Graph Grammars. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | José Meseguer 0001 |
The Temporal Logic of Rewriting: A Gentle Introduction. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
Specifying and Analysing SOC Applications with COWS. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | José Luiz Fiadeiro |
What Do Semantics Matter When the Meat Is Overcooked?. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Cosimo Laneve, Luca Padovani |
The Pairing of Contracts and Session Types. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Marco Pistore, Emilio Tuosto |
History Dependent Automata for Service Compatibility. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Angelo Raffaele Meo |
Some Theorems Concerning the Core Function. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Yankelevich |
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Franco Turini |
The Semantics of Ugo Montanari. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Rocco De Nicola, Pierpaolo Degano, José Meseguer 0001 |
Ugo Montanari in a Nutshell. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Carlo Ghezzi, Paola Inverardi, Carlo Montangero |
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Corradini 0001 |
Ugo Montanari and Graph Transformation. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Donald Sannella, Andrzej Tarlecki |
Observability Concepts in Abstract Data Type Specification, 30 Years Later. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci |
A Category of Explicit Fusions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing |
A Heterogeneous Approach to UML Semantics. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Francesca Rossi 0001 |
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
Event-Based Service Coordination. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
Service Oriented Architectures, Coordination, Event Notification |
28 | Philippe Darondeau |
On the Synthesis of Zero-Safe Nets. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Martelli |
The Seventies. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Stefania Gnesi |
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Leila Ribeiro 0001, Fernando Luís Dotti |
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 10697 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|