|
|
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 |
17 | Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 195-211, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mathieu Boespflug, Guillaume Burel |
CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012, pp. 44-50, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Damiano Mazza |
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pp. 471-480, 2012, IEEE Computer Society, 978-1-4673-2263-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman |
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct Reasoning ![In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, pp. 40-56, 2012, Springer, 978-3-642-30742-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Bennett, Todd Moore |
Work in progress: What calculus do students learn after calculus? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2012, Seattle, WA, USA, October 3-6, 2012, pp. 1-3, 2012, IEEE Computer Society, 978-1-4673-1351-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Wenyan Xu, Sanyang Liu |
Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QLSC ![In: Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012, 2012, World Scientific, 978-981-4401-52-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Jouhet |
Algorithmique du Network Calculus. (Network Calculus Algoritmics). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
17 | Xiaojuan Cai, Yuxi Fu |
The λ-calculus in the π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 21(5), pp. 943-996, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti |
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.4817, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Thomas J. Robinson 0002 |
Formal Calculus and Umbral Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 17(1), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Virginia S. Kiryakova |
The special functions of fractional calculus as generalized fractional calculus operators of some basic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 59(3), pp. 1128-1141, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ali Uzer |
Multiplicative type complex calculus as an alternative to the classical calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 60(10), pp. 2725-2737, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 20, pp. 1-31, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Shahram Rahimi 0001, John Dillards, Bidyut Gupta |
An Expert System for Pi-Calculus and Api-Calculus Automated Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes, pp. 462-468, 2008, CSREA Press, 1-60132-088-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Eugene Eberbach |
Expresiveness of the pi-Calculus and the $-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2006 International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006, pp. 24-30, 2006, CSREA Press, 1-60132-015-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Stephan Schiffel, Michael Thielscher |
Reconciling Situation Calculus and Fluent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 287-292, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Guojun Wang, Kwai-Sang Chin, C. Y. Dang |
A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 48(1), pp. 1-14, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Eric S. Marland, Mary E. Searcy |
The Calculus Cycle: Using Biology to Connect Discrete and Continuous Modeling in Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioMath in the Schools ![In: BioMath in the Schools, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, April 29-30, 2005, pp. 197-219, 2005, DIMACS/AMS, 978-0-8218-4295-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Song Y. Yan |
Computing Prime Factorization and Discrete Logarithms: From Index Calculus to Xedni Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 80(5), pp. 573-590, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Scagnetto, Marino Miculan |
Ambient Calculus and its Logic in the Calculus of Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFM ![In: International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 76-95, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ken-etsu Fujita |
An interpretation of [lambda][mu]-calculus in [lambda]-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 84(5), pp. 261-264, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | William G. McCallum |
Calculus Mysteries and Thrillers by R. Grant Woods; How to Ace Calculus: The Streetwise Guide by Colin Adams; Joel Hass; Abigail Thompson. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 108(1), pp. 90-93, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Mirna Bognar, Roel C. de Vrijer |
A Calculus of Lambda Calculus Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 27(1), pp. 29-59, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Marino Miculan |
On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 164(1), pp. 199-231, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Katsuhiko Gondow, Takuya Katayama |
Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 24(3), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Gérard Boudol, Cosimo Laneve |
lambda-calculus, multiplicities, and the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 659-690, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Bernadette Bouchon-Meunier, Vladik Kreinovich |
Fuzzy Modus Ponens as a Calculus of Logical Modifiers: Towards Zadeh's Vision of Implication Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 116(2-4), pp. 219-227, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michael Thielscher |
From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 111(1-2), pp. 277-299, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Andrew D. Gordon 0001 |
A Calculus for Cryptographic Protocols: The spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 148(1), pp. 1-70, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia |
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 1(2), 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Burghard von Karger |
Computation calculus = sequential calculus + discreteness and termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 122-126, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Robert A. Kowalski, Fariba Sadri |
Reconciling the Event Calculus With the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 31(1-3), pp. 39-58, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
On the Relation Between Situation Calculus and Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 31(1-3), pp. 3-37, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Fairouz Kamareddine, Alejandro Ríos 0001 |
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 7(4), pp. 395-420, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Andrew D. Gordon 0001 |
A Calculus for Cryptographic Protocols: The Spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '97, Proceedings of the 4th ACM Conference on Computer and Communications Security, Zurich, Switzerland, April 1-4, 1997., pp. 36-47, 1997, ACM, 0-89791-912-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Eiichi Horita, Ken Mano |
Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 377-378, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Provetti |
Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 12, pp. 478-498, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Combining Situation Calculus and Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 83-97, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Rob Miller 0002 |
Situation Calculus Specifications for Event Calculus Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings, pp. 217-230, 1995, Springer, 3-540-59487-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen |
From a Concurrent Lambda-Calculus to the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 106-115, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Michel Volle |
Calculus rules for global approximate minima and applications to approximate subdifferential calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 5(2), pp. 131-157, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Robert A. Kowalski, Fariba Sadri |
The Situation Calculus and Event Calculus Compared. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, pp. 539-553, 1994, MIT Press, 0-262-52191-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Alessandro Provetti |
Hypothetical Reasoning from Situation Calculus to Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 42-47, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Matthias Weber 0003 |
Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Concepts and Methods ![In: Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990, pp. 201-232, 1990, North-Holland, 0-444-88545-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Gary W. Hansen, James V. Hansen |
Human Performance in Relational Algebra, Tuple Calculus, and Domain Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 29(5), pp. 503-516, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Isamu Kobayashi |
Tuple calculus: formal definiton and conversion from first-order calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 12(4), pp. 343-352, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan P. Seldin |
A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 43(4), pp. 643-649, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Jacques Lévy |
An Algebraic Interpretation of the lambda beta K-Calculus; and an Application of a Labelled lambda -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 2(1), pp. 97-114, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Charles D. Parsons |
Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 10(3), pp. 336, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
17 | Charles D. Parsons |
A propositional calculus intermediate between the minimal calculus and the classical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 7(4), pp. 353-358, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
17 | Juliusz Reichbach |
On the connection of the first-order functional calculus with ℵ0 propositional calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 6(1), pp. 73-80, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
17 | Alan Ross Anderson |
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 19(3), pp. 201-214, 1954. The full citation details ...](Pics/full.jpeg) |
1954 |
DBLP DOI BibTeX RDF |
|
14 | Radim Belohlávek, Vilém Vychodil |
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1648-1655, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices |
14 | Jeremy G. Siek, Philip Wadler |
Threesomes, with and without blame. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 365-376, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
blame tracking, lambda-calculus, coercions, casts |
14 | Ugo Dal Lago |
The geometry of linear higher-order recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(2), pp. 8:1-8:38, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction |
14 | Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt |
Specifying norm-governed computational societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 1:1-1:42, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
agent, policy, norm, executable specification, event calculus, Action language, contract-net |
14 | Zhaohui Wu 0001, ShuiGuang Deng, Ying Li 0001, Jian Wu 0001 |
Computing compatibility in dynamic service composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 19(1), pp. 107-129, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Behavioral compatibility, Web service, Service composition, ?-calculus |
14 | Raúl Monroy, Alan Bundy, Ian Green |
On Process Equivalence = Equation Solving in CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(1), pp. 53-80, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unique fixpoint induction, Equational verification Calculus of communicating systems |
14 | Patrick Girard 0004, Jeremy Seligman |
An Analytic Logic of Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 146-161, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus |
14 | David England, Martin Randles, A. Taleb-Bendiab |
Runtime user interface design and adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI ![In: Proceedings of the 2009 British Computer Society Conference on Human-Computer Interaction, BCS-HCI 2009, Cambridge, United Kingdom, 1-5 September 2009, pp. 463-470, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
user interface description, situation calculus, runtime adaptation |
14 | Francis G. McCabe |
Real-time event processing for high volume applications using StarRulesTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel programming, agents, functional programming, fault detection, event calculus, agent oriented programming, semiconductor manufacturing |
14 | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella |
On-line adaptation of sequential mobile processes running concurrently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1345-1352, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GOLOG, pervasive scenarios, process management, situation calculus, smart devices |
14 | Colin Stirling |
Dependency Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 92-106, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
binding terms, Tree automata, typed lambda calculus |
14 | Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka |
Verification of Information Flow in Agent-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCETECH ![In: E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings, pp. 252-266, 2009, Springer, 978-3-642-01186-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic |
14 | Giulio Manzonetto |
A General Class of Models of H*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 574-586, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus |
14 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 269-280, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
14 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 147-156, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
14 | Amélie Gheerbrant, Balder ten Cate |
Craig Interpolation for Linear Temporal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 287-301, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation |
14 | Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan |
On the Relationships between Notions of Simulation-Based Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(4), pp. 492-546, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus |
14 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig |
A congruence relation for sPBC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(2), pp. 85-128, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras |
14 | Christian Urban |
Nominal Techniques in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(4), pp. 327-356, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nominal logic work, Lambda-calculus, Theorem provers |
14 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 351-377, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations |
14 | Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe |
Constructive Logic and the Sorites Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Directions in Intelligent Interactive Multimedia ![In: New Directions in Intelligent Interactive Multimedia, pp. 285-292, 2008, Springer, 978-3-540-68126-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
the sorites paradox, contractionless constructive logic, vagueness, sequent calculus |
14 | Daniel Leivant |
Propositional Dynamic Logic for Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 6-14, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic |
14 | El-Bahlul Fgee, William J. Phillips, William Robertson 0001 |
Comparison between a Proposed QoS Mathematical Model and other IP QoS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Sixth Annual Conference on Communication Networks and Services Research (CNSR 2008), 5-8 May 2008, Halifax, Nova Scotia, Canada, pp. 595-599, 2008, IEEE Computer Society, 978-0-7695-3135-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, Network Calculus |
14 | Roland Meyer 0001, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 327-347, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus |
14 | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
Winning Regions of Higher-Order Pushdown Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 193-204, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes |
14 | Makoto Tatsuta |
Types for Hereditary Permutators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 83-92, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hereditary permutator, infinite lambda-calculus, stream type, intersection type |
14 | Daniel R. Licata, Noam Zeilberger, Robert Harper 0001 |
Focusing on Binding and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 241-252, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
computation, binding, logical frameworks, polarity, sequent calculus |
14 | Abbas Edalat |
Weak Topology and a Differentiable Operator for Lipschitz Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 364-375, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric |
14 | Suthathip Suanmali |
Maple in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 528-533, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus |
14 | Anand Ranganathan, Roy H. Campbell |
Provably Correct Pervasive Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 160-169, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Verification, Formal Methods, Pervasive Computing, Ambient Calculus |
14 | Michael Pedersen |
Compositional Definitions of Minimal Flows in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, pp. 288-307, 2008, Springer, 978-3-540-88561-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity |
14 | David Evans 0002, David M. Eyers |
Deontic logic for modelling data flow and use compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), held at the ACM/IFIP/USENIX 9th International Middleware Conference, December 1-5, 2008, Leuven, Belgium, pp. 19-24, 2008, ACM, 978-1-60558-364-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
middleware, contract, deontic logic, event calculus |
14 | Jean-Pierre Jouannaud, Albert Rubio |
Polymorphic higher-order recursive path orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(1), pp. 2:1-2:48, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus |
14 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 26, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
14 | JianXing Fan, Huazhong Yang, Hui Wang 0004, Xiaolang Yan, Chaohuan Hou |
Phase noise analysis of oscillators with Sylvester representation for periodic time-varying modulus matrix by regular perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(4), pp. 587-599, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
periodic time-varying, Sylvester theorem, power-law spectrum, Lorentzian spectrum, Floquet exponent, stochastic calculus, phase noise |
14 | Marta Bílková |
Uniform Interpolation and Propositional Quantifiers in Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(1), pp. 1-31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
propositional quantifiers, interpolation, modal logic, sequent calculus |
14 | Daisuke Miyazaki, Katsushi Ikeuchi |
Shape Estimation of Transparent Objects by Using Inverse Polarization Ray Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(11), pp. 2018-2030, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mueller calculus, Transparency, Polarization, Raytracing, Shape-from-X |
14 | Wenpin Jiao, Hong Mei 0001 |
Supporting high interoperability of components by adopting an agent-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(3), pp. 283-307, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Agent, Interoperability, Component, Wrapper, pi-Calculus |
14 | Matthew Fisher, Peter Schröder, Mathieu Desbrun, Hugues Hoppe |
Design of tangent vector fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 26(3), pp. 56, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constrained Laplace and Poisson problems for 1-forms, discrete differential 1-forms, discrete exterior calculus, texture synthesis |
14 | Andrew Cirillo, James Riely |
Access Control Based on Code Identity for Open Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, pp. 169-185, 2007, Springer, 978-3-540-78662-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic |
14 | Nicos Gollan, Jens B. Schmitt |
Energy-Efficent TDMA Design Under Real-Time Constraints in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007), October 24-26, 2007, Istanbul, Turkey, pp. 80-87, 2007, IEEE Computer Society, 978-1-4244-1854-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Real-time guarantees, Optimal TDMA, Wireless Sensor Networks, Energy-Efficiency, Network calculus |
14 | George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos |
Towards security monitoring patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1518-1525, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
runtime monitoring, event calculus, security patterns |
14 | Vineet Kahlon, Aarti Gupta |
On the analysis of interacting pushdown systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 303-314, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems |
14 | Rolf Grütter, Bettina Bauer-Messmer |
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE Conf. ![In: The European Information Society: Leading the Way with Geo-information, Proceedings of the 10th AGILE Conference, Aalborg, Denmark, 8-11 May 2007, pp. 349-364, 2007, Springer, 978-3-540-72384-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Region Connection Calculus (RCC), Knowledge Representation System, Environmental Database, Semantic Web, Web Ontology Language (OWL), Spatial Reasoning |
14 | Luciano Lenzini, Enzo Mingozzi, Giovanni Stea |
End-to-end delay bounds in FIFO-multiplexing tandems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 61, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FIFO-multiplexing, network calculus, delay bound |
14 | Anne Bouillard, Bruno Gaujal, Sebastien Lagrange, Eric Thierry |
Optimal routing for end-to-end guarantees: the price of multiplexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 62, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
(min, +) algebra, shortest path, multiplexing, network calculus |
14 | Kai Zong, Shihua Li 0001, Xiangze Lin |
The Application of Fractional-Order PI Control Algorithm to the PMSM Speed-Adjusting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 660-669, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
PMSM, fractional calculus, speed adjusting, PI algorithm |
14 | Fulong Chen 0002, Xiaoya Fan |
Embedded System's Performance Analysis with RTC and QT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings, pp. 569-579, 2007, Springer, 978-3-540-76836-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
embedded system, performance analysis, queuing theory, real-time calculus |
|
|