Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Klaus-Dieter Schewe, Bernhard Thalheim |
Term Rewriting for Web Information Systems - Termination and Church-Rosser Property. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Amarjeet Singh 0001, Maxim A. Batalin, Victor Chen 0001, Michael J. Stealey, Brett L. Jordan, Jason C. Fisher, Thomas C. Harmon, Mark H. Hansen, William J. Kaiser |
Autonomous Robotic Sensing Experiments at San Joaquin River. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ani Nahapetian, Foad Dabiri, Miodrag Potkonjak, Majid Sarrafzadeh |
Optimization for Real-Time Systems with Non-convex Power Versus Speed Models. |
PATMOS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ulrike Prange, Hartmut Ehrig |
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sam Lindley |
Extensional Rewriting with Sums. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz |
Towards Rewriting in Coq. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Marc Denecker, Joost Vennekens |
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. |
INAP/WLP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Robert Brijder, Miika Langille, Ion Petre |
A String-Based Model for Simple Gene Assembly. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Denis Caromel, Ludovic Henrio, Eric Madelaine |
Active Objects and Distributed Components: Theory and Implementation. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
User-definable rule priorities for CHR. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
rule priorities, constraint handling rules, execution control |
10 | Ludovic Henrio, Florian Kammüller |
A Mechanized Model of the Theory of Objects. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sergei N. Artëmov, Eduardo Bonelli |
The Intensional Lambda Calculus. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | José Espírito Santo |
Delayed Substitutions. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Joe Hendrix, José Meseguer 0001 |
On the Completeness of Context-Sensitive Order-Sorted Specifications. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Gerhard Weikum |
Harvesting and Organizing Knowledge from the Web. |
ADBIS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Amarjeet Singh 0001, Maxim A. Batalin, Michael J. Stealey, Victor Chen 0001, Mark H. Hansen, Thomas C. Harmon, Gaurav S. Sukhatme, William J. Kaiser |
Mobile Robot Sensing for Environmental Applications. |
FSR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Delia Kesner |
The Theory of Calculi with Explicit Substitutions Revisited. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
Building Decision Procedures in the Calculus of Inductive Constructions. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Inductive Constructions, Decision procedures, Theorem provers |
10 | Malik Shahzad Kaleem Awan, Mian M. Awais |
Data Mining - Redefining the Boundaries. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | James D. Myers, Robert E. McGrath |
Cyberenvironments: adaptive middleware for scientific cyberinfrastructure. |
ARM |
2007 |
DBLP DOI BibTeX RDF |
architecture, cyberinfrastructure |
10 | Radu Mateescu 0001 |
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction |
10 | Walter Dosch, Annette Stümpel |
Deriving State-Based Implementations of Interactive Components with History Abstractions. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
Interactive component, stream processing function, history abstraction, state transition machine, communication history |
10 | Luciano Baresi, Karsten Ehrig, Reiko Heckel |
Verification of Model Transformations: A Case Study with BPEL. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Bruce Trask, Dominick Paniscotti, Angel Roman, Vikram Bhanot |
Using model-driven engineering to complement software product line engineering in developing software defined radio components and applications. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
model, generation, language, development, domain |
10 | Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet |
Automatic Generation of Functional Programs from CASL Specifications. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | C. Barry Jay, Delia Kesner |
Pure Pattern Calculus. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Freiric Barral, Sergei Soloviev 0001 |
Inductive Type Schemas as Functors. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Roy Dyckhoff, Delia Kesner, Stéphane Lengrand |
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz |
Consistency and Completeness of Rewriting in the Calculus of Constructions. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yohei Kurata, Max J. Egenhofer |
The Head-Body-Tail Intersection for Spatial Relations Between Directed Line Segments. |
GIScience |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yosihiro Yuse, Atsushi Igarashi |
A modal type system for multi-level generating extensions with persistent code. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism |
10 | Jiangzhuo Chen, Ravi Sundaram, Madhav V. Marathe, Rajmohan Rajaraman |
The Confluent Capacity of the Internet: Congestion vs. Dilation. |
ICDCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tachio Terauchi, Alex Aiken |
A Capability Calculus for Concurrency and Determinism. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Pierre Jouannaud |
Modular Church-Rosser Modulo. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tuan Zea Tan, Chai Quek, Geok See Ng |
Clinical Diagnosis Using Proteomics and Complementary Learning. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Paulo Veríssimo |
Thou Shalt Not Trust non-Trustworthy Systems. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Satish Narayana Srirama, Matthias Jarke, Wolfgang Prinz |
A Mediation Framework for Mobile Web Service Provisioning. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
10 | John M. Cohn, Jeong-Taek Kong, Chris Malachowsky, Rich Tobias, Brendan Traw |
Design challenges for next-generation multimedia, game and entertainment platforms. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
multimedia, gaming, design methodology, entertainment |
10 | Artur Boronat, José A. Carsí, Isidro Ramos |
Algebraic Specification of a Model Transformation Engine. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT |
10 | Satish Narayana Srirama, Matthias Jarke, Wolfgang Prinz |
Mobile Web Service Provisioning. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tuan Zea Tan, Geok See Ng, Hiok Chai Quek, Stephen C. L. Koh |
Ovarian Cancer Prognosis by Hemostasis and Complementary Learning. |
ICONIP (3) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dietrich Kuske, Markus Lohrey |
Decidable First-Order Theories of One-Step Rewriting in Trace Monoids. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | David Bodoff, Mordechai Ben-Menachem, Patrick C. K. Hung |
Web Metadata Standards: Observations and Prescriptions. |
IEEE Softw. |
2005 |
DBLP DOI BibTeX RDF |
Semantic Web, metadata, standards, intelligent Web services |
10 | Matthias M. Hölzl, John N. Crossley |
Disjunctive Constraint Lambda Calculi. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Marc Bezem, Thierry Coquand |
Automating Coherent Logic. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec |
Strong Normalization of the Dual Classical Sequent Calculus. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler 0001, Bud Mishra |
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Tuan Zea Tan, Chai Quek, Geok See Ng |
Brain-inspired genetic complementary learning for stock market prediction. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Eunju Kim, Jaepil Ko |
Dynamic Classifier Integration Method. |
Multiple Classifier Systems |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Belgacem Ben Youssef, Haris Widjaya |
An Early Look at the Visualization of Three-Dimensional Tissue Growth. |
ISM |
2005 |
DBLP DOI BibTeX RDF |
tissue growth, 3-D simulation model, Visualization, volume rendering, iso-surface |
10 | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
Abstract interpretation for constraint handling rules. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, constraint handling rules |
10 | Murdoch Gabbay |
A new calculus of contexts. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders |
10 | Keith Schildt, Suzanne Beaumaster, Marcie Edwards |
Strategic Information Technology Management: Managing Organizational, Political, and Technological Forces. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Delia Kesner, Stéphane Lengrand |
Extending the Explicit Substitution Paradigm. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Nachum Dershowitz |
Open. Closed. Open. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat |
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Kuldeep Kumar, Jos van Hillegersberg |
Introduction. |
Commun. ACM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modelling, Meta-Modelling, Graph Transformation |
10 | David Lewis 0001, Owen Conlan, Declan O'Sullivan, Vincent Wade |
Managing adaptive pervasive computing using knowledge-based service integration and rule-based behavior. |
NOMS (1) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Serge Abiteboul, Omar Benjelloun, Tova Milo |
Positive Active XML. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Burcin Bostan-Korpeoglu, Adnan Yazici |
Using Fuzzy Petri Nets for Static Analysis of Rule-Bases. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Maribel Fernández, Murdoch Gabbay, Ian Mackie |
Nominal rewriting systems. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, binders |
10 | Keith Schildt, Suzanne Beaumaster |
Strategic Information Technology Management: The City of Anaheim Technological Initiatives. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Paul-André Melliès |
Asynchronous Games 2: The True Concurrency of Innocence. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sandip Kundu, T. M. Mak, Rajesh Galivanche |
Trends in manufacturing test methods and their implications. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange |
Adhesive High-Level Replacement Categories and Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Fundamental Theory for Typed Attributed Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Thom W. Frühwirth |
Specialization of Concurrent Guarded Multi-set Transformation Rules. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mihaela Ulieru |
Adaptive Information Infrastructures for the e-Society. |
Engineering Self-Organising Systems |
2004 |
DBLP DOI BibTeX RDF |
emergency response management, evolution, self-organization, emergence, e-Health, distributed artificial intelligence, Cybersecurities, information infrastructures |
10 | Wayne H. Wolf |
A Decade of Hardware/Software Codesign. |
Computer |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Paulo Veríssimo |
Uncertainty and Predictability: Can They Be Reconciled? |
Future Directions in Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jack Greenfield, Keith Short |
Software factories: assembling applications with patterns, models, frameworks and tools. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
design patterns, domain-specific languages, model-driven development, software product lines, software factories |
10 | José Espírito Santo, Luís Pinto 0001 |
Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Pure patterns type systems. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting |
10 | Gang Chen |
Coercive subtyping for the calculus of constructions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion |
10 | Arun Jagatheesan, Arcot Rajasekar |
Data Grid Management Systems. |
SIGMOD Conference |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger |
A Nominal Theory of Objects with Dependent Types. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
10 | H. J. Sander Bruggink |
Residuals in Higher-Order Rewriting. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Julien Forest, Delia Kesner |
Expression Reduction Systems with Patterns. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
10 | René David, Bruno Guillaume |
Strong Normalization of the Typed gammaws-Calculus. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Clark Weissman |
MLS-PCA: A High Assurance Security Architecture for Future Avionics. |
ACSAC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Steffen Schott, Markus L. Noga |
Lazy XSL transformations. |
ACM Symposium on Document Engineering |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Darius Burschka, Gregory D. Hager, Zachary Dodds, Martin Jägersand, Dana Cobzas, Keith Yerex |
Recent Methods for Image-Based Modeling and Rendering. |
VR |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan M. Borwein, Terry Stanway |
Managing Digital Mathematical Discourse. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Thomas F. La Porta |
Introduction to the IEEE Transactions on Mobile Computing. |
IEEE Trans. Mob. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
10 | John F. Roddick, Myra Spiliopoulou |
A Survey of Temporal Knowledge Discovery Paradigms and Methods. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
time sequence mining, temporal rules, semantics of mined rules, Temporal data mining, trend analysis |
10 | Katia P. Sycara |
Infrastructure and Interoperability for Agent-Mediated Services. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Dietrich Kuske, Markus Lohrey |
On the Theory of One-Step Rewriting in Trace Monoids. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jörg H. Siekmann, Graham Wrightson |
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Clemens A. Szyperski |
Objectively: Components versus Web Services. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Julien Forest |
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Dennis Dams, Yassine Lakhnech, Martin Steffen |
Iterating Transducers. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ravi Patnayakuni, Nainika Seth |
Why license when you can rent? Risks and rewards of the application service provider model. |
SIGCPR |
2001 |
DBLP DOI BibTeX RDF |
diffusion of adoption, outsourcing, application service providers, IS management |
10 | Jürgen Stuber |
A Model-Based Completeness Proof of Extended Narrowing and Resolution. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Salvador Lucas |
Transfinite Rewriting Semantics for Term Rewriting Systems. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Barbara König 0001 |
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
10 | A. Thaïbaoui, A. Raji, Philippe Bunel |
A Fuzzy Logic Approach to Drusen Detection in Retinal Angiographic Images. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Julia L. Lawall, Harry G. Mairson |
Sharing Continuations: Proofnets for Languages with Explicit Control. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|