Torthaí Cuardaigh - communication computation concurrent decisions

1

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Foilsithe 2006

Clár Ábhair: “...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Foilsithe 2008

Clár Ábhair: “... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference...

Foilsithe 2007

Clár Ábhair: “...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Transactions on Petri Nets and Other Models of Concurrency V

Foilsithe 2012

Clár Ábhair: “... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Foilsithe 2014

Clár Ábhair: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings /

Foilsithe 2010

Ábhair: “...Computer communication systems....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Foilsithe 2005

Clár Ábhair: “... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012, Proceedings /

Foilsithe 2012

Clár Ábhair: “...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Intelligent Decision Systems in Large-Scale Distributed Environments

Foilsithe 2011

Clár Ábhair: “...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Foilsithe 2015

Clár Ábhair: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West...

Foilsithe 2005

Clár Ábhair: “... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Security and Privacy in the Age of Ubiquitous Computing IFIP TC11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, Japan /

Foilsithe 2005

Clár Ábhair: “... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Intelligent Automation and Computer Engineering

Foilsithe 2010

Clár Ábhair: “...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...

Foilsithe 2014

Clár Ábhair: “... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Foilsithe 2008

Clár Ábhair: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng