| |
In Trends in Constraint Programming (May 2007), pp. 105-123.
|
| |
In ECAI 2008 Workshop on Configuration Systems (July 2008)
|
| |
In 21st International Joint Conferences on Artificial Intelligence(IJCAI-09) Workshop on Configuration (2009)
|
| |
IEEE Intelligent Systems, Vol. 22, No. 1. (2007), pp. 78-90.
by Carsten Sinz, Albert Haag, Nina Narodytska, et al.Toby Walsh, Esther Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grunbacher, Klaus Lehner, Christian Federspiel, Daniel Naus
|
| |
Artif. Intell. Eng. Des. Anal. Manuf., Vol. 17, No. 1. (2003), pp. 75-97.
|
| |
Journal of Automated Reasoning, Vol. 37, No. 1. (19 August 2006), pp. 45-66.
|
| |
|
| |
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on In Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on (2004), pp. 972-979.
|
| |
SIAM Journal on Control and Optimization, Vol. 25, No. 1. (1987), pp. 206-230.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 127-144.
|
| |
Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 48, No. 6. (2003), pp. 1064-1068.
posted to des by voronov
on 2008-05-26 13:14:54
as 
|
| |
American Control Conference, 2003. Proceedings of the 2003 In American Control Conference, 2003. Proceedings of the 2003, Vol. 2 (2003), pp. 1685-1690.
|
| |
Discrete Event Dynamic Systems, Vol. 15, No. 2. (June 2005), pp. 145-167.
|
| |
Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 137-142.
|
| |
ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 2. (30 April 2005), pp. 156-173.
posted to sat by voronov
on 2008-05-16 09:17:51
as
|
| |
Robotics, Automation and Mechatronics, 2004 IEEE Conference on In Robotics, Automation and Mechatronics, 2004 IEEE Conference on, Vol. 2 (2004), pp. 613-618 vol.2.
|
| |
Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 182-187.
|
| |
Lecture Notes in Computer Science, Vol. 1551 (January 1998), 76.
|
| |
|
| |
|
| |
Soft\-waredash Prac\-tice and Experience, Vol. 23, No. 9. (1993), pp. 1001-1041.
|
| |
Lecture Notes in Computer Science, Vol. 1551 (1999), pp. 76-90.
|
| |
Journal of Functional Programming, Vol. 7, No. 5. (1997), pp. 451-485.
|
| |
|
| |
In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 41-51.
|
| |
Antennas and Propagation, 2007. EuCAP 2007. The Second European Conference on In Antennas and Propagation, 2007. EuCAP 2007. The Second European Conference on (2007), pp. 1-6.
|
| |
In Gesture Workshop (2001), pp. 64-75.
|
| |
Commun. ACM, Vol. 26, No. 1. (January 1983), pp. 100-106.
|
| |
|
| |
Control Engineering Practice In Special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing, Vol. 15, No. 11. (November 2007), pp. 1403-1415.
|
| |
In Proc.\ 4th Int.\ PLCopen Conf.\ on Industrial Control Programming ({ICP}'2000), Utrecht, The Netherlands, Oct.\ 2000 (2000), pp. 73-78.
|
| |
|
| |
Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 76-81.
|
| |
Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 39, No. 12. (1994), pp. 2398-2410.
|
| |
In IJCAI (2001), pp. 473-478.
|
| |
Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
|
| |
In FCCM '06: Proceedings of the 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (2006), pp. 23-34.
|
| |
Molecular Physics, Vol. 102, No. 23. (2004), pp. 2475-2484.
|
| |
|
| |
Parallel and Distributed Processing Symposium, 2003. Proceedings. International In Parallel and Distributed Processing Symposium, 2003. Proceedings. International (2003), 8 pp..
|
| |
Field Programmable Logic and Applications, 2005. International Conference on In Field Programmable Logic and Applications, 2005. International Conference on (2005), pp. 711-712.
|
| |
Parallel Computing, Vol. 26, No. 7-8. (July 2000), pp. 1011-1024.
|
| |
Computer Physics Communications, Vol. 167, No. 3. (1 May 2005), pp. 151-164.
|
| |
Industrial Informatics, 2007 5th IEEE International Conference on In Industrial Informatics, 2007 5th IEEE International Conference on, Vol. 1 (2007), pp. 183-187.
|
| |
Control Engineering Practice In Special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing, Vol. 15, No. 11. (November 2007), pp. 1416-1426.
|
| |
Control Engineering Practice In The Seventh Workshop On Discrete Event Systems (WODES2004), Vol. 14, No. 10. (October 2006), pp. 1157-1167.
|
| |
Automatic Control, IEEE Transactions on, Vol. 37, No. 12. (1992), pp. 1921-1935.
|
| |
Theory and Applications of Satisfiability Testing (2005), pp. 345-359.
|
| |
Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 288-293.
|
Search
