|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Bing Li, Junichi Iijima |
A Hybrid Approach for Business Process Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1-9, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Business process verification, Situation calculus, XPDL |
14 | James D. Jones, Susanna Badiola, Daley Seeker |
A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1029-1035, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus |
14 | Shilun Ge, Nan Ren, Hong Miao |
A Research on Data Modeling of Enterprises Based on Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 635-640, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data criterion, Data model, Control system, Enterprise information system (EIS), Situation calculus |
14 | Franck Binard, Amy P. Felty |
An abstraction-based genetic programming system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 2415-2422, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
14 | Masato Koda |
A New Computing Method for Greeks Using Stochastic Sensitivity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 447-454, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Malliavin calculus, Monte Carlo simulation, Greeks |
14 | Samuel Hym |
Mobility Control Via Passports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 349-363, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
control of agent migrations, distributed computation, process calculus, observational equivalence |
14 | Bill Stoddart, Dominique Cansell, Frank Zeyda |
Modelling and Proof Analysis of Interrupt Driven Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 155-170, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interrupt Driven Scheduler, Formal Methods, Event Calculus |
14 | Lishan Hou, Zhi Jin, Budan Wu |
Modeling and verifying Web services driven by requirements: An ontology-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(6), pp. 792-820, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
environment ontology, Web service, formal verification, ? calculus, automatic composition |
14 | Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg |
Program Extraction from Normalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 25-49, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus |
14 | Agata Ciabattoni, Kazushige Terui |
Towards a Semantic Characterization of Cut-Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 95-119, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
nonclassical logicss, phase semantics, sequent calculus, cut-elimination, substructural logics |
14 | Matthias Baaz, Rosalie Iemhoff |
Gentzen Calculi for the Existence Predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 7-23, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
14 | Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, Alfonso Urso |
A Logical Architecture for Active Network Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Syst. Manag. ![In: J. Netw. Syst. Manag. 14(1), pp. 127-146, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Network ontology, Intelligent systems, Situation calculus, Programmable networks |
14 | Kamal Jain, Vijay V. Vazirani, Gideon Yuval |
On the capacity of multiple unicast sessions in undirected graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(6), pp. 2805-2809, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
entropy calculus, undirected capacity, cryptography, network coding, multicommodity flow, network capacity |
14 | Paul Blain Levy |
Call-by-push-value: Decomposing call-by-value and call-by-name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(4), pp. 377-414, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value |
14 | Carlos Simpson |
Explaining Gabriel-Zisman Localization to the Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(3), pp. 259-285, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
calculus of fractions, computer proof verification, localization, category, proof assistant, functor |
14 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 141-152, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
14 | Colin Stirling |
A Game-Theoretic Approach to Deciding Higher-Order Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 348-359, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher-order matching, Games, typed lambda calculus |
14 | Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn |
Programming with heterogeneous structures: manipulating XML data using bondi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006, pp. 287-295, 2006, Australian Computer Society, 1-920682-30-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
heterogeneous data structure, pattern calculus, functional programming, XML processing |
14 | Jens B. Schmitt, Frank A. Zdarsky |
The DISCO network calculator: a toolbox for worst case analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 8, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
tool support, network calculus, deterministic guarantees |
14 | Giada Giorgi, Claudio Narduzzi |
Analysis of traffic flow measurements by rate-interval curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 52, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
self-similarity, network calculus, traffic measurement |
14 | Christian Urban, Stefan Berghofer |
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 498-512, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Lambda-calculus, proof assistants, nominal logic, primitive recursion |
14 | Su Feng |
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(4), pp. 496-513, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system |
14 | Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh |
Interaction Protocols as Design Abstractions for Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(12), pp. 1015-1027, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
interaction-based modeling, software design methodologies, Multiagent systems, software reuse, pi-calculus, rule-based processing |
14 | Luigi Alcuri, Giuseppe Barbera, Giuseppe D'Acquisto |
Service Curve Estimation by Measurement: An Input Output Analysis of a Softswitch Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoS-IP ![In: Quality of Service in Multiservice IP Networks, Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005, Proceedings, pp. 49-60, 2005, Springer, 3-540-24557-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
softswitch model, Network calculus, delay bounds, performance bounds, service curve |
14 | Matthias Baaz, Rosalie Iemhoff |
On Interpolation in Existence Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 697-711, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
14 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 63-74, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
14 | Olin Shivers |
The anatomy of a loop: a story of scope and control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 2-14, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures |
14 | Christian Urban, Michael Norrish |
A formal treatment of the barendregt variable convention in rule inductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005, pp. 25-32, 2005, ACM, 978-1-59593-072-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
POPLmark challenge, ?-calculus, nominal logic |
14 | Christian Urban, Christine Tasson |
Nominal Techniques in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 38-53, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
theorem-assistants, Lambda-calculus, nominal logic, structural induction |
14 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 187-202, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
14 | Ernesto Wandeler, Lothar Thiele |
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 80-89, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus |
14 | Colin Stirling |
Higher-Order Matching and Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 119-134, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
higher-order matching, games, typed lambda calculus |
14 | Robert Demolombe, Ana María Otermin Fernandez |
Recognition of the intention to perform a procedure: a method based on probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1133-1134, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
probability theory, situation calculus, intention recognition |
14 | Giovanna D'Agostino |
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers, pp. 96-116, 2005, Springer, 978-3-540-75143-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus |
14 | Katsumi Inoue, Koji Iwanuma |
Speculative Computation Through Consequence-Finding in Multi-Agent Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(1-3), pp. 255-291, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
consequence-finding, SOL calculus, conditional answer, default logic, speculative computation |
14 | Lech Polkowski |
Rough Mereology as a Link Between Rough and Fuzzy Set Theories. A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets II, pp. 253-277, 2004, Springer, 3-540-23990-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
granular calculus, rough-fuzzy-neurocomputing, fuzzy set theory, rough set theory, rough mereology, rough inclusions, computing with words |
14 | Moreno Andreatta, D. T. Vuza, Carlos Agón |
On some theoretical and computational aspects of Anatol Vieru's periodic sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(9), pp. 588-596, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Algebraic formalization, Finite difference calculus on groups, Decomposition, Periodic sequences |
14 | Stefano Baratella, Andrea Masini |
An approach to infinitary temporal proof theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(8), pp. 965-990, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic |
14 | Henning Dierks |
Comparing model checking and logical reasoning for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(2), pp. 104-120, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Real-time, Timed Automata, Duration Calculus |
14 | Nick Benton, Luca Cardelli, Cédric Fournet |
Modern concurrency abstractions for C#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(5), pp. 769-804, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
join calculus, polyphonic C?, synchronization, events, threads, messages, Asynchrony, chords |
14 | Khaled Mahbub, George Spanoudakis |
A framework for requirents monitoring of service based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings, pp. 84-93, 2004, ACM, 1-58113-871-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
event calculus, BPEL4WS, service-based systems, requirements monitoring |
14 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 521-536, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
14 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
A semantics for web services authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 198-209, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
web services, XML security, applied pi calculus |
14 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Asynchronous and deterministic objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 123-134, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures |
14 | Olin Shivers, David Fisher |
Multi-return function call. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 79-89, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call |
14 | Baohua Wang, Pinaki Mazumder |
On optimality of adiabatic switching in MOS energy-recovery circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 236-239, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
adiabatic circuit, power clock optimization, variational calculus |
14 | Baohua Wang, Pinaki Mazumder |
On optimality of adiabatic switching in MOS energy-recovery circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 332-337, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
adiabatic circuit, power clock optimization, variational calculus |
14 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 132-143, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
14 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 292-309, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
14 | Alan Skelley |
A Third-Order Bounded Arithmetic Theory for PSPACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 340-354, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quantified propositional calculus, Bounded arithmetic, PSPACE, propositional proof complexity |
14 | Christian Lang 0001, Bernd Steinbach |
Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 20(3-4), pp. 233-267, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bi-decomposition, differential calculus, multi-level circuit design, data mining, machine learning, logic synthesis, multiple-valued logic |
14 | Bernd Steinbach, Christian Lang 0001 |
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 20(3-4), pp. 319-360, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bi-decomposition, Boolean differential calculus, derivative operation, multi-level circuit, delay, Boolean function, lattice, area |
14 | Yossi Cohen, Yishai A. Feldman |
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(3), pp. 285-316, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Database program reengineering, the plan calculus, temporal abstraction, query graphs |
14 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
ArcAngel: a Tactic Language for Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(1), pp. 28-47, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ensp, Formal methods, Refinement calculus, Program development |
14 | Stephan Recker |
Service Curve Based Routing Subject to Deterministic QoS Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 24(2-4), pp. 385-413, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
deterministic network calculus, cost model for service curves, optimal link resource allocation, restricted shortest path problem, local search heuristics, service curves |
14 | James F. Peters, Andrzej Skowron, Piotr Synak, Sheela Ramanna |
Rough Sets and Information Granulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 370-377, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
calculus of granules, rough sets, Approximation spaces, information granulation, rough mereology |
14 | Stephen Bique |
Useful formulas for multidimensional arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the 2003 Conference on APL: Stretching the Mind, APL 2003, San Diego, California, USA, June 11-14, 2003, pp. 43-47, 2003, ACM, 1-58113-668-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
problem specification, program, calculus, formulas |
14 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 195-206, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
14 | Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio |
Distributed Intelligent Management of Active Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings, pp. 312-323, 2003, Springer, 3-540-20119-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus |
14 | Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes 0001 |
O3F: an object oriented ontology framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 639-646, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus |
14 | Klaus Aehlig, Helmut Schwichtenberg |
A syntactical analysis of non-size-increasing polynomial time computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(3), pp. 383-401, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Complexity, linear logic, lambda calculus |
14 | Jean-Yves Le Boudec |
Some properties of variable length packet shapers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(3), pp. 329-337, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
min-plus algebra, shaper, network calculus, leaky bucket |
14 | Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boudec, Patrick Thiran |
A min, + system theory for constrained traffic regulation and dynamic service guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(6), pp. 805-817, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
(min, +) algebra, performance analysis, buffer overflow, packet losses, network calculus, traffic shaping |
14 | Graeme Smith 0001, Ian J. Hayes |
An Introduction to Real-Time Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 128-141, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification |
14 | Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic |
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 59-66, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus |
14 | Li Tan, Rance Cleaveland |
Evidence-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 455-470, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
diagnostic information, Model checking, temporal logic, mu-calculus |
14 | Abdesselam Redouane |
Experience Using Formal Methods for Capturing Requirements of Web-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada, pp. 213-221, 2002, IEEE Computer Society, 0-7695-1724-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modularity and parameterization, formal methods, web-based applications, dynamic behavior, predicate calculus |
14 | Jamie Shield, Ian J. Hayes |
Refining Object-Oriented Invariants and Dynamic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 52-, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
history properties, Object-orientation, invariants, refinement calculus |
14 | Emir Pasalic, Walid Taha, Tim Sheard |
Tagless staged interpreters for typed languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 218-229, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming |
14 | Aleksandar Nanevski |
Meta-programming with names and necessity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 206-217, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modal lambda-calculus, higher-order abstract syntax |
14 | Benjamin Grégoire, Xavier Leroy |
A compiled implementation of strong reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 235-246, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq |
14 | Arnold Beckmann |
Resolution Refutations and Propositional Proofs with Height-Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 599-612, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus |
14 | Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva |
Fine-Grained Multithreading with Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(8), pp. 852-862, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multithreading, abstract-machine, Process-calculus |
14 | Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan |
Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 371-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus |
14 | David Coeurjolly, Serge Miguet, Laure Tougne |
Discrete Curvature Based on Osculating Circle Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWVF ![In: Visual Form 2001, 4th International Workshop on Visual Form, IWVF-4, Capri, Italy, May 28-30, 2001, Proceedings, pp. 303-312, 2001, Springer, 3-540-42120-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Curvature Calculus, Discrete Circles, Discrete Geometry |
14 | Jean-Yves Le Boudec |
Some properties of variable length packet shapers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS/Performance 2001, June 16-20, 2001, Cambridge, MA, USA, pp. 175-183, 2001, ACM, 1-58113-334-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
min-plus algebra, shaper, network calculus, leaky bucket |
14 | Jean Goubault-Larrecq |
Well-Founded Recursive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 484-497, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
well-foundedness, path orderings, Knuth-Bendix orderings, higher-order path orderings, graphs, automata, Termination, calculus |
14 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(4), pp. 644-680, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
14 | Raymond T. Boute |
Supertotal Function Definition in Mathematics and Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(7), pp. 662-672, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness |
14 | Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
Fine Grained Multithreading with Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), Philadelphia, Pennsylvania, USA, October 15-19, 2000, pp. 217-226, 2000, IEEE Computer Society, 0-7695-0622-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multithreading, Abstract-Machine, Process-Calculus |
14 | Jaroslav Pokorný |
XML Functionally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 266-274, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
XML functionality, XML language, IS/IT community, markup text components, marking text components, typed XML data, XML-/spl lambda/, mathematical functions, XML objects, nested tables, XML-QL, data structures, query language, type system, data exchange, information sources, typed lambda calculus, XML data, database view, hypermedia markup languages |
14 | Klaus Aehlig, Helmut Schwichtenberg |
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 84-91, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
affine linear typing, polynomial time computation, lambda-calculus |
14 | Ron van der Meyden, Yoram Moses |
On Refinement and Temporal Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 185-201, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
temporal refinement calculi, temporal logic, Refinement calculus |
14 | John Power, Edmund Robinson |
Logical Relations and Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 497-511, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, interpretations, lambda calculus, logical relations |
14 | Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th - December 1st, 2000, Technische Universität Chemnitz, Saxony, Germany, pp. 297-, 2000, IEEE Computer Society, 0-7695-0896-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Concurrency, Distributed Computing, Implementation, Process-Calculus, Code Mobility |
14 | Xiaoqun Du, Scott A. Smolka, Rance Cleaveland |
Local Model Checking and Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(3), pp. 219-241, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion |
14 | Fangzhen Lin, Kewen Wang 0001 |
From Causal Theories to Logic Programs (Sometimes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 117-131, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
disjunctive logic programs with classical negation, causal theories of actions, situation calculus |
14 | Daniele Mundici |
Nonboolean partitions and their logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 2(1), pp. 18-22, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Nonboolean partition, if-then-else, block-recognition, infinite-valued ?ukasiewicz calculus, many-valued logic, MV-algebras |
14 | Damian Weber, Thomas F. Denny |
The Solution of McCurley's Discrete Log Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '98, 18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings, pp. 458-471, 1998, Springer, 3-540-64892-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Index Calculus, Lanczos, Discrete Logarithms, Number Field Sieve |
14 | Jean-François Dufourd |
Algebras and formal specifications in geometric modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 13(3), pp. 131-154, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Extended ?-calculus, Formal specification, Geometric modeling, Parameterization, Constructive solid geometry, Boundary representation, Universal algebra |
14 | David Harel |
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 184-, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research |
14 | Jürgen Schwille |
Modeling product and process characteristics in software configuration management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 25-32, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
process characteristics, product characteristic modelling, Concert, project specific models, model restrictions, development history, software maintenance, process modeling, SCM, configuration management, software configuration management, software project, predicate calculus, entity relationship diagrams, change requests, seamless integration |
14 | Vassil S. Dimitrov, Graham A. Jullien, William C. Miller |
Theory and applications for a double-base number system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 44-, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation |
14 | Andreas Ermedahl, Hans Hansson, Mikael Sjödin |
Response-time guarantees in ATM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 274-284, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
response time guarantees, traditional real time CPU Response Time Analysis, hard real time traffic, strict timing requirements, Calculus for Network Delays, traffic scenarios, observed worst case behaviors, CND, realistic traffic scenarios, asynchronous transfer mode, Asynchronous Transfer Mode, admission control, ATM networks, Weighted Fair Queuing, WFQ |
14 | Ewa Orlowska |
Many-Valuedness and Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 153-162, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic |
14 | Raul H. C. Lopes, Mark Tarver |
Inducing Theorem Provers from Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 157-164, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving |
14 | Mihhail Matskin, Enn Tyugu |
Strategies of Structural Synthesis of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 305-306, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
structural program synthesis strategies, deductive program synthesis method, compositional programming, decidable logical calculus, PSPACE complexity, independent subtasks, iteration synthesis, regular data structures, heuristics, programming environments, structured programming, proof search, search efficiency |
14 | Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003 |
Inductive Properties of States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 227-235, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
induction, actions, states, automaton, situation calculus |
14 | Dang Van Hung, Ko Kwang Il |
Verification via Digitized Models of Real-Time Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 4-15, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock |
14 | Henri B. Weinberg, Nancy A. Lynch |
Correctness of vehicle control systems-a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 62-72, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification |
|
|