| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanç Seylan |
Query Answering with DBoxes is Hard.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Mark Marron |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko |
Combining Proof and Model-checking to Validate Reconfigurable Architectures. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Brookes |
A Revisionist History of Concurrent Separation Logic. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Sáenz-Pérez |
DES: A Deductive Database System. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Preller, Mehrnoosh Sadrzadeh |
Bell States and Negative Sentences in the Distributed Model of Meaning. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang, Volker Stolz |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Osama Younes, Nigel Thomas |
Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Valentin Goranko, Guido Sciavicco |
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dipak Chaudhari, Om P. Damani |
Generating Hierarchical State Based Representation From Event-B Models. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa |
Models of Rate Restricted Communication for Concurrent Objects. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer |
Generic Executable Semantics for D-Clean. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
Bounded Retransmission in Event-B∥CSP: a Case Study. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Perez, Darío Correal |
A Model Driven Approach to the Analysis of Quality Scenarios within Self-Adaptable SOA Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Burger, Ralf Reussner |
Performance Certification of Software Components. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Zeng, Aad P. A. van Moorsel |
Quantitative Evaluation of Enterprise DRM Technology. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Andre Levchenko |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Alejandro Díaz-Caro |
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Buisse, Lars Birkedal, Kristian Støvring |
Step-Indexed Kripke Model of Separation Logic for Storable Locks. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Keye Martin |
How to Randomly Flip a Quantum Bit. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini |
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen |
Realization of Coinductive Types. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinanda Camporesi, Jérôme Feret |
Formal Reduction for Rule-based Models. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Battenfeld, Matthias Schröder |
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Perdrix |
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Palma |
A Tabu Search Heuristic for the Prize-collecting Rural Postman Problem. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Daniel Gorín |
Unsorted Functional Translations. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ábel Sinkovics |
Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kaminski, Gert Smolka |
Clausal Tableaux for Hybrid PDL. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barnum, Alexander Wilce |
Information Processing in Convex Operational Theories. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | T. N. Palmer |
The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damon Fenacci, Kenneth MacKenzie |
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Heunen, Bart Jacobs |
Quantum Logic in Dagger Kernel Categories. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang |
A Parallel Approach to Concolic Testing with Low-cost Synchronization. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas |
A Case Study on Verifying a Supervisor Component Using McErlang. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Quanlong Wang, Baoshan Wang, Yongjun Wang, Qiye Zhang |
Graphical Calculus for Quantum Key Distribution (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Bauml, Premek Brada |
Reconstruction of Type Information from Java Bytecode for Component Compatibility. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Vicary |
Categorical Formulation of Finite-dimensional C*-algebras. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Grattage |
An Overview of QML With a Concrete Implementation in Haskell. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Porkoláb, Norbert Pataki |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey |
What is a Categorical Model of Arrows? |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker |
Constructive Description Logics Hybrid-Style. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Bill Edwards |
Toy Quantum Categories (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Valiron |
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst L. Leiss, Rodrigo M. Santos |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellie D'Hondt, Mehrnoosh Sadrzadeh |
Classical Knowledge for Quantum Security. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick |
Expressiveness of Hybrid Temporal Logic on Data Words. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Ricart, Germán Hüttemann, Joaquín Lima, Benjamín Barán |
Multiobjective Harmony Search Algorithm Proposals. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Correlated Information: A Logic for Multi-Partite Quantum Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Lim, Fábio Magnani, Adilson Arcoverde Jr. |
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko, Guido Sciavicco |
Two-sorted Point-Interval Temporal Logics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage |
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Potet, Helen Treharne |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Aguilar, Juan Anderson |
A Neural Watermark Approach. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jevgeni Kabanov |
JRebel Tool Demo. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cibele Matos Freire, Ana Teresa C. Martins |
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce, James Noble |
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Slodicák, Pavol Macko |
Some New Approaches in Functional Programming Using Algebras and Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Angius, András Horváth |
The Monte Carlo EM method for the parameter estimation of biological models. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Ana Sokolova |
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Sano |
Axiomatizing Hybrid Products of Monotone Neighborhood Frames. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zalán Szügyi, Márk Török, Norbert Pataki |
Multicore C++ Standard Template Library in a Generative Way. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre M. Santana, Kelson R. T. Aires, Rodrigo M. S. Veras, Adelardo A. D. Medeiros |
An Approach for 2D Visual Occupancy Grid Map Using Monocular Vision. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Miguel Tobar Toledo, Mariel Alejandra Ale, Omar Chiotti, María Rosa Galli |
An Ontology-driven Document Retrieval Strategy for Organizational Knowledge Management Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Maccone |
The Thermodynamic Arrow-of-time and Quantum Mechanics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Prakash Panangaden, Peter Selinger |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Hudon, Thai Son Hoang |
Development of Control Systems Guided by Models of their Environment. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanner Crowder |
A Quantum Representation for Involution Groups. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarina Britz, Thomas Meyer, Ivan José Varzinczak |
Preferential Reasoning for Modal Logics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Frédéric Moisan |
An Epistemic Logic of Extensive Games. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Daniel Benavides Navarro, Andrés Barrera, Kiyoshige Garcés, Hugo Arboleda |
Detecting and Coordinating Complex Patterns of Distributed Events with KETAL. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic |
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. V. Sreejith |
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fanny González, Luís Fariña, Eustaquio Martínez, Esteban Vargas, Anastacio Arce |
Lagrangean Relaxation Parallel Method for Optimizing of a Hydroelectric Generation System. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Kaizer Vizzotto, André Rauber Du Bois |
Modelling Parallel Quantum Computing Using Transactional Memory. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Angius, András Horváth |
Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Jeremy Seligman |
Open and Closed Questions in Decision-making. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso |
A Tool for Analysing Logics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Event B Development of a Synchronous AADL Scheduler. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Kishida |
Neighborhood-Sheaf Semantics for First-Order Modal Logic. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kreyssig, Peter Dittrich |
Fragments and Chemical Organisations. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti |
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Sciacca, Salvatore Spinella, Andrea Genre, Cristina Calcagno |
Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy L. Y. Leung, William J. Knottenbelt |
Stochastic Modelling and Optimisation of Internet Auction Processes. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Vicary |
Categorical Properties of The Complex Numbers. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen |
Platform-Variant Applications from Platform-Independent Models via Templates. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Mads Dam |
An Epistemic Predicate CTL* for Finite Control π-Processes. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyuan Liu, Jun Pang, Chenyi Zhang |
Verification of A Key Chain Based TTP Transparent CEM Protocol. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Hermann Haeusler, Luis Fariñas del Cerro |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez |
A Prolog-based Query Language for OWL. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor M. Gulías, Josep Silva Galiana |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramyaa Ramyaa, Daniel Leivant |
Ramified Corecurrence and Logspace. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")