Computer Science

College of Engineering

Works Published in 2007

copy embed code
Copy Embed Code Experiment

You can embed this resource into your own website. To do so, either use the code generated by us, or use the link and tweak the rest to your preferences. Copy the respective code or link below.

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2007 conference paper

Engineering foreign exchange processes via commitment protocols

Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007, 514–521.

By: N. Desai, A. Chopra, M. Arrott, B. Spechte & M. Singh

Source: ORCID
Added: December 10, 2019

2007 journal article

Logic-Based Agent Verification

Journal of Applied Logic, 5(2), 193–195.

By: M. Fisher, M. Singh, D. Spears & M. Wooldridge

Source: ORCID
Added: December 10, 2019

2007 conference paper

InterPol: A policy framework for managing trust and privacy in referral networks

Proceedings of the International Conference on Autonomous Agents, 1095–1097.

By: Y. Udupi & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

An event-driven approach for agent-based business process enactment

Proceedings of the International Conference on Autonomous Agents, 1269–1271.

By: P. Chakravarty & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

A modular action description language for protocol composition

Proceedings of the National Conference on Artificial Intelligence, 2, 962–967. http://www.scopus.com/inward/record.url?eid=2-s2.0-36349036553&partnerID=MN8TOARS

By: N. Desai & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

Enacting protocols by commitment concession

Proceedings of the International Conference on Autonomous Agents, 116–123.

By: P. Yolum & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

Dynamics of contracts-based organizations: A formal approach based on institutions

Proceedings of the International Conference on Autonomous Agents, 82–84.

By: Y. Udupi & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

Choice and interoperation in protocol enactment

Proceedings of the International Conference on Autonomous Agents, 132–134.

By: A. Chopra & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

Interest-matching comparisons using CP-nets

Proceedings of the National Conference on Artificial Intelligence, 2, 1914–1915. http://www.scopus.com/inward/record.url?eid=2-s2.0-36348991910&partnerID=MN8TOARS

By: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2007 journal article

AAAI-07 workshop reports

AI Magazine, 28(4), 119–128. http://www.scopus.com/inward/record.url?eid=2-s2.0-39049150323&partnerID=MN8TOARS

By: S. Anand, D. Bahls, C. Burghart, M. Burstein, H. Chen, J. Collins, T. Dietterich, J. Doyle ...

Source: ORCID
Added: December 6, 2019

2007 conference paper

AAAI Workshop - Technical Report: Preface

AAAI Workshop - Technical Report, WS-07-10. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849090045&partnerID=MN8TOARS

By: J. Doyle, J. Goldsmith, U. Junker & J. Lang

Source: ORCID
Added: December 6, 2019

2007 report

View and index selection for query-performance improvement: Algorithms, heuristics and complexity

North Carolina State University. Dept. of Computer Science.

By: M. Kormilitsin, R. Chirkova, Y. Fathi & M. Stallmann

Source: ORCID
Added: December 6, 2019

2007 conference paper

Proofchecker: an accessible environment for automata theory correctness proofs

ACM SIGCSE Bulletin, 39(3), 48–52.

By: M. Stallmann, S. Balik, R. Rodman, S. Bahram, M. Grace & S. High

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 conference paper

High-contrast algorithm behavior: observation, hypothesis, and experimental design

Proceedings of the 2007 workshop on Experimental computer science, 12.

By: M. Stallmann & F. Brglez

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 journal article

A case for smaller class size with integrated lab for introductory computer science

ACM SIGCSE Bulletin, 39(1), 341–345.

By: K. Boyer, R. Dwight, C. Miller, C. Raubenheimer, M. Stallmann & M. Vouk

Source: ORCID
Added: December 6, 2019

2007 journal article

Irreducible polynomials and barker sequences

ACM Communications in Computer Algebra, 41(4), 118.

By: P. Borwein, E. Kaltofen & M. Mossinghoff

Source: Crossref
Added: August 18, 2019

2007 chapter

Structured Low Rank Approximation of a Sylvester Matrix

In Trends in Mathematics (pp. 69–83).

By: E. Kaltofen, Z. Yang & L. Zhi

Source: Crossref
Added: August 18, 2019

2007 conference paper

Using independent-study projects in your research and teaching program

Proceedings of the 2007 ASEE Annual Conference and Exposition. Presented at the 2007 ASEE Annual Conference and Exposition, Honolulu, HI.

Event: 2007 ASEE Annual Conference and Exposition at Honolulu, HI on June 24-27, 2007

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

2007 conference paper

Active and collaborative learning strategies for teaching computing

Proceedings of the 2007 ASEE Annual Conference and Exposition. Presented at the 2007 ASEE Annual Conference and Exposition, Honolulu, HI.

Event: 2007 ASEE Annual Conference and Exposition at Honolulu, HI on June 24-27, 2007

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

2007 journal article

Reusable learning objects through peer review: The Expertiza approach

Innovate—Journal of Online Education, 3(6).

By: E. Gehringer, L. Ehresman, S. Conger & P. Wagle

Sources: NC State University Libraries, ORCID
Added: June 12, 2019