dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Luca P. Carloni Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHung-Yi Liu, Michele Petracca, Luca P. Carloni: Compositional system-level design exploration with planning of high-level synthesis. DATE 2012: 641-646
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert Fontana, Gary Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard: A 2.5D integrated voltage regulator using coupled-magnetic-core inductors on silicon interposer delivering 10.8A/mm2. ISSCC 2012: 400-402
2011
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoah Sturcken, Michele Petracca, Steve Warren, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard: An integrated four-phase buck converter delivering 1A/mm2 with 700ps controller delay and network-on-chip load in 45-nm SOI. CICC 2011: 1-4
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni: Supervised design space exploration by compositional approximation of Pareto sets. DAC 2011: 399-404
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman: VANDAL: A tool for the design specification of nanophotonic networks. DATE 2011: 782-787
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov: Embedded Processor Virtualization for Broadband Grid Computing. GRID 2011: 145-156
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Concer, Andrea Vesco, Riccardo Scopigno, Luca P. Carloni: A dynamic and distributed TDM slot-scheduling protocol for QoS-oriented Networks-on-Chip. ICCD 2011: 31-38
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianxun Zhu, Gerald Stanje, Robert Margolies, Maria Gorlatova, John Sarik, Zainab Noorbhaiwala, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman: Demo: prototyping UWB-enabled enhants. MobiSys 2011: 387-388
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerald Stanje, Paul Miller, Jianxun Zhu, Alexander Smith, Olivia Winn, Robert Margolies, Maria Gorlatova, John Sarik, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman: Organic solar cell-equipped energy harvesting active networked tag (EnHANT) prototypes. SenSys 2011: 385-386
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Szczodrak, Luca P. Carloni: A complete framework for programming event-driven, self-reconfigurable low power wireless networks. SenSys 2011: 415-416
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohnnie Chan, Gilbert Hendry, Keren Bergman, Luca P. Carloni: Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks. IEEE Trans. on CAD of Integrated Circuits and Systems 30(10): 1507-1520 (2011)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Luca P. Carloni: Guest Editorial: Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2010. IEEE Trans. on CAD of Integrated Circuits and Systems 30(4): 492-493 (2011)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman: Time-division-multiplexed arbitration in silicon nanophotonic networks-on-chip for high-performance chip multiprocessors. J. Parallel Distrib. Comput. 71(5): 641-650 (2011)
2010
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Stavros Tripakis: Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 ACM 2010
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Neill, Alexander Shabarshin, Luca P. Carloni: A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices. Conf. Computing Frontiers 2010: 187-196
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni: Virtual channels vs. multiple physical networks: a comparative analysis. DAC 2010: 162-165
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng-Hong Li, Sampada Sonalkar, Luca P. Carloni: Exploiting local logic structures to optimize multi-core SoC floorplanning. DATE 2010: 1291-1296
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRebecca L. Collins, Bharadwaj Vellore, Luca P. Carloni: Recursion-driven parallel code generation for multi-core platforms. DATE 2010: 190-195
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohnnie Chan, Gilbert Hendry, Aleksandr Biberman, Keren Bergman, Luca P. Carloni: PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks. DATE 2010: 691-696
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, Keren Bergman: Silicon Nanophotonic Network-on-Chip Using TDM Arbitration. Hot Interconnects 2010: 88-95
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt: Message from the chairs. MEMOCODE 2010: 1-3
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman: Circuit-Switched Memory Access in Photonic Interconnection Networks for High-Performance Embedded Computing. SC 2010: 1-12
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma: Accurate Predictive Interconnect Modeling for System-Level Design. IEEE Trans. VLSI Syst. 18(4): 679-684 (2010)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni: The Connection-Then-Credit Flow Control Protocol for Heterogeneous Multicore Systems-on-Chip. IEEE Trans. on CAD of Integrated Circuits and Systems 29(6): 869-882 (2010)
2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Leonardi, Alessandro Pinto, Luca P. Carloni: A case study in distributed deployment of embedded software for camera networks. DATE 2009: 1006-1011
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRebecca L. Collins, Luca P. Carloni: Flexible filters: load balancing through backpressure for stream programs. EMSOFT 2009: 205-214
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilbert Hendry, Shoaib Kamil, Aleksandr Biberman, Johnnie Chan, Benjamin G. Lee, Marghoob Mohiyuddin, Ankit Jain, Keren Bergman, Luca P. Carloni, John Kubiatowicz, Leonid Oliker, John Shalf: Analysis of photonic networks for a chip multiprocessor using scientific applications. NOCS 2009: 104-113
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni: CTC: An end-to-end flow control protocol for multi-core systems-on-chip. NOCS 2009: 193-202
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Partha Pande, Yuan Xie: Networks-on-chip in emerging interconnect paradigms: Advantages and challenges. NOCS 2009: 93-102
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Photonic NoCs: System-Level Design Exploration. IEEE Micro 29(4): 74-85 (2009)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng-Hong Li, Luca P. Carloni: Leveraging Local Intracore Information to Increase Global Performance in Block-Based Design of Systems-on-Chip. IEEE Trans. on CAD of Integrated Circuits and Systems 28(2): 165-178 (2009)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 364-377 (2009)
2008
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma: Interconnect modeling for improved system-level design optimization. ASP-DAC 2008: 258-264
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Concer, Michele Petracca, Luca P. Carloni: Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS 2008: 215-220
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects 2008: 31-40
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Petracca, Keren Bergman, Luca P. Carloni: Photonic networks-on-chip: Opportunities and challenges. ISCAS 2008: 2789-2792
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: COSI: A Framework for the Design of Interconnection Networks. IEEE Design & Test of Computers 25(5): 402-415 (2008)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssaf Shacham, Keren Bergman, Luca P. Carloni: Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors. IEEE Trans. Computers 57(9): 1246-1260 (2008)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRebecca L. Collins, Luca P. Carloni: Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 27(12): 2277-2290 (2008)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 906-919 (2008)
2007
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssaf Shacham, Keren Bergman, Luca P. Carloni: The Case for Low-Power Photonic Networks on Chip. DAC 2007: 132-135
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRebecca L. Collins, Luca P. Carloni: Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. DAC 2007: 410-415
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT 2007: 21-29
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, Luca P. Carloni: Photonic NoC for DMA Communications in Chip Multiprocessors. Hot Interconnects 2007: 29-38
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng-Hong Li, Luca P. Carloni: Using functional independence conditions to optimize the performance of latency-insensitive systems. ICCAD 2007: 32-39
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni: Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. MEMOCODE 2007: 13-22
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssaf Shacham, Keren Bergman, Luca P. Carloni: On the Design of a Photonic Network-on-Chip. NOCS 2007: 53-64
2006
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni: The Role of Back-Pressure in Implementing Latency-Insensitive Systems. Electr. Notes Theor. Comput. Sci. 146(2): 61-80 (2006)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods in System Design 28(2): 93-110 (2006)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation 1(1/2): (2006)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform based design for wireless sensor networks. MONET 11(4): 469-485 (2006)
2005
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT 2005: 183-186
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi: Platform-Based and Derivative Design. The Industrial Information Technology Handbook 2005: 1-15
2004
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi: Benefits and challenges for platform-based design. DAC 2004: 409-414
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE 2004: 1164-1169
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229
2003
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Constraint-driven communication synthesis. DAC 2002: 783-788
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002)
2001
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Modeling of Substrate Noise Injected by Digital Libraries. ISQED 2001: 488-
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Theory of latency-insensitive design. IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1059-1076 (2001)
2000
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 281-294 (2000)
1999
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Latency Insensitive Protocols. CAV 1999: 123-133
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: A methodology for correct-by-construction latency insensitive design. ICCAD 1999: 309-315
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. on CAD of Integrated Circuits and Systems 18(3): 301-310 (1999)
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998)
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Trace driven logic synthesis&mdashapplication to power minimization. ICCAD 1997: 581-588
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98

