Home

Biblio

Export 48 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
B
Busi, N., R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, "Choreography and Orchestration Conformance for System Design", Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION 2006), vol. 4038: Springer, pp. 63-81, 2006.
Bürckert, H. - J., "A Resolution Principle for Constrained Logics", Artificial Intelligence, vol. 66: Elsevier, pp. 235-271, 1994.
Burch, J. R., E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, "Symbolic model checking: $10^20$ states and beyond}", Proceedings of the IEEE Symposium on Logic in Computer Science, Washington, DC, USA, IEEE Computer Society, pp. 428–439, 1990.
Bryant, R. E., "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computers, vol. 35, no. 8, pp. 677-691, 1986.
Bratko, I., Prolog Programming for Artificial Intelligence, , 3rd: Addison–Wesley, 2001.
Bragaglia, S., F. Chesani, A. Ciampolini, P. Mello, M. Montali, and D. Sottara, "An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning", Proceedings of the 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010), vol. 6076: Springer, pp. 438–445, 2010.
Bragaglia, S., D. Sottara, F. Chesani, and P. Mello, "A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules", Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR2010), vol. 6333/2010, Bressanone, Italy, Springer, pp. 227-230, 2010.
Bragaglia, S., and F. Riguzzi, "Approximate Inference for Logic Programs with Annotated Disjunctions", Proceedings of the 20th International Conference on Inductive Logic Programming (ILP 2010), In Press.
Bragaglia, S., F. Chesani, P. Mello, M. Montali, and D. Sottara, "Fuzzy Conformance Checking of Observed Behaviour with Expectations", AI*IA 2011: Artificial Intelligence Around Man and Beyond, vol. LNCS 6934: Springer Berlin / Heidelberg, pp. 80-91, 2011.
Bragaglia, S., F. Chesani, E. Fry, P. Mello, M. Montali, and D. Sottara, "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems", RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, S. Storari, and P. Terenziani, "Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines", {Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Revised Selected and Invited Papers}, vol. 5943: Springer, pp. 76-87, 2010.
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge", Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
Bonner, A. J., and M. Kifer, "Concurrency and Communication in Transaction Logic", Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '96): MIT Press, pp. 142-156, 1996.
Bonfietti, A., L. Benini, M. Lombardi, and M. Milano, "An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms", Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, pp. 897-902, 2010.
application/pdf icondocument.pdf
Bonfietti, A., M. Lombardi, M. Milano, and L. Benini, "Throughput Constraint for Synchronous Data Flow Graphs", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, pp. 26-40, 2009.
application/pdf iconsdfg.pdf
Bonfietti, A., M. Lombardi, M. Milano, and L. Benini, "A constraint based approach to cyclic RCPSP", Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.
application/pdf iconCP2011.pdf
Bonfietti, A., M. Lombardi, L. Benini, and M. Milano, "Global Cyclic Cumulative Constraint", Proceedings of CPAIOR, pp. 81-96, 2012. Abstract
application/pdf icon2012CPAIOR.pdf
Bonfietti, A., and M. Lombardi, "The Weighted Average Constraint", CP, pp. 191-206, 2012.
application/pdf iconcp2012_final.pdf
Billington, J., "Extensions to Coloured Petri Nets", Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM '89): IEEE Computer Society, pp. 61-70, 1989.
Biere, A., A. Cimatti, E. M. Clarke, and Y. Zhu, "Symbolic Model Checking without BDDs", Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '99), vol. 1579: Springer, pp. 193-207, 1999.
Biere, A., A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu, "Bounded Model Checking", {Advances in Computers}, vol. 58, pp. 118-149, 2003.
Bianculli, D., A. Morzenti, M. Pradela, P. San Pietro, and P. Spoletini, "Trio2Promela: a Model Checker for Temporal Metric Specifications", Proceedings of the 20th International Conference on Software Engineering (ICSE2007): IEEE Computer Society, pp. 61–62, 2007.
Berens, P., "The FLOWer Case-Handling Approach: Beyond Workflow Management", Process-Aware Information Systems: Wiley InterScience, 2005.
Berardi, D., D. Calvanese, D. G. Giacomo, M. Lenzerini, and M. Mecella, "Automatic Service Composition Based on Behavioral Descriptions", Cooperative Information Systems, vol. 14, no. 4, pp. 333–376, 2005.
Benini, L., M. Lombardi, M. Milano, and M. Ruggiero, "A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine", Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, pp. 21-35, 2008.
application/pdf iconCPAppli2008.pdf