# | Y | | Author/Editor | | Title | |
1 |
| 2013 |
| |
2 |
| |
16 |
| 2007 |
| |
43 |
| |
41 |
| 2005 |
| |
37 |
| |
36 |
| 2003 |
| |
39 |
| |
58 |
| 2001 |
| |
48 |
| |
61 |
| 1999 |
| |
6 |
|
| |
2 |
|
| Proceedings |
| |
30 |
|
| |
| | | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | |
| | | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | |
| | | de Nivelle, Hans
Areces, Carlos
de Rijke, Maarten | | Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | |
| | | Delzanno, Giorgio
Esparza, Javier
Podelski, Andreas | | Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66 | |
| | | Delzanno, Giorgio
Podelski, Andreas | | Model Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239 | |
| | | Eisenbrand, Friedrich
Schulz, Andreas S. | | Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | |
| | | Ganzinger, Harald
de Nivelle, Hans | | A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | |
| | | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | | The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | |
| | | Hustadt, Ullrich
Schmidt, Renate A. | | Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | |
| | | Hustadt, Ullrich
Schmidt, Renate A. | | On the relation of resolution and tableaux proof systems for description logics
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 110-115 | |
| | | Jaeger, Manfred | | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | |
| | | Mukhopadhyay, Supratik
Podelski, Andreas | | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | |
| | | Podelski, Andreas
Charatonik, Witold
Müller, Martin | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | |
| | | Sofronie-Stokkermans, Viorica | | On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171 | |
| | | Sofronie-Stokkermans, Viorica | | Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54 | |
| | | Sofronie-Stokkermans, Viorica | | Representation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247 | |