Coauthor Index

1Luca Benini [69]
2Albert Benveniste [16] [17] [19] [24] [31] [44]
3Keren Bergman [33] [36] [39] [42] [45] [46] [51] [54] [59] [61] [62] [68] [70] [76]
4Fernando De Bernardinis [21] [22]
5Aleksandr Biberman [36] [54] [62]
6Nadya T. Bliss (Nadya Travinin Bliss) [59] [68]
7Alvise Bonivento [25] [26] [32]
8Luciano Bononi [53] [57]
9Jens Brandt [60]
10Robert K. Brayton [1] [5] [8]
11Benoît Caillaud [16] [19] [24] [31] [44]
12Paul Caspi [16] [17] [19] [31] [44]
13Johnnie Chan [54] [59] [61] [62] [68] [70] [76]
14Edoardo Charbon [4] [11]
15Rebecca L. Collins [34] [38] [41] [55] [63]
16Nicola Concer [47] [53] [57] [65] [74]
17Ryan Davies [79]
18Gary Decad [79]
19Ilias Diakonikolas [77]
20Alberto Ferrari [4]
21Robert Fontana [79]
22William J. Gallagher [79]
23Vitaliy Gleyzer [59] [68]
24Eugene Goldberg (Evguenii I. Goldberg) [1] [5] [8]
25Maria Gorlatova [72] [73]
26Carlo Guardiani [11]
27Gilbert Hendry [54] [59] [61] [62] [68] [70] [76]
28Philipp Herget [79]
29Ankit Jain [54]
30Barbara Jobstmann [60]
31Andrew B. Kahng [48] [58]
32Shoaib Kamil [54] [61]
33Peter R. Kinget [72] [73]
34John Kubiatowicz [54]
35Ioannis Kymissis [72] [73] [79]
36Benjamin G. Lee [36] [46] [51] [54]
37Francesco Leonardi [56]
38Cheng-Hong Li [34] [35] [50] [64]
39Hung-Yi Liu [77] [80]
40Riccardo Locatelli [53] [57]
41Robert Margolies [72] [73]
42Patrick C. McGeer [2]
43Kenneth L. McMillan [6] [7] [10]
44Paolo Miliozzi [4] [11]
45Paul Miller [72] [73]
46Marghoob Mohiyuddin [54]
47Sudhakar Muddu [58]
48Swamy Muddu [48]
49Richard Neill [66] [75]
50Andrea Neviani [11]
51Zainab Noorbhaiwala [73]
52Eugene J. O'Sullivan [79]
53Leonid Oliker [54] [61]
54Arlindo L. Oliveira [3]
55Partha Pande [52]
56Roberto Passerone [23] [27] [30]
57Angel V. Peterchev [78] [79]
58Michele Petracca [45] [46] [47] [51] [65] [77] [78] [79] [80]
59Claudio Pinello [20] [40]
60Alessandro Pinto [13] [15] [23] [27] [30] [37] [43] [48] [49] [56] [58]
61Eric Robinson [59] [68]
62Lubomyr T. Romankiw [79]
63Alexander Saldanha [2] [6]
64Kambiz Samadi [48] [58]
65Alberto L. Sangiovanni-Vincentelli [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [37] [40] [43] [44] [49]
66John Sarik [72] [73]
67Klaus Schneider [60]
68Riccardo Scopigno [74]
69Marco Sgroi [21] [22]
70Alexander Shabarshin [66] [75]
71Assaf Shacham [33] [36] [39] [42]
72John Shalf [54] [61]
73Puneet Sharma [48] [58]
74Kenneth L. Shepard [78] [79]
75Valeriy Sigaev [75]
76Alexander Smith [72]
77Sampada Sonalkar [34] [64]
78Michael Soulie [53] [57]
79Gerald Stanje [72] [73]
80Noah Sturcken [78] [79]
81Marcin Szczodrak [71] [72] [73]
82Serguei Tcherepanov [75]
83Stavros Tripakis [31] [67]
84Bharadwaj Vellore [63]
85Andrea Vesco [74]
86Baradwaj Vigraham [72] [73]
87Tiziano Villa [1] [3] [5] [8]
88Naigang Wang [79]
89Steve Warren [78]
90Bucknell Webb [79]
91Olivia Winn [72]
92Yuan Xie [52]
93Young-Jin Yoon [65]
94Stefano Zanella [11]
95Enrico Zanoni [11]
96Jianxun Zhu [72] [73]
97Gil Zussman [72] [73]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